randombit / crypto-corpus
Corpus of crypto formats
☆12Updated 2 years ago
Alternatives and similar repositories for crypto-corpus:
Users that are interested in crypto-corpus are comparing it to the libraries listed below
- Code to fuzz bignum libraries☆45Updated 6 years ago
- Detect patterns of bad behavior in function calls☆26Updated 4 years ago
- free crypto audit☆31Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- A Python3 software that validates a client's side SSL/TLS application's X509 verification process☆142Updated 10 years ago
- Picon☆39Updated 8 years ago
- NIST CSRC Cryptography Toolkit test vectors (unofficial and dumped to text)☆24Updated 6 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 7 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 7 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- Simple application for playing with elliptic curves☆44Updated 2 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆45Updated 2 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Updated 8 years ago
- ☆63Updated 3 years ago
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆28Updated 9 years ago
- Measure branching along code paths☆20Updated 8 years ago
- Recon materials☆27Updated 7 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 6 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- ☆35Updated 8 years ago
- Sample application to let OpenSSL talk to itself (for fuzzing)☆34Updated 9 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Differential fuzzing for elliptic curves☆23Updated last year
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 6 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Fuzzing framework written in OCaml☆31Updated 8 years ago
- rune - radare2 based symbolic emulator☆26Updated 7 years ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆29Updated 8 years ago