Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
OSDI '14 Home
Symposium Organizers
At a Glance
Registration Information
Technical Sessions
Co-Located Workshops
Activities
Sponsorship
Students and Grants
Co-located Workshops
Questions?
Help Promote!
For Participants
Call for Papers
Past Symposia
Jacob R. Lorch, Microsoft Research
Linked Presentation:
Ironclad Apps: End-to-End Security via Automated Full-System Verification