Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs. - Kangjie Lu; Aditya Pakki; Qiushi Wu (ESORICS (2), 2019)

Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences. - Kangjie Lu; Aditya Pakki; Qiushi Wu (USENIX Security Symposium, 2019)

Precisely Characterizing Security Impact in a Flood of Patches via Symbolic Rule Comparison. - Qiushi Wu; Yang He; Stephen McCamant; Kangjie Lu (NDSS, 2020)

Detecting Missed Security Operations Through Differential Checking of Object-based Similar Paths. - Dinghao Liu; Qiushi Wu; Shouling Ji; Kangjie Lu; Zhenguang Liu; Jianhai Chen; Qinming He (CCS, 2021)

Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning. - Navid Emamdoost; Qiushi Wu; Kangjie Lu; Stephen McCamant (NDSS, 2021)

Understanding and Detecting Disordered Error Handling with Precise Function Pairing. - Qiushi Wu; Aditya Pakki; Navid Emamdoost; Stephen McCamant; Kangjie Lu (USENIX Security Symposium, 2021)

Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs. - Qingyang Zhou; Qiushi Wu; Dinghao Liu; Shouling Ji; Kangjie Lu (CCS, 2022)

Semantic-Informed Driver Fuzzing Without Both the Hardware Devices and the Emulators. - Wenjia Zhao; Kangjie Lu; Qiushi Wu; Yong Qi (NDSS, 2022)

OS-Aware Vulnerability Prioritization via Differential Severity Analysis. - Qiushi Wu; Yue Xiao 007; Xiaojing Liao; Kangjie Lu (USENIX Security Symposium, 2022)

Unleashing Coveraged-Based Fuzzing Through Comprehensive, Efficient, and Faithful Exploitable-Bug Exposing. - Bowen Wang; Kangjie Lu; Qiushi Wu; Aditya Pakki (IEEE Trans. Dependable Secur. Comput., 2022)

Guiding Directed Fuzzing with Feasibility. - Weiheng Bai; Kefu Wu; Qiushi Wu; Kangjie Lu (EuroS&P Workshops, 2023)

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs. - Jianhao Xu; Kangjie Lu; Zhengjie Du; Zhu Ding; Linke Li; Qiushi Wu; Mathias Payer; Bing Mao 001 (USENIX Security Symposium, 2023)

GNNIC: Finding Long-Lost Sibling Functions with Abstract Similarity. - Qiushi Wu; Zhongshu Gu; Hani Jamjoom; Kangjie Lu (NDSS, 2024)

APILOT: Navigating Large Language Models to Generate Secure Code by Sidestepping Outdated API Pitfalls. - Weiheng Bai; Keyang Xuan; Pengxiang Huang; Qiushi Wu; Jianing Wen; Jingjing Wu; Kangjie Lu (CoRR, 2024)