Full List of Publications Categorized by
Topics:
Agentic
Program Reasoning
-
[S&P'26]
Agentic Concolic Execution. [paper]
[code]
Zhengxiong Luo, Huan Zhao,
Dylan Wolff, Cristian Cadar, Abhik
Roychoudhury.
Accepted in IEEE Symposium on Security
and Privacy (S&P) 2026.
Protocol
Testing
-
[TSE'25]
Enhancing Protocol Fuzzing via Diverse
Seed Corpus Generation. [paper]
Zhengxiong Luo, Qingpeng
Du, Yujue Wang, Abhik Roychoudhury, Yu
Jiang.
Accepted in IEEE Transactions on
Software Engineering (TSE) 2025.
-
[EMSOFT/TCAD'24]
Parallel Fuzzing of IoT Messaging
Protocols through Collaborative Packet
Generation. [paper]
Zhengxiong Luo, Junze Yu,
Qingpeng Du, Yanyang Zhao, Feifan Wu, Heyuan
Shi, Wanli Chang, and Yu Jiang.
Accepted in International Conference on
Embedded Software (EMSOFT) 2024, and
published in IEEE Trans. Comput. Aided
Des. Integr. Circuits Syst (TCAD).
-
[ISSTA'24]
Logos: Log Guided Fuzzing for Protocol
Implementations. [paper]
Feifan Wu, Zhengxiong
Luo#, Yanyang Zhao,
Qingpeng Du, Junze Yu, Ruikang Peng, Heyuan
Shi, and Yu Jiang.
Accepted in International Symposium on
Software Testing and Analysis (ISSTA)
2024.
-
[DAC'24]
SPFuzz: Stateful Path based Parallel
Fuzzing for Protocols in Autonomous
Vehicles. [paper]
Junze Yu, Zhengxiong
Luo#, Fangshangyuan
Xia, Yanyang Zhao, Heyuan Shi, and Yu Jiang.
Accepted in Design Automation Conference
(DAC) 2024.
-
[USENIX
Security'23] Bleem: Packet
Sequence Oriented Fuzzing for Protocol
Implementations. [paper]
[slides]
Zhengxiong Luo, Junze Yu,
Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting
Chen, Abhik Roychoudhury, and Jiaguang Sun.
Accepted in USENIX Security Symposium
2023.
-
[EMSOFT/TCAD'22]
Vulnerability Detection of ICS Protocols
Via Cross-State Fuzzing. [paper]
Feilong Zuo*, Zhengxiong
Luo*, Junze Yu, Ting
Chen, Zichen Xu, Aiguo Cui, and Yu Jiang.
Accepted in International Conference on
Embedded Software (EMSOFT) 2022
(Best
Paper Nominee), and
published in IEEE Trans. Comput. Aided
Des. Integr. Circuits Syst (TCAD).
-
[DAC'21]
PAVFuzz: State-Sensitive Fuzz Testing of
Protocols in Autonomous Vehicles.
[paper]
[slides]
Feilong Zuo, Zhengxiong
Luo#, Junze Yu, and
Yu Jiang.
Accepted in Design Automation Conference
(DAC) 2021.
-
[DAC'20]
ICS Protocol Fuzzing: Coverage Guided
Packet Crack and Generation.
[paper]
[slides]
Zhengxiong Luo, Feilong
Zuo, Yuheng Shen, Xun Jiao, Wanli Chang, and
Yu Jiang.
Accepted in Design Automation Conference
(DAC) 2020.
-
[EMSOFT/TECS'19]
Polar: Function Code Aware Fuzz Testing
of ICS Protocol. [paper]
[slides]
[code]
Zhengxiong Luo, Feilong
Zuo, Yu Jiang, Jian Gao, Xun Jiao, and
Jiaguang Sun.
Accepted in International Conference on
Embedded Software (EMSOFT) 2019
(Best
Paper Nominee), and
published in ACM Trans. Embed. Comput.
Syst. (TECS).
Protocol
Reverse Engineering
-
[CN'25]
Protocol Syntax Recovery via Knowledge
Transfer.
Yanyang Zhao, Zhengxiong
Luo, Kai Liang, Feifan Wu,
Wenlong Zhang, Heyuan Shi, and Yu Jiang.
Accepted in Computer Networks 2025.
-
[NDSS'24]
DynPRE: Protocol Reverse Engineering via
Dynamic Inference. [paper][slides]
Zhengxiong Luo, Kai Liang,
Yanyang Zhao, Feifan Wu, Junze Yu, Heyuan
Shi, and Yu Jiang.
Accepted in Network and Distributed
System Security (NDSS) 2024.
-
[ISSRE'24]
MDIplier: Protocol Format Recovery via
Hierarchical Inference.
Kai Liang*, Zhengxiong
Luo*, Yanyang Zhao,
Wenlong Zhang, Ronghua Shi, Yu Jiang, Heyuan
Shi and Chao Hu.
Accepted in International Symposium on
Software Reliability Engineering (ISSRE)
2024.