usenix_logo_notag_white
Sign In
Conferences
Security '12 Home
Registration Information
Registration Discounts
Organizers
At a Glance
Calendar
Technical Sessions
Workshops
Hotel & Travel Information
Poster Session
Rump Session
Birds-of-a-Feather Sessions
Sponsors
Activities
Students
Questions?
For Participants
Help Promote
Call for Papers
Past Proceedings
Andrew J. Blumberg, University of Texas, Austin
Linked Presentation:
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality