Review Meeting (Dec 2011)

Our third site review will be held on Thursday December 8, in Falls Church, Virginia.

The meeting is open by invitation only. If interested in attending, please contact David Wagner.

Agenda

9:00- 9:30 breakfast

9:30- 9:45 Welcome and overview (David Wagner)
9:45-10:10 CPU emulators: improving their assurance (Stephen McCamant)
10:10-10:35 Formal modeling of x86 binaries (Greg Morrisett)
10:35-11:00 Data-centric security: Platform for Private Data (Mohit Tiwari)

11:00-11:15 break

11:15-11:35 Binary rewriting (R Sekar)
11:35-12:00 Secure Virtual Architecture (Sam King)

12:00- 1:00 lunch

1:00- 1:25 Trust, protection, and performance with the Valkyrie system (Sam King)
1:25- 1:50 Dual Execution Protocols: when semi-honest is only semi-good-enough (David Evans)
1:50- 2:30 Visitor feedback

Travel information

The meeting will be held at the following location:

University of Virginia, Northern Virginia Center, Room 213
7054 Haycock Rd., Falls Church, VA 22043
[directions]

If you’re taking the Metro, the conference center is a short distance from the West Falls Church Station.