A Symbolic Model for Systematically Analyzing TEE-Based Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shiwei Xu, Yizhi Zhao, Zhengwei Ren, Lingjuan Wu, Yan Tong, Huanguo Zhang. A Symbolic Model for Systematically Analyzing TEE-Based Protocols. In Weizhi Meng, Dieter Gollmann, Christian Damsgaard Jensen, Jianying Zhou 0001, editors, Information and Communications Security - 22nd International Conference, ICICS 2020, Copenhagen, Denmark, August 24-26, 2020, Proceedings. Volume 12282 of Lecture Notes in Computer Science, pages 126-144, Springer, 2020. [doi]

This author has not been identified. Look up 'Shiwei Xu' in GoogleThis author has not been identified. Look up 'Yizhi Zhao' in GoogleThis author has not been identified. Look up 'Zhengwei Ren' in GoogleThis author has not been identified. Look up 'Lingjuan Wu' in GoogleThis author has not been identified. Look up 'Yan Tong' in GoogleThis author has not been identified. Look up 'Huanguo Zhang' in Google

runs on WebDSL