Leapfrog: certified equivalence for protocol parsers.

Ryan Doenges Tobias Kappé John Sarracino Nate Foster Greg Morrisett

Published in: PLDI (2022)

Keyphrases

natural language processing
lightweight
communication protocols
communication protocol
cryptographic protocols
coloured petri nets
authentication protocol
tcp ip
information extraction
security protocols
technical support
ip address
network protocols