Leveraging Textual Specifications for Grammar-based Fuzzing of Network Protocols

10/10/2018
by   Samuel Jero, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/08/2023

A Rapid Prototyping Language Workbench for Textual DSLs based on Xtext: Vision and Progress

Metamodel-based DSL development in language workbenches like Xtext allow...
research
01/26/2022

Fuzzing Class Specifications

Expressing class specifications via executable constraints is important ...
research
12/20/2016

Grammar rules for the isiZulu complex verb

The isiZulu verb is known for its morphological complexity, which is a s...
research
08/03/2020

Evolutionary Grammar-Based Fuzzing

A fuzzer provides randomly generated inputs to a targeted software to ex...
research
11/04/2020

Probabilistic Bisimulation for Parameterized Systems (Technical Report)

Probabilistic bisimulation is a fundamental notion of process equivalenc...
research
08/10/2017

Tosca: Operationalizing Commitments Over Information Protocols

The notion of commitment is widely studied as a high-level abstraction f...
research
08/23/2023

Saggitarius: A DSL for Specifying Grammatical Domains

Common data types like dates, addresses, phone numbers and tables can ha...

Please sign up or login with your details

Forgot password? Click here to reset