Validating Network Protocol Parsers with Traceable RFC Document Interpretation

25 April 2025

Papers citing "Validating Network Protocol Parsers with Traceable RFC Document Interpretation"

2 / 2 papers shown

Title
PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust Yifei Gao Chengpeng Wang Pengxiang Huang Xuwei Liu Mingwei Zheng Xiangyu Zhang 28 0 0 07 May 2025
Large Language Models for Validating Network Protocol Parsers Mingwei Zheng Danning Xie X. Zhang 22 1 0 18 Apr 2025