SecPT: Providing Efficient Page Table Protection based on SMAP Feature in an Untrusted Commodity Kernel. - Bingnan Zhong; Qingkai Zeng 002 (TrustCom, 2021)

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

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