HYBit: A Hybrid Taint Analyzing Framework for Binary Programs. - Erzhou Zhu; Haibing Guan; Alei Liang; Rongbin Xu; Xuejian Li 001; Feng Liu 024 (ICSI (2), 2013)

Constructing a Hybrid Taint Analysis Framework for Diagnosing Attacks on Binary Programs. - Erzhou Zhu; Xuejun Li 001; Feng Liu 024; Xuejian Li 001; Zhujuan Ma (J. Comput., 2014)

Dytaint: The implementation of a novel lightweight 3-state dynamic taint analysis framework for x86 binary programs. - Erzhou Zhu; Feng Liu 024; Zuo Wang; Alei Liang; Yiwen Zhang 001; Xuejian Li 001; Xuejun Li 001 (Comput. Secur., 2015)

Efficient Android Phishing Detection Based on Improved Naïve Bayes Algorithm. - Dawei Liu; Dong Liu; Yang Li; Mengqi Zhu; Erzhou Zhu; Xuejian Li 001 (ICSI (2), 2019)

Construction of Inductive Property Predicates for Mutable Data Structures. - Xue-Jian Li 001; Jun-Yi Wang (DSA, 2022)

Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures. - Xuejian Li 001; Yun Yu (WSSE, 2022)

Software Defect Detection Based on Feature Fusion and Alias Analysis. - Xuejian Li 001; Zhengguang Zhu (ITC-Asia, 2023)

Trusted Sharing of Data Under Cloud-Edge-End Collaboration and Its Formal Verification. - Xuejian Li 001; Mingguang Wang (LCN, 2023)

Automaton-Based Data Consistency Detection. - Xuejian Li 001; Changyu Wang (SMC, 2023)

CCBLA: a Lightweight Phishing Detection Model Based on CNN, BiLSTM, and Attention Mechanism. - Erzhou Zhu; Qixiang Yuan; Zhile Chen; Xuejian Li 001; Xianyong Fang (Cogn. Comput., 2023)

Optimization of Neural Network Models Based on Symbol Interval Propagation. - Xuejian Li 001; Zihan Li (SMC, 2024)

Verifying Robustness of Neural Networks with Abstract Features. - Xuejian Li 001; Hantao Xia (SMC, 2024)

Data Consistency Verification and Detection Based on Formal Methods in Distributed Environment. - Xuejian Li 001; Kai Lin; Changyu Wang; Hantao Xia (SMC, 2025)

Design of Safe C Language for Program Verification. - Xuejian Li 001 (IEEE Access, 2026)

Type Region Model and Its Application in Program Static Detection. - Xuejian Li 001; Linlin Wei (IEEE Access, 2026)

An Automaton State Explosion Optimization Method for Repetitive Features in Deep Packet Inspection. - Xuejian Li 001; Zihan Wang; Zehua Cheng (IEEE Access, 2026)

BMGANet: A deep learning model for source code vulnerability detection by integrating token-level and function-level features. - Erzhou Zhu; Xiangshan Qu; Xiaohan Liu; Xuejian Li 001 (Comput. Electr. Eng., 2026)