Automated Security Proof of Cryptographic Support Commands in TPM 2.0.

Weijin Wang, Yu Qin, Bo Yang, Yingjun Zhang, Dengguo Feng

Browse the full ICICS paper archive.