Security verification of hardware-enabled attestation protocols

Tianwei Zhang, Jakub Szefer, Ruby B. Lee. Security verification of hardware-enabled attestation protocols. In 45th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2012, Workshops Proceedings, Vancouver, BC, Canada, December 1-5, 2012. pages 47-54, IEEE Computer Society, 2012. [doi]

Authors

Tianwei Zhang

This author has not been identified. Look up 'Tianwei Zhang' in Google

Jakub Szefer

This author has not been identified. Look up 'Jakub Szefer' in Google

Ruby B. Lee

This author has not been identified. Look up 'Ruby B. Lee' in Google