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]
Abstract is missing.