The following publications are possibly variants of this publication:
- Formal Verification of Interrupt Isolation for the TrustZone-based TEELeping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li 0003, Guohui Wang, Zhiping Shi 0002, Yong Guan. apsec 2023: 309-318 [doi]
- Formal Verification of Memory Isolation for the TrustZone-based TEEYuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li 0003, Zhiping Shi 0002. apsec 2020: 149-158 [doi]
- Cloud Based Heterogeneous Distributed FrameworkAnirban Kundu, Chunlin Ji, Ruopeng Liu. intelligent 2013: 471-478 [doi]