59 citations · 169 across the 28 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2022★ 1 cited
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Maria Leonor Pacheco, Max von Hippel, Ben Weintraub +2
Automated attack discovery techniques, such as attacker synthesis or model-based fuzzing, provide powerful ways to ensure network protocols operate correctly and securely. Such tec…
cs.CR2018★ 19 cited
Leveraging Textual Specifications for Grammar-based Fuzzing of Network Protocols
Samuel Jero, Maria Leonor Pacheco, Dan Goldwasser +1
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…