Kickoff meeting (August 2009)

This was our kickoff meeting, held August 20, 2009, in Falls Church, Virginia.  The agenda and presentations are listed below:

Overview and introduction to the research project (David Wagner)

Secure Virtual Architecture (Vikram Adve)
Architectures for secure systems (David Evans)
Data-oriented computing, binary analysis (Stephen McCamant)

Binary translation and its applications (R. Sekar)
Formal verification, certified binary translation (Adam Chlipala)
Secure browsers, hardware support for binary translation (Sam King)
Hardware support for isolation and partitioning (Krste Asanovic)