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
»
Paper Session 1
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
Paper Session 1
Presentations:
Compute Globally, Act Locally: Protecting Federated Systems from Systemic Threats
Running ZooKeeper Coordination Services in Untrusted Clouds
Who Writes What Checkers?—Learning from Bug Repositories
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
connect with us