@misc{cryptoeprint:2019:710,
    author = {Qianying Zhang and Shijun Zhao and Zhiping Shi and Yong Guan and Guohui Wang},
    title = {A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0},
    howpublished = {Cryptology ePrint Archive, Report 2019/710},
    year = {2019},
    url = {https://eprint.iacr.org/2019/710},
}