TY  - RPRT
TI  - Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
AU  - Chengyan Ma
AU  - Jieke Shi
AU  - Ruidong Han
AU  - Ye Liu
AU  - Yuqing Niu
AU  - David Lo
PY  - 2026
DO  - 10.1145/3793655.3793740
UR  - https://arxiv.org/abs/2605.22058
ID  - 2605.22058
ER  -