A comprehensive formal security analysis and revision of the two-phase key exchange primitive of TPM 2.0

Qianying Zhang, Shijun Zhao. A comprehensive formal security analysis and revision of the two-phase key exchange primitive of TPM 2.0. Computer Networks, 179:107369, 2020. [doi]

Abstract

Abstract is missing.