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
Dongseok Jang, University of California, San Diego
Linked Presentation:
Establishing Browser Security Guarantees through Formal Shim Verification