Xinliang Miao, Rui Chang, Jianhong Zhao, Yongwang Zhao, Shuang Cao, Tao Wei, Liehui Jiang, Kui Ren 0001. CVTEE: A Compatible Verified TEE Architecture With Enhanced Security. IEEE Trans. Dependable Sec. Comput., 20(1):377-391, 2023. [doi]
Abstract is missing.