← Back to papers

2014 OSDI OSDI 2014

Shielding Applications from an Untrusted Cloud with Haven

Authors

Andrew Baumann , Marcus Peinado , Galen Hunt

Related papers

Willow: A User-Programmable SSD 2014

User-Guided Device Driver Synthesis 2014

SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems 2014

GPUnet: Networking Abstractions for GPU Programs 2014

Pelican: A Building Block for Exascale Cold Data Storage 2014