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

Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi

Browse the full APSEC paper archive.