Fuzzing Program Logic Deeply Hidden in Binary Program Stages. - Yanhao Wang; Zheng Leong Chua; Yuwei Liu 001; Purui Su; Zhenkai Liang (SANER, 2019)

Not All Coverage Measurements Are Equal: Fuzzing by Coverage Accounting for Input Prioritization. - Yanhao Wang; Xiangkun Jia; Yuwei Liu 001; Kyle Zeng; Tiffany Bao; Dinghao Wu; Purui Su (NDSS, 2020)

InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing. - Yuwei Liu 001; Yanhao Wang; Purui Su; Yuanping Yu; Xiangkun Jia (ASE, 2021)

HTFuzz: Heap Operation Sequence Sensitive Fuzzing. - Yuanping Yu; Xiangkun Jia; Yuwei Liu 001; Yanhao Wang; Qian Sang; Chao Zhang 008; Purui Su (ASE, 2022)

PDG2Vec: Identify the Binary Function Similarity with Program Dependence Graph. - Yuntao Zhang; Yanhao Wang; Yuwei Liu 001; Zhengyuan Pang; Binxing Fang (QRS, 2022)

VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual Device. - Yuwei Liu 001; Siqi Chen; Yuchong Xie; Yanhao Wang; Libo Chen 001; Bin Wang; Yingming Zeng; Zhi Xue; Purui Su (ASE, 2023)

AFGen: Whole-Function Fuzzing for Applications and Libraries. - Yuwei Liu 001; Yanhao Wang; Xiangkun Jia; Zheng Zhang; Purui Su (SP, 2024)

AirTaint: Making Dynamic Taint Analysis Faster and Easier. - Qian Sang; Yanhao Wang; Yuwei Liu 001; Xiangkun Jia; Tiffany Bao; Purui Su (SP, 2024)

A Semantics-Based Approach on Binary Function Similarity Detection. - Yuntao Zhang; Binxing Fang; Zehui Xiong; Yanhao Wang; Yuwei Liu 001; Chao Zheng 001; Qinnan Zhang (IEEE Internet Things J., 2024)

PromeFuzz: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models. - Yuwei Liu 001; Junquan Deng; Xiangkun Jia; Yanhao Wang; Minghua Wang; Lin Huang 005; Tao Wei 002; Purui Su (CCS, 2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code. - Yuwei Liu 001; Xinyi Wan 001; Yanhao Wang; Minghua Wang; Lin Huang 005; Tao Wei 002 (CoRR, 2026)