DTLS-Fuzzer: A DTLS Protocol State Fuzzer
- Resource Type
- Conference
- Authors
- Fiterau-Brostean, P.; Jonsson, B.; Sagonas, K.; Taquist, F.
- Source
- 2022 IEEE Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2022 IEEE Conference on. :456-458 Apr, 2022
- Subject
- General Topics for Engineers
Software testing
Analytical models
Protocols
Conferences
Computer architecture
Behavioral sciences
Security
model learning
network security testing
model-based testing
- Language
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.