Security verification of hardware-enabled attestation protocols

Tianwei Zhang, Jakub Szefer, Ruby B. Lee. Security verification of hardware-enabled attestation protocols. In 45th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2012, Workshops Proceedings, Vancouver, BC, Canada, December 1-5, 2012. pages 47-54, IEEE Computer Society, 2012. [doi]

@inproceedings{ZhangSL12-4,
  title = {Security verification of hardware-enabled attestation protocols},
  author = {Tianwei Zhang and Jakub Szefer and Ruby B. Lee},
  year = {2012},
  doi = {10.1109/MICROW.2012.16},
  url = {http://doi.ieeecomputersociety.org/10.1109/MICROW.2012.16},
  researchr = {https://researchr.org/publication/ZhangSL12-4},
  cites = {0},
  citedby = {0},
  pages = {47-54},
  booktitle = {45th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2012, Workshops Proceedings, Vancouver, BC, Canada, December 1-5, 2012},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-4920-8},
}