Review meeting (April 2011)

Our 18-month site review was held on April 28, 2011, in Berkeley, California. The agenda and presentations are listed below:

Welcome and Project Overview (David Wagner)

Secure Virtual Architecture and Recovery Domains (John Criswell, Andrew Lenharth)
Binary translation/emulation: Binary static analysis and taint analysis (R Sekar)
Formal methods and verification (Greg Morrisett)
Testing emulators (Stephen McCamant)

Hardware support for isolation (Krste Asanovic)
Defenses against malicious hardware (Sam King)

Practical cryptographic secure computation (David Evans)
Data-centric security (Dawn Song)
Secure web-based architecture (Wil Robertson)