Security verification of hardware-enabled attestation protocols

Tianwei Zhang, Jakub Szefer, Ruby B. Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Security verification of hardware-enabled attestation protocols'. Together they form a unique fingerprint.

Engineering & Materials Science