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]
No references recorded for this publication.
No citations of this publication recorded.