Accelerating Data-Flow Analysis with Full-Partitioning. - Yuantong Zhang; Liwei Chen; Xiaofan Nie; Zhijie Zhang; Haolai Wei; Gang Shi (ISPA/BDCloud/SocialCom/SustainCom, 2021)

MVDetecter: Vulnerability Primitive-based General Memory Vulnerability Detection. - Xiaofan Nie; Haolai Wei; Liwei Chen; Zhijie Zhang; Yuantong Zhang; Gang Shi (ISPA/BDCloud/SocialCom/SustainCom, 2022)

An Efficient Metric-Based Approach for Static Use-After-Free Detection. - Haolai Wei; Liwei Chen; Xiaofan Nie; Zhijie Zhang; Yuantong Zhang; Gang Shi (ISPA/BDCloud/SocialCom/SustainCom, 2022)

Binary-level Directed Symbolic Execution Through Pattern Learning. - Zhijie Zhang; Liwei Chen; Haolai Wei; Guochao Dong; Yuantong Zhang; Xiaofan Nie; Gang Shi (ISPA/BDCloud/SocialCom/SustainCom, 2022)

KPDFI: Efficient data flow integrity based on key property against data corruption attack. - Xiaofan Nie; Liwei Chen; Haolai Wei; Yuantong Zhang; Ningning Cui; Gang Shi (Comput. Secur., 2023)

Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC. - Haolai Wei; Liwei Chen; Zhijie Zhang; Gang Shi; Dan Meng 002 (ISSTA, 2024)

Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization. - Zhijie Zhang; Liwei Chen; Haolai Wei; Gang Shi; Dan Meng 002 (ISSTA, 2024)