Sign in
Zhineng Zhong
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Computationally Expensive
Specification Language
Test Data Generation
Multi Agent
Top Venues
CCS
</>
Publications
</>
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.
CCS
(2023)
Hanwen Lei
,
Ziqi Zhang
,
Shaokun Zhang
,
Peng Jiang
,
Zhineng Zhong
,
Ningyu He
,
Ding Li
,
Yao Guo
,
Xiangqun Chen
Put Your Memory in Order: Efficient Domain-based Memory Isolation for WASM Applications.
CCS
(2023)