Tacco: A Framework for Ensuring the Security of Real-World TEEs via Formal Verification. - Jilin Hu; Yongwang Zhao; Shuangquan Pan; Zuohua Ding; Kui Ren 001 (IEEE Trans. Dependable Secur. Comput., 2025)