@conference { , title = {Security Verification of Hardware-enabled Attestation Protocols}, year = {2012}, month = {December 2012}, author = {Tianwei Zhang and Jakub Szefer and Ruby B. Lee} }