TY  - RPRT
TI  - DITING: A Static Analyzer for Identifying Bad Partitioning Issues in TEE Applications
AU  - Chengyan Ma
AU  - Ruidong Han
AU  - Jieke Shi
AU  - Ye Liu
AU  - Yuqing Niu
AU  - Di Lu
AU  - Chuang Tian
AU  - Jianfeng Ma
AU  - Debin Gao
AU  - David Lo
PY  - 2025
UR  - https://arxiv.org/abs/2502.15281
ID  - 2502.15281
ER  -