International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)

Authors:
Weijin Wang
Yu Qin
Dengguo Feng
Download:
URL: https://eprint.iacr.org/2014/120
Search ePrint
Search Google
BibTeX
@article{eprint-2014-25470,
  title={Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)},
  journal={IACR Cryptology ePrint Archive},
  volume={2014},
  pages={120},
  url={https://eprint.iacr.org/2014/120},
  author={Weijin Wang and Yu Qin and Dengguo Feng},
  year=2014
}