Login / Signup

Tutorial: The End of Binary Protocol Parser Vulnerabilities : Using RecordFlux and SPARK to implement formally-verified binary formats and communication protocols.

Alexander Senier
Published in: SecDev (2023)
Keyphrases
  • communication protocols
  • communication protocol
  • protocol specification
  • lightweight
  • data mining
  • metadata
  • communication networks