Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li 0003, Guohui Wang, Zhiping Shi 0002, Yong Guan. Formal Verification of Interrupt Isolation for the TrustZone-based TEE. In 30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023. pages 309-318, IEEE, 2023. [doi]
Abstract is missing.