Formal Verification of Interrupt Isolation for the TrustZone-based TEE.

Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan

Browse the full APSEC paper archive.