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]

Possibly Related Publications

The following publications are possibly variants of this publication: