Xieli Zhang

According to our database, Xieli Zhang authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Combining model learning and formal analysis: A framework for protocol implementation verification.

Kai Tian, Chunxiang Gu, Fushan Wei, Xieli Zhang, Jiaxing Guo

J. Inf. Secur. Appl., 2025

Adaptive header identification and unsupervised clustering strategy for enhanced protocol reverse engineering.

Mingliang Zhu, Chunxiang Gu, Xieli Zhang, Qingjun Yuan, Mengcheng Ju, Guanping Zhang, Xi Chen

Expert Syst. Appl., 2025

Raise Damping in Electro-Hydraulic Systems with Observed Pressure.

Xieli Zhang, Damiano Padovani

Proceedings of the 11th International Conference on Mechatronics and Robotics Engineering, 2025

2024

An enhanced state-aware model learning approach for security analysis in lightweight protocol implementations.

Jiaxing Guo, Dongliang Zhao, Chunxiang Gu, Xi Chen, Xieli Zhang, Mengcheng Ju

J. Cloud Comput., December, 2024

Stateful black-box fuzzing for encryption protocols and its application in IPsec.

Jiaxing Guo, Chunxiang Gu, Xi Chen, Xieli Zhang, Kai Tian, Ji Li

Comput. Networks, 2024