An Efficient Vulnerability Extrapolation Using Similarity of Graph Kernel of PDGs. - Jingxiang Zeng; Xiaofan Nie; Liwei Chen; Jinfeng Li; Gewangzi Du; Gang Shi (TrustCom, 2020)

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

PointerChecker: Tag-Based and Hardware-Assisted Memory Safety against Memory Corruption. - Xiaofan Nie; Liwei Chen; Gang Shi (ATS, 2022)

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)

An Effective Buffer Overflow Detection With Super Data-Flow Graphs. - Yuantong Zhang; Liwei Chen; Xiaofan Nie; 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)