Stateful black-box fuzzing for encryption protocols and its application in IPsec. - Jiaxing Guo; Chunxiang Gu; Xi Chen 045; Xieli Zhang; Kai Tian; Ji Li 004 (Comput. Networks, 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., 2024)

Raise Damping in Electro-Hydraulic Systems with Observed Pressure. - Xieli Zhang; Damiano Padovani (ICMRE, 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 045 (Expert Syst. Appl., 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)