An LLM-based pipeline that extracts formal protocol formats from RFC documents detected 69 parser bugs (36 confirmed) across nine network protocols.
Title resolution pending
1 Pith paper cite this work, alongside 6 external citations. Polarity classification is still indexing.
1
Pith paper citing it
6
external citations · OpenAlex
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Validating Network Protocol Parsers with Traceable RFC Document Interpretation
An LLM-based pipeline that extracts formal protocol formats from RFC documents detected 69 parser bugs (36 confirmed) across nine network protocols.