Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
Overview
Workshop Organizers
Workshop Program
Co-located Workshops
Activities
Sponsorship
Students and Grants
Questions?
Help Promote!
For Participants
Call for Papers
Past Workshops
Nuno Santos, INESC-ID and Instituto Superior Técnico, Universidade de Lisboa
Linked Presentation:
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines