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)

Exaggerated Error Handling Hurts! An In-Depth Study and Context-Aware Detection. - Aditya Pakki; Kangjie Lu (CCS, 2020)

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

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)