Chen, Ang, W. Brad Moore, Hanjun Xiao, Andreas Haeberlen, Linh Thi Xuan Phan, Micah Sherr, and Wenchao Zhou. “Detecting Covert Timing Channels with Time-Deterministic Replay.” In USENIX Symposium on Operating System Design and Implementation (OSDI), 2014.

@inproceedings{tdr,
  author = {Chen, Ang and Moore, W. Brad and Xiao, Hanjun and Haeberlen, Andreas and Phan, Linh Thi Xuan and Sherr, Micah and Zhou, Wenchao},
  booktitle = {USENIX Symposium on Operating System Design and Implementation (OSDI)},
  month = oct,
  title = {{Detecting Covert Timing Channels with Time-Deterministic Replay}},
  year = {2014}
}