Yuanpeng Wang, Ziqi Zhang, Ningyu He, Zhineng Zhong, Shengjian Guo, Qinkun Bao, Ding Li, Yao Guo, Xiangqun Chen. SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution. In Weizhi Meng 0001, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda, editors, Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023. pages 2710-2724, ACM, 2023. [doi]
@inproceedings{WangZHZGBLGC23,
title = {SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution},
author = {Yuanpeng Wang and Ziqi Zhang and Ningyu He and Zhineng Zhong and Shengjian Guo and Qinkun Bao and Ding Li and Yao Guo and Xiangqun Chen},
year = {2023},
doi = {10.1145/3576915.3623213},
url = {https://doi.org/10.1145/3576915.3623213},
researchr = {https://researchr.org/publication/WangZHZGBLGC23},
cites = {0},
citedby = {0},
pages = {2710-2724},
booktitle = {Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023},
editor = {Weizhi Meng 0001 and Christian Damsgaard Jensen and Cas Cremers and Engin Kirda},
publisher = {ACM},
}