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
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