SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution. - Wang, Yuanpeng; Zhang, Ziqi; He, Ningyu; Zhong, Zhineng; Guo, Shengjian; Bao, Qinkun; Li, Ding; Guo, Yao; Chen, Xiangqun (2023)