@inproceedings{chen-2014-tdr,
  author = {Ang Chen and W. Brad Moore and Hanjun Xiao and Andreas Haeberlen and Linh Thi Xuan Phan and Micah Sherr and Wenchao Zhou},
  title = {Detecting Covert Timing Channels with Time-Deterministic Replay},
  booktitle = {Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI'14)},
  location = {Broomfield, CO},
  month = oct,
  year = 2014
}