Leveraging Textual Specifications for Grammar-Based Fuzzing of Network Protocols

Authors

  • Samuel Jero Purdue University
  • Maria Leonor Pacheco Purdue University
  • Dan Goldwasser Purdue University
  • Cristina Nita-Rotaru Northeastern University

DOI:

https://doi.org/10.1609/aaai.v33i01.33019478

Abstract

Grammar-based fuzzing is a technique used to find software vulnerabilities by injecting well-formed inputs generated following rules that encode application semantics. Most grammar-based fuzzers for network protocols rely on human experts to manually specify these rules. In this work we study automated learning of protocol rules from textual specifications (i.e. RFCs). We evaluate the automatically extracted protocol rules by applying them to a state-of-the-art fuzzer for transport protocols and show that it leads to a smaller number of test cases while finding the same attacks as the system that uses manually specified rules.

Downloads

Published

2019-07-17

How to Cite

Jero, S., Pacheco, M. L., Goldwasser, D., & Nita-Rotaru, C. (2019). Leveraging Textual Specifications for Grammar-Based Fuzzing of Network Protocols. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 9478-9483. https://doi.org/10.1609/aaai.v33i01.33019478

Issue

Section

IAAI Technical Track: Emerging Papers