Skip to main content
USENIX
Conferences
Students
Sign in
Overview
Workshop Organizers
Workshop Program
Co-located Workshops
Activities
Sponsorship
Students and Grants
Questions?
Help Promote!
For Participants
Call for Papers
Past Workshops
twitter
Tweets by @usenix
usenix conference policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
You are here
Home
»
Nuno P. Lopes, INESC-ID and Instituto Superior Técnico, Universidade de Lisboa and Microsoft Research
Tweet
connect with us
http://twitter.com/usenix
http://www.usenix.org/facebook
http://www.usenix.org/linkedin
http://www.usenix.org/gplus
http://www.usenix.org/youtube
Nuno P. Lopes
Linked Presentation:
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
connect with us