@misc{indiciae460a67c5017b,
  title = {A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0},
  author = {Qianying Zhang and Shijun Zhao},
  year = {2020},
  url = {https://arxiv.org/abs/1906.06653},
  note = {Source identifier: 1906.06653}
}