Lifting Network Protocol Implementation to Precise Format Specification with Security Applications

19 May 2023

Yapeng Ye

Papers citing "Lifting Network Protocol Implementation to Precise Format Specification with Security Applications"

1 / 1 papers shown

Title
An LLM Agent for Functional Bug Detection in Network Protocols Mingwei Zheng Chengpeng Wang Xuwei Liu Jinyao Guo Shiwei Feng Xiangyu Zhang 22 0 0 31 May 2025