DTLS-Fuzzer: A DTLS Protocol State Fuzzer
Paul Fiterău-Broştean, Bengt Jönsson, Konstantinos Sagonas, Fredrik Taquist
Abstract
DTLS-Fuzzer is a protocol state fuzzer for imple-mentations of DTLS clients and servers. DTLS-Fuzzer uses model learning to generate a state machine model of a DTLS implementation, capturing its input/output behavior. This model can be used for model-based testing or can be analyzed for security vulnerabilities and specification violations. This demo abstract overviews the architecture, API, and usage of the tool.
Topics & Concepts
Fuzz testingComputer scienceProtocol (science)ServerState (computer science)Computer securityComputer networkSoftwareOperating systemProgramming languagePathologyMedicineAlternative medicineSoftware Testing and Debugging TechniquesNetwork Security and Intrusion DetectionSoftware System Performance and Reliability