← Back to papers
2014 OSDI OSDI 2014

Detecting Covert Timing Channels with Time-Deterministic Replay

Authors

Ang Chen , W. Brad Moore , Hanjun Xiao , Andreas Haeberlen , Linh Thi Xuan Phan , Micah Sherr , Wenchao Zhou

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