TY  - RPRT
TI  - Leapfrog: Certified Equivalence for Protocol Parsers
AU  - Ryan Doenges
AU  - Tobias Kappé
AU  - John Sarracino
AU  - Nate Foster
AU  - Greg Morrisett
PY  - 2022
DO  - 10.1145/3519939.3523715
UR  - https://arxiv.org/abs/2205.08762
ID  - 2205.08762
ER  -