TY  - RPRT
TI  - Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
AU  - Chengyan Ma
AU  - Jieke Shi
AU  - Ruidong Han
AU  - Ye Liu
AU  - Feng Li
AU  - Yuqing Niu
AU  - David Lo
PY  - 2026
DO  - 10.1145/3808207
UR  - https://arxiv.org/abs/2605.22087
ID  - 2605.22087
ER  -