Security Verification of Hardware-enabled Attestation Protocols

Source:

in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP) (2012)

AttachmentSize
hasp2012.pdf634.92 KB