A Symbolic Model for Systematically Analyzing TEE-Based Protocols.

Shiwei Xu, Yizhi Zhao, Zhengwei Ren, Lingjuan Wu, Yan Tong, Huanguo Zhang

Browse the full ICICS paper archive.