SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yuanpeng Wang' in GoogleThis author has not been identified. Look up 'Ziqi Zhang' in GoogleThis author has not been identified. Look up 'Ningyu He' in GoogleThis author has not been identified. Look up 'Zhineng Zhong' in GoogleThis author has not been identified. Look up 'Shengjian Guo' in GoogleThis author has not been identified. Look up 'Qinkun Bao' in GoogleThis author has not been identified. Look up 'Ding Li' in GoogleThis author has not been identified. Look up 'Yao Guo' in GoogleThis author has not been identified. Look up 'Xiangqun Chen' in Google

runs on WebDSL