A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0

Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang. A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. IACR Cryptology ePrint Archive, 2019:710, 2019. [doi]

Abstract

Abstract is missing.