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