Paper Session 1 | USENIX

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