TY  - RPRT
TI  - Validating Network Protocol Parsers with Traceable RFC Document Interpretation
AU  - Mingwei Zheng
AU  - Danning Xie
AU  - Qingkai Shi
AU  - Chengpeng Wang
AU  - Xiangyu Zhang
PY  - 2025
DO  - 10.1145/3728955
UR  - https://arxiv.org/abs/2504.18050
ID  - 2504.18050
ER  -