GitHub repository: tlspuffin/tlspuffin
Primary language: Rust
Description: A Dolev-Yao-model-guided fuzzer for TLS