trailofbits / not-slithering-anywhereLinks
The Python Version of our Not Go-ing Anywhere Vulnerable Application
☆11Updated 2 years ago
Alternatives and similar repositories for not-slithering-anywhere
Users that are interested in not-slithering-anywhere are comparing it to the libraries listed below
Sorting:
- poststructural fuzzing☆31Updated 6 years ago
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- DEPRECATED — Containerized Cloud Fuzzing☆26Updated 7 years ago
- CVE querying library and utility that uses a local store syncing directly to the National Vulnerability Database☆22Updated 2 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 4 years ago
- Code to fuzz bignum libraries☆46Updated 7 years ago
- Example Manticore scripts☆68Updated 2 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 7 years ago
- ☆170Updated 4 years ago
- A set of vulnerable Golang programs☆179Updated 2 years ago
- Regexp based tool for mutating generic source code across numerous languages☆150Updated 2 weeks ago
- ☆82Updated 5 months ago
- Crypto Audit Guidelines☆134Updated 5 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 7 years ago
- Measure branching along code paths☆18Updated 9 years ago
- Hierarchical Delta Debugging Framework☆60Updated 2 months ago
- Corpora used to seed NSS' fuzzing targets☆10Updated last week
- How fast can we brute force a 64-bit comparison?☆54Updated 6 years ago
- Timing Attack on TLS' ECDSA signature☆46Updated 10 years ago
- Corpus of crypto formats☆12Updated 3 years ago
- A user-first approach to threat modeling.☆21Updated 9 months ago
- ☆19Updated 5 years ago
- CodeQL library and queries for iterator invalidation☆22Updated 4 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆74Updated 8 years ago
- A fast Rust-based safe and thead-friendly grammar-based fuzz generator☆221Updated 5 years ago
- free crypto audit☆31Updated 8 years ago
- Scripts for collecting metrics of the attack surface☆15Updated 4 years ago