randombit / crypto-corpusLinks
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
Sorting:
- Code to fuzz bignum libraries☆46Updated 6 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- Differential fuzzing for elliptic curves☆23Updated last year
- Detect patterns of bad behavior in function calls☆26Updated 4 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- ☆20Updated 5 years ago
- Using SGX to harden password hashing☆34Updated 9 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- KLEE in the browser☆52Updated last month
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆46Updated 8 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 6 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆15Updated 8 years ago
- Corpora used to seed NSS' fuzzing targets☆10Updated 2 weeks ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago
- Linux kernel JIT spray for SMEP / KERNEXEC bypass☆55Updated 12 years ago
- ☆11Updated 4 years ago
- Measure branching along code paths☆20Updated 8 years ago
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- ☆35Updated 8 years ago
- ☆12Updated 5 years ago
- REIL translation library☆36Updated 9 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Updated 3 years ago
- A Python3 software that validates a client's side SSL/TLS application's X509 verification process☆141Updated 10 years ago
- Simple application for playing with elliptic curves☆44Updated 2 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago