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