An Adaptive Routing Strategy Based on Dynamic Cache in Mobile Ad Hoc Networks. - YueQuan Chen; Xiaofeng Guo; Qingkai Zeng 002; Guihai Chen (ISPA, 2004)

Efficient and Practical Control Flow Monitoring for Program Security. - Nai Xia; Bing Mao 001; Qingkai Zeng 002; Li Xie 001 (ASIAN, 2006)

A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network Protocols. - Qin Li; Qingkai Zeng 002 (NSS, 2009)

Towards a Structured Model for Software Vulnerabilities. - Ming Huang; Yisha Lu; Qingkai Zeng 002 (SEKE, 2010)

Some Improvements for More Precise Model Checking. - Zhi Zhang; Qingkai Zeng 002; Ming Huang (SEKE, 2010)

A Security Assurance Framework Combining Formal Verification and Security Functional Testing. - Weiguang Wang; Qingkai Zeng 002; Aditya P. Mathur (QSIC, 2012)

Using Machine Language Model for Mimimorphic Malware Detection. - Pinghai Yuan; Qingkai Zeng 002; Yao Liu 011 (ISC, 2014)

Crashmaker: an improved binary concolic testing tool for vulnerability detection. - Bing Chen; Qingkai Zeng 002; Weiguang Wang (SAC, 2014)

EqualVisor: Providing Memory Protection in an Untrusted Commodity Hypervisor. - Liang Deng; Qingkai Zeng 002; Weiguang Wang; Yao Liu 011 (TrustCom, 2014)

Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability. - Hao Sun; Xiangyu Zhang 001; Chao Su 001; Qingkai Zeng 002 (AsiaCCS, 2015)

Hardware-Assisted Fine-Grained Code-Reuse Attack Detection. - Pinghai Yuan; Qingkai Zeng 002; Xuhua Ding (RAID, 2015)

ISboxing: An Instruction Substitution Based Data Sandboxing for x86 Untrusted Libraries. - Liang Deng; Qingkai Zeng 002; Yao Liu 011 (SEC, 2015)

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection. - Yue Wang; Hao Sun; Qingkai Zeng 002 (SEKE, 2015)

Evaluating Initial Inputs for Concolic Testing. - Weiguang Wang; Qingkai Zeng 002 (TASE, 2015)

Loop-Oriented Programming: A New Code Reuse Attack to Bypass Modern Defenses. - Bingchen Lan; Yan Li; Hao Sun; Chao Su 001; Yao Liu 011; Qingkai Zeng 002 (TrustCom/BigDataSE/ISPA (1), 2015)

Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis. - Hao Sun; Chao Su 001; Yue Wang; Qingkai Zeng 002 (Int. J. Softw. Eng. Knowl. Eng., 2015)

IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions. - Hao Sun; Xiangyu Zhang 001; Yunhui Zheng; Qingkai Zeng 002 (ICSE, 2016)

SeededFuzz: Selecting and Generating Seeds for Directed Fuzzing. - Weiguang Wang; Hao Sun; Qingkai Zeng 002 (TASE, 2016)

Exception-oriented programming: retrofitting code-reuse attacks to construct kernel malware. - Liang Deng; Qingkai Zeng 002 (IET Inf. Secur., 2016)

Efficient Inner Product Encryption with Simulation-Based Security. - Qingsong Zhao; Qingkai Zeng 002; Ximeng Liu (ICICS, 2017)

Optimizing TLB for Access Pattern Privacy Protection in Data Outsourcing. - Yao Liu 011; Qingkai Zeng 002; Pinghai Yuan (SecureComm, 2017)

NodeLeaper: Lower Overhead Oblivious AVL Tree. - Yao Liu 011; Qingkai Zeng 002; Pinghai Yuan (TrustCom/BigDataSE/ICESS, 2017)

Dancing with Wolves: Towards Practical Event-driven VMM Monitoring. - Liang Deng; Peng Liu 005; Jun Xu 024; Ping Chen 003; Qingkai Zeng 002 (VEE, 2017)

Multi-item Passphrases: A Self-adaptive Approach Against Offline Guessing Attacks. - Jaryn Shen; Kim-Kwang Raymond Choo; Qingkai Zeng 002 (ICDF2C, 2018)

Simulation-based security of function-hiding inner product encryption. - Qingsong Zhao; Qingkai Zeng 002; Ximeng Liu; Huanliang Xu (Sci. China Inf. Sci., 2018)

Improved Construction for Inner Product Functional Encryption. - Qingsong Zhao; Qingkai Zeng 002; Ximeng Liu (Secur. Commun. Networks, 2018)

AMOGAP: Defending Against Man-in-the-Middle and Offline Guessing Attacks on Passwords. - Jaryn Shen; Timothy T. Yuen; Kim-Kwang Raymond Choo; Qingkai Zeng 002 (ACISP, 2019)

CSPS: catchy short passwords making offline and online attacks impossible. - Jaryn Shen; Qingkai Zeng 002 (Int. J. Inf. Comput. Secur., 2019)

Catch You With Cache: Out-of-VM Introspection to Trace Malicious Executions. - Chao Su 001; Xuhua Ding; Qingkai Zeng 002 (DSN, 2021)

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

Survey of CPU Cache-Based Side-Channel Attacks: Systematic Analysis, Security Models, and Countermeasures. - Chao Su 001; Qingkai Zeng 002 (Secur. Commun. Networks, 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)

The count-min sketch is vulnerable to offline password-guessing attacks. - Jaryn Shen; Qingkai Zeng 002 (Int. J. Inf. Comput. Secur., 2022)

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

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

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

SABER: Model-agnostic Backdoor Attack on Chain-of-Thought in Neural Code Generation. - Naizhu Jin; Zhong Li; Yinggang Guo; Chao Su 001; Tian Zhang; Qingkai Zeng 002 (CoRR, 2024)

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

MSCoT: Structured Chain-of-Thought Generation for Multiple Programming Languages. - Naizhu Jin; Zhong Li; Tian Zhang; Qingkai Zeng 002 (CoRR, 2025)

GUARD:Dual-Agent based Backdoor Defense on Chain-of-Thought in Neural Code Generation. - Naizhu Jin; Zhong Li; Tian Zhang; Qingkai Zeng 002 (CoRR, 2025)