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.3K
Citations:
9.8K

Organization

B
boston university
Scholars:
3.7W
Papers: 3.2W
Citations: 67
X
xi'an electronic engineering research institute
Scholars:
1
Papers: 1
Citations: 0
P
pennsylvania state university
Scholars:
3.1K
Papers: 1.8K
Citations: 0
C
Chinese Academy of Sciences
Scholars:
3.9W
Papers: 1.5W
Citations: 58.4W
researcher View more organizations