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]

Authors

Qianying Zhang

This author has not been identified. Look up 'Qianying Zhang' in Google

Shijun Zhao

This author has not been identified. Look up 'Shijun Zhao' in Google