3
Tianwei Zhang
Jakub Szefer
Ruby B. Lee
2012
Security Verification of Hardware-enabled Attestation Protocols
in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP)
December 2012