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]

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

Zhiping Shi

This author has not been identified. Look up 'Zhiping Shi' in Google

Yong Guan

This author has not been identified. Look up 'Yong Guan' in Google

Guohui Wang

This author has not been identified. Look up 'Guohui Wang' in Google