Qingkai Zeng

According to our database, Qingkai Zeng authored at least 41 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

GUARD:Dual-Agent based Backdoor Defense on Chain-of-Thought in Neural Code Generation.

Naizhu Jin, Zhong Li, Tian Zhang, Qingkai Zeng

CoRR, May, 2025

MSCoT: Structured Chain-of-Thought Generation for Multiple Programming Languages.

Naizhu Jin, Zhong Li, Tian Zhang, Qingkai Zeng

CoRR, April, 2025

BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS.

Yinggang Guo, Zicheng Wang, Weiheng Bai, Qingkai Zeng, Kangjie Lu

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

2024

SABER: Model-agnostic Backdoor Attack on Chain-of-Thought in Neural Code Generation.

Naizhu Jin, Zhong Li, Yinggang Guo, Chao Su, Tian Zhang, Qingkai Zeng

CoRR, 2024

When eBPF Meets Machine Learning: On-the-fly OS Kernel Compartmentalization.

Zicheng Wang, Tiejin Chen, Qinrun Dai, Yueqi Chen, Hua Wei, Qingkai Zeng

CoRR, 2024

2023

PET: Prevent Discovered Errors from Being Triggered in the Linux Kernel.

Zicheng Wang, Yueqi Chen, Qingkai Zeng

Proceedings of the 32nd USENIX Security Symposium, 2023

AttnCall: Refining Indirect Call Targets in Binaries with Attention.

Rui Sun, Yinggang Guo, Zicheng Wang, Qingkai Zeng

Proceedings of the Computer Security - ESORICS 2023, 2023

2022

The count-min sketch is vulnerable to offline password-guessing attacks.

Jaryn Shen, Qingkai Zeng

Int. J. Inf. Comput. Secur., 2022

CryptKSP: A Kernel Stack Protection Model Based on AES-NI Hardware Feature.

Bingnan Zhong, Zicheng Wang, Yinggang Guo, Qingkai Zeng

Proceedings of the ICT Systems Security and Privacy Protection, 2022

Formal Modeling and Security Analysis for Intra-level Privilege Separation.

Yinggang Guo, Zicheng Wang, Bingnan Zhong, Qingkai Zeng

Proceedings of the Annual Computer Security Applications Conference, 2022

2021

Survey of CPU Cache-Based Side-Channel Attacks: Systematic Analysis, Security Models, and Countermeasures.

Chao Su, Qingkai Zeng

Secur. Commun. Networks, 2021

SecPT: Providing Efficient Page Table Protection based on SMAP Feature in an Untrusted Commodity Kernel.

Bingnan Zhong, Qingkai Zeng

Proceedings of the 20th IEEE International Conference on Trust, 2021

Catch You With Cache: Out-of-VM Introspection to Trace Malicious Executions.

Chao Su, Xuhua Ding, Qingkai Zeng

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2019

CSPS: catchy short passwords making offline and online attacks impossible.

Jaryn Shen, Qingkai Zeng

Int. J. Inf. Comput. Secur., 2019

AMOGAP: Defending Against Man-in-the-Middle and Offline Guessing Attacks on Passwords.

Jaryn Shen, Timothy T. Yuen, Kim-Kwang Raymond Choo, Qingkai Zeng

Proceedings of the Information Security and Privacy - 24th Australasian Conference, 2019

2018

Improved Construction for Inner Product Functional Encryption.

Qingsong Zhao, Qingkai Zeng, Ximeng Liu

Secur. Commun. Networks, 2018

Simulation-based security of function-hiding inner product encryption.

Qingsong Zhao, Qingkai Zeng, Ximeng Liu, Huanliang Xu

Sci. China Inf. Sci., 2018

Multi-item Passphrases: A Self-adaptive Approach Against Offline Guessing Attacks.

Jaryn Shen, Kim-Kwang Raymond Choo, Qingkai Zeng

