Xuejian Li

15 papers B 5Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Automaton State Explosion Optimization Method for Repetitive Features in Deep Packet Inspection.
IEEE Access
Xuejian Li, Zihan Wang, Zehua Cheng
2026 J jnl
Design of Safe C Language for Program Verification.
IEEE Access
Xuejian Li
2026 J jnl
Type Region Model and Its Application in Program Static Detection.
IEEE Access
Xuejian Li, Linlin Wei
2025 B conf
Data Consistency Verification and Detection Based on Formal Methods in Distributed Environment.
SMC
Xuejian Li, Kai Lin, Changyu Wang, Hantao Xia
2024 B conf
Optimization of Neural Network Models Based on Symbol Interval Propagation.
SMC
Xuejian Li, Zihan Li
2024 B conf
Verifying Robustness of Neural Networks with Abstract Features.
SMC
Xuejian Li, Hantao Xia
2023 B conf
Automaton-Based Data Consistency Detection.
SMC
Xuejian Li, Changyu Wang
2023 J jnl
CCBLA: a Lightweight Phishing Detection Model Based on CNN, BiLSTM, and Attention Mechanism.
Cogn. Comput.
Erzhou Zhu, Qixiang Yuan, Zhile Chen, Xuejian Li, Xianyong Fang
2023 — conf
Software Defect Detection Based on Feature Fusion and Alias Analysis.
ITC-Asia
Xuejian Li, Zhengguang Zhu
2023 B conf
Trusted Sharing of Data Under Cloud-Edge-End Collaboration and Its Formal Verification.
LCN
Xuejian Li, Mingguang Wang
2022 — conf
Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures.
WSSE
Xuejian Li, Yun Yu
2019 — conf
Efficient Android Phishing Detection Based on Improved Naïve Bayes Algorithm.
ICSI (2)
Dawei Liu, Dong Liu, Yang Li, Mengqi Zhu, Erzhou Zhu, Xuejian Li
2015 J jnl
Dytaint: The implementation of a novel lightweight 3-state dynamic taint analysis framework for x86 binary programs.
Comput. Secur.
Erzhou Zhu, Feng Liu, Zuo Wang, Alei Liang, Yiwen Zhang, Xuejian Li, Xuejun Li
2014 J jnl
Constructing a Hybrid Taint Analysis Framework for Diagnosing Attacks on Binary Programs.
J. Comput.
Erzhou Zhu, Xuejun Li, Feng Liu, Xuejian Li, Zhujuan Ma
2013 — conf
HYBit: A Hybrid Taint Analyzing Framework for Binary Programs.
ICSI (2)
Erzhou Zhu, Haibing Guan, Alei Liang, Rongbin Xu, Xuejian Li, Feng Liu