%0 Conference Paper %B in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP) %D 2012 %T Security Verification of Hardware-enabled Attestation Protocols %A Zhang, Tianwei %A Szefer, Jakub %A Lee, Ruby %8 December 2012