Proceedings of the Digital Forensics and Cyber Crime - 10th International EAI Conference, 2018

2017

Dancing with Wolves: Towards Practical Event-driven VMM Monitoring.

Liang Deng, Peng Liu, Jun Xu, Ping Chen, Qingkai Zeng

Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017

NodeLeaper: Lower Overhead Oblivious AVL Tree.

Yao Liu, Qingkai Zeng, Pinghai Yuan

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Optimizing TLB for Access Pattern Privacy Protection in Data Outsourcing.

Yao Liu, Qingkai Zeng, Pinghai Yuan

Proceedings of the Security and Privacy in Communication Networks, 2017

Efficient Inner Product Encryption with Simulation-Based Security.

Qingsong Zhao, Qingkai Zeng, Ximeng Liu

Proceedings of the Information and Communications Security - 19th International Conference, 2017

2016

Exception-oriented programming: retrofitting code-reuse attacks to construct kernel malware.

Liang Deng, Qingkai Zeng

IET Inf. Secur., 2016

SeededFuzz: Selecting and Generating Seeds for Directed Fuzzing.

Weiguang Wang, Hao Sun, Qingkai Zeng

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions.

Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis.

Hao Sun, Chao Su, Yue Wang, Qingkai Zeng

Int. J. Softw. Eng. Knowl. Eng., 2015

Loop-Oriented Programming: A New Code Reuse Attack to Bypass Modern Defenses.

Bingchen Lan, Yan Li, Hao Sun, Chao Su, Yao Liu, Qingkai Zeng

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Evaluating Initial Inputs for Concolic Testing.

Weiguang Wang, Qingkai Zeng

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection.

Yue Wang, Hao Sun, Qingkai Zeng

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

ISboxing: An Instruction Substitution Based Data Sandboxing for x86 Untrusted Libraries.

Liang Deng, Qingkai Zeng, Yao Liu

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Hardware-Assisted Fine-Grained Code-Reuse Attack Detection.

Pinghai Yuan, Qingkai Zeng, Xuhua Ding

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2015

Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability.

Hao Sun, Xiangyu Zhang, Chao Su, Qingkai Zeng

Proceedings of the 10th ACM Symposium on Information, 2015

2014

EqualVisor: Providing Memory Protection in an Untrusted Commodity Hypervisor.

Liang Deng, Qingkai Zeng, Weiguang Wang, Yao Liu

Proceedings of the 13th IEEE International Conference on Trust, 2014

Crashmaker: an improved binary concolic testing tool for vulnerability detection.

Bing Chen, Qingkai Zeng, Weiguang Wang

Proceedings of the Symposium on Applied Computing, 2014

Using Machine Language Model for Mimimorphic Malware Detection.

Pinghai Yuan, Qingkai Zeng, Yao Liu

Proceedings of the Information Security - 17th International Conference, 2014

2012

A Security Assurance Framework Combining Formal Verification and Security Functional Testing.

Weiguang Wang, Qingkai Zeng, Aditya P. Mathur

Proceedings of the 2012 12th International Conference on Quality Software, 2012

2010

Some Improvements for More Precise Model Checking.

Zhi Zhang, Qingkai Zeng, Ming Huang

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Towards a Structured Model for Software Vulnerabilities.

Ming Huang, Yisha Lu, Qingkai Zeng

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2009

A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network Protocols.

Qin Li, Qingkai Zeng

Proceedings of the Third International Conference on Network and System Security, 2009

2006

Efficient and Practical Control Flow Monitoring for Program Security.

Nai Xia, Bing Mao, Qingkai Zeng, Li Xie

Proceedings of the Advances in Computer Science, 2006

2004

An Adaptive Routing Strategy Based on Dynamic Cache in Mobile Ad Hoc Networks.

YueQuan Chen, Xiaofeng Guo, Qingkai Zeng, Guihai Chen

Proceedings of the Parallel and Distributed Processing and Applications, 2004