Leapfrog: Certified Equivalence for Protocol Parsers.

Ryan Doenges Tobias Kappé John Sarracino Nate Foster Greg Morrisett

Published in: CoRR (2022)

Keyphrases

lightweight
formal analysis
information retrieval
equivalence relation
tcp ip
network simulator
machine learning
web services
security analysis
security protocols
authentication protocol
application layer
cryptographic protocols
communication protocols