Put Your Memory in Order: Efficient Domain-based Memory Isolation for WASM Applications. - Hanwen Lei; Ziqi Zhang; Shaokun Zhang; Peng Jiang 007; Zhineng Zhong; Ningyu He; Ding Li 001; Yao Guo 001; Xiangqun Chen (CCS, 2023)

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

A novel reinforcement learning based Heap-based optimizer. - Xuesen Ma; Zhineng Zhong; Yangyu Li; Dacheng Li; Yan Qiao (Knowl. Based Syst., 2024)

DPUaudit: DPU-assisted Pull-based Architecture for Near-Zero Cost System Auditing. - Peng Jiang 007; Hanlin Jiang; Ruizhe Huang; Hanwen Lei; Zhineng Zhong; Shaokun Zhang; Yuxin Ren 001; Ning Jia; Xinwei Hu; Yao Guo 001; Xiangqun Chen; Ding Li 001 (HPCA, 2025)

Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles. - Zhineng Zhong; Ziqi Zhang; Hanqin Guan; Ding Li 001 (Proc. ACM Program. Lang., 2025)