Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: An Empirical Study
Trusted Execution Environments (TEEs) have become a cornerstone of confidential computing, attracting significant attention from academia and industry. To support secure and scalable application deployment on confidential clouds, TEE containers (Tcons) have been introduced as middleware to shield applications from malicious operating systems and orchestration layers while preserving usability. In this paper, we present the first comprehensive analysis of Tcons, focusing on three critical layers: OS interfaces, encrypted I/O, and orchestration mechanisms. To enable systematic evaluation, we design TBouncer, an automated analyzer that precisely exercises and benchmarks Tcon isolation boundaries. Our study uncovers fundamental flaws in existing Tcons, leading to exploitable vulnerabilities such as code execution, denial-of-service, and information leakage. In total, we identify six attack vectors, twelve new bugs, and three CVEs. These findings provide new insights into the underestimated attack surface of Tcons and highlight key directions for building more secure and trustworthy container solutions.
Authors
- Zheli Liu (ORCID: https://orcid.org/0000-0002-2984-2661)
- XiaoFeng Wang (ORCID: https://orcid.org/0000-0002-0607-4946)
- Haixu Tang (ORCID: https://orcid.org/0000-0001-8963-8155)
- Zhi Li (ORCID: https://orcid.org/0000-0002-9510-1888)
- Wenhao Wang (ORCID: https://orcid.org/0000-0001-7294-2724)
- Hongbo Chen (ORCID: https://orcid.org/0000-0001-9922-4351)
- Weijie Liu (ORCID: https://orcid.org/0000-0002-3054-766X)
- Danfeng Zhang (ORCID: https://orcid.org/0000-0003-1942-6872)
- Zhen Xu (ORCID: https://orcid.org/0009-0008-1127-4097)
- Shuo Huai
Institutions
- Duke University (US)
- Nanyang Technological University (SG)
- Chinese Academy of Sciences (CN)
- Nankai University (CN)
- Indiana University Bloomington (US)
- Institute of Information Engineering (CN)
- Huazhong University of Science and Technology (CN)
Publication Details
- Journal
- Proceedings of the ACM on software engineering.
- Published
- 2026-06-30
- DOI
- https://doi.org/10.1145/3808159
- Primary Topic
- Security and Verification in Computing
- Type
- article
- Field-Weighted Citation Impact
- 0.00