arrow
Return

FlexClave: An Extensible and Secure Trusted Execution Environment Framework

delete2026-01-20
delete0
PRE
AI
Q
Qihang Zhou
W
Wenzhuo Cao
X
Xiaoqi Jia
S
Shaowen Xu
J
Jiayun Chen
N
Nan Jiang
Z
Zhicong Zhang
Z
Zhenyu Song
H
Haichao Du
Y
Yamin Xie
C
Chen Song
J
Jing Tang
P
Peijie Yin
S
Shengzhi Zhang
P
Peng Liu
DOI:10.1109/TC.2026.3654947delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
As computer system software stacks become increasingly complex, the associated security risks also escalate. Trusted Execution Environments (TEEs) have emerged as a mainstream security solution to enhance system security. TEEs can be categorized into user-level TEEs, OS-level TEEs, and hybrid TEEs. However, these TEEs typically possess fixed security boundaries and isolation domains, limiting their adaptability to varying security requirements and dynamic scenarios. Moreover, the design of Trusted Computing Base (TCB) components in TEE frameworks often operates at the highest privilege levels of the architecture. This concentration of critical code at the highest privilege level increases the whole platform’s security risk due to the growing amount of code as more security functions are added. In this paper, we propose FlexClave, an extensible and secure TEE framework designed to address these issues. FlexClave leverages hardware primitives to create secure isolation boundaries tailored to different use cases. Additionally, our framework distributes TCB components across various privilege levels, reducing the concentration of security functions at the highest privilege levels and mitigating the risks associated with running extensive code in a single, highly privileged context. We implement two prototypes on ARMv9-A Fixed Virtual Platform and ARMv8 RK3399 SoC, each with two use cases (container and virtual machine), to evaluate the system’s security and performance.
Keywords:
System security
trusted execution environment
TCB construction

Journal

IEEE Transactions on Computers cover
IEEE Transactions on Computers
IF:
3.8
Papers:
5.4K
Citations:
9.8K

Organization

B
boston university
Scholars:
3.8W
Papers: 3.2W
Citations: 67
X
xi'an electronic engineering research institute
Scholars:
2
Papers: 2
Citations: 0
P
pennsylvania state university
Scholars:
3.3K
Papers: 1.9K
Citations: 0
C
Chinese Academy of Sciences
Scholars:
3.9W
Papers: 1.5W
Citations: 58.4W
researcher View more organizations
Cited Papers

Cited Papers

InkTag
err2013-03-16
err0
errOAAI
errOwen S. Hofmann; Sangman Kim; Alan M. Dunn; Michael Z. Lee; Emmett Witchel
errShare
errSave
Overshadow
err2008-03-01
err0
PREAI
errXiaoxin Chen; Tal Garfinkel; E. Christopher Lewis; Pratap Subrahmanyam; Carl A. Waldspurger; Dan Boneh; Jeffrey Dwoskin; Dan R.K. Ports
errShare
errSave
Keystone
err2020-04-17
err0
errOAAI
errDayeol Lee; David Kohlbrenner; Shweta Shinde; Krste Asanović; Dawn Song
errShare
errSave
CloudVisor
err2011-10-23
err0
PREAI
errFengzhe Zhang; Jin Chen; Haibo Chen; Binyu Zang
errShare
errSave
VoltJockey
err2019-11-06
err0
PREAI
errPengfei Qiu; Dongsheng Wang; Yongqiang Lyu; Gang Qu
errShare
errSave
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
err2023-04-06
err0
errOAAI
errAnthony C. J. Fox; Gareth Stockwell; Shale Xiong; Hanno Becker; Dominic P. Mulligan; Gustavo Petri; Nathan Chong
errShare
errSave
Komodo
err2017-10-14
err0
PREAI
errAndrew Ferraiuolo; Andrew Baumann; Chris Hawblitzel; Bryan Parno
errShare
errSave
SANCTUARY: ARMing TrustZone with User-space Enclaves
err2019-01-01
err0
errOAAI
errFerdinand Brasser; David Gens; Patrick Jauernig; Ahmad-Reza Sadeghi; Emmanuel Stapf
errShare
errSave
Gramine-TDX: A Lightweight OS Kernel for Confidential VMs
err2024-12-02
err0
PREAI
errKuvaiskii,Dmitrii; Stavrakakis,Dimitrios; Qin,Kailun; Xing,Cedric; Bhatotia,Pramod; Vij,Mona
errShare
errSave
CubeVisor: A Multi-realm Architecture Design for Running VM with ARM CCA
err2024-12-09
err0
PREAI
errChen,Jiayun; Zhou,Qihang; Yan,Xiaolong; Jiang,Nan; Jia,Xiaoqi; Zhang,Weijuan
errShare
errSave
researcher View more