About Me

I am a fifth-year PhD student in the School of Software, Tsinghua University, advised by Prof Yu Jiang. I received my BS degree from School of Computer Science, Beijing University of Posts and Telecommunications in 2019.6.

Research

My research is focused on automated vulnerability detection and program analysis of network protocol implementations via techniques like fuzzing, where I investigate practical topics such as efficiency, scalability, and reliability of automated techniques via theoretical and empirical analysis.

Publications

  • [NDSS'24] DynPRE: Protocol Reverse Engineering via Dynamic Inference. [paper]
    Zhengxiong Luo, Kai Liang, Yanyang Zhao, Feifan Wu, Junze Yu, Heyuan Shi, and Yu Jiang.
    Accepted in NDSS 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'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 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]
    Feilong Zuo, Zhengxiong Luo, Junze Yu, and Yu Jiang.
    Accepted in Design Automation Conference 2021.
  • [DAC'20] ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation. [paper]
    Zhengxiong Luo, Feilong Zuo, Yuheng Shen, Xun Jiao, Wanli Chang, and Yu Jiang.
    Accepted in Design Automation Conference 2020.
  • [EMSOFT'19] Polar: Function Code Aware Fuzz Testing of ICS Protocol. [paper] [code]
    Zhengxiong Luo, Feilong Zuo, Yu Jiang, Jian Gao, Xun Jiao, and Jiaguang Sun.
    Accepted in International Conference on Embedded Software 2019 (Best Paper Nominee), and published in ACM Trans. Embed. Comput. Syst. (TECS).

Selected Awards

  • Best Paper Nominee in EMSOFT 2022 (3 out of 171 submissions)
  • National Scholarship, 2020
  • Tsinghua Software Scholarship, 2020
  • Best Paper Nominee in EMSOFT 2019 (3 out of 105 submissions)
  • Silver Medal, The ACM-ICPC Asia Regional Contest Nanning Site, 2017