A symbolic-model-guided fuzzer for TLS.

• Uses the LibAFL fuzzing framework
• Fuzzer which is inspired by the Dolev-Yao symbolic model used in protocol verification
• Domain specific mutators for Protocol Fuzzing!
• Supported Libraries Under Test: OpenSSL 1.0.1f, 1.0.2u, 1.1.1k and LibreSSL 3.3.3
• Writtin in Rust!