Detecting Covert Timing Channels with Time-Deterministic Replay

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

11th USENIX Symposium on Operating Systems Design and Implementation, OSDI ’14, Broomfield, CO, USA, October 6-8, 2014 — 2014

Link

BibTeX

@inproceedings{DBLP:conf/osdi/ChenMXHPSZ14,
  author = {Chen, Ang and Moore, W. Brad and Xiao, Hanjun and Haeberlen, Andreas and Phan, Linh Thi Xuan and Sherr, Micah and Zhou, Wenchao},
  editor = {Flinn, Jason and Levy, Hank},
  title = {Detecting Covert Timing Channels with Time-Deterministic Replay},
  booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
                    {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
  pages = {541--554},
  publisher = {{USENIX} Association},
  year = {2014},
  url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/chen\_ang},
  timestamp = {Thu, 22 Dec 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/osdi/ChenMXHPSZ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}