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

© USENIX

  • Privacy Policy
  • Contact Us