TY  - RPRT
TI  - A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0
AU  - Qianying Zhang
AU  - Shijun Zhao
PY  - 2020
UR  - https://arxiv.org/abs/1906.06653
ID  - 1906.06653
ER  -