Ang Chen, W. Brad Moore, Hanjun Xiao, Andreas Haeberlen, Linh Thi Xuan Phan, Micah Sherr, Wenchao Zhou
Detecting Covert Timing Channels with Time-Deterministic Replay
OSDI, 2014.
@inproceedings{OSDI-2014-ChenMXHPSZ, author = "Ang Chen and W. Brad Moore and Hanjun Xiao and Andreas Haeberlen and Linh Thi Xuan Phan and Micah Sherr and Wenchao Zhou", booktitle = "{Proceedings of the 11th Symposium on Operating Systems Design and Implementation}", ee = "https://www.usenix.org/conference/osdi14/technical-sessions/presentation/chen_ang", pages = "541--554", publisher = "{USENIX Association}", title = "{Detecting Covert Timing Channels with Time-Deterministic Replay}", year = 2014, }