Login / Signup
Zhineng Zhong
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Test Generation
Memory Space
Symbolic Execution
Multi Agent
Top Venues
CCS
Knowl. Based Syst.
</>
Publications
</>
Xuesen Ma
,
Zhineng Zhong
,
Yangyu Li
,
Dacheng Li
,
Yan Qiao
A novel reinforcement learning based Heap-based optimizer.
Knowl. Based Syst.
296 (2024)
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)