Formal Modeling and Security Analysis for Intra-level Privilege Separation. - Yinggang Guo; Zicheng Wang 010; Bingnan Zhong; Qingkai Zeng 002 (ACSAC, 2022)

CryptKSP: A Kernel Stack Protection Model Based on AES-NI Hardware Feature. - Bingnan Zhong; Zicheng Wang 010; Yinggang Guo; Qingkai Zeng 002 (SEC, 2022)

AttnCall: Refining Indirect Call Targets in Binaries with Attention. - Rui Sun; Yinggang Guo; Zicheng Wang 010; Qingkai Zeng 002 (ESORICS (4), 2023)

PET: Prevent Discovered Errors from Being Triggered in the Linux Kernel. - Zicheng Wang 010; Yueqi Chen 001; Qingkai Zeng 002 (USENIX Security Symposium, 2023)

SeaK: Rethinking the Design of a Secure Allocator for OS Kernel. - Zicheng Wang 010; Yicheng Guang; Yueqi Chen 001; Zhenpeng Lin; Michael V. Le; Dang K. Le; Dan Williams 001; Xinyu Xing 001; Zhongshu Gu; Hani Jamjoom (USENIX Security Symposium, 2024)

When eBPF Meets Machine Learning: On-the-fly OS Kernel Compartmentalization. - Zicheng Wang 010; Tiejin Chen; Qinrun Dai; Yueqi Chen 001; Hua Wei 001; Qingkai Zeng 002 (CoRR, 2024)

BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS. - Yinggang Guo; Zicheng Wang 010; Weiheng Bai; Qingkai Zeng 002; Kangjie Lu (NDSS, 2025)

Data Knows What the App Needs: An Intelligent Resource Watermark for Mobile Systems. - Zesen Liu; Zicheng Wang 010; Yinggang Guo; Lizhi Sun; Ligeng Chen; Yixin Guo; Yaonan Gu; Jun Xiao 009; Tao Wang; Lu Liu; Yanyan Jiang 001 (PACMI@SOSP, 2025)

Evolving Beyond Pressure: RL-Enhanced Camera Launch for Resource-Critical Scenarios. - Zicheng Wang 010; Zesen Liu; Yinggang Guo; Lizhi Sun; Ligeng Chen; Yixin Guo; Claire Gu; Jun Xiao 009; Tao Wang; Lu Liu; Yanyan Jiang 001 (PACMI@SOSP, 2025)