@misc{cryptoeprint:2014:120,
    author = {Weijin Wang, Yu Qin, Dengguo Feng, Xiaobo Chu},
    title = {Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)},
    howpublished = {Cryptology ePrint Archive, Report 2014/120},
    year = {2014},
    url = {https://eprint.iacr.org/2014/120},
}