randombit / crypto-corpusLinks
Corpus of crypto formats
☆12Updated 3 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 7 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 9 years ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- Timing Attack on TLS' ECDSA signature☆46Updated 10 years ago
- free crypto audit☆31Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 7 years ago
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 8 years ago
- Corpora used to seed NSS' fuzzing targets☆10Updated 2 weeks ago
- Instruction cache leakage detection tool for modular exponentation software.☆15Updated 8 years ago
- ☆170Updated 4 years ago
- Sample application to let OpenSSL talk to itself (for fuzzing)☆34Updated 9 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 7 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Updated 4 years ago
- KLEE in the browser☆53Updated last week
- an open source toolkit for PCI bus exploration☆72Updated 9 years ago
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆29Updated 10 years ago
- A browsable archive of all Underhanded Crypto Contest entries.☆35Updated 6 years ago
- Linux kernel JIT spray for SMEP / KERNEXEC bypass☆55Updated 13 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- rune - radare2 based symbolic emulator☆27Updated 8 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Updated 9 years ago
- Recon materials☆27Updated 8 years ago
- A Python3 software that validates a client's side SSL/TLS application's X509 verification process☆141Updated 11 years ago
- Differential Address Trace Analysis☆63Updated last year
- Simple application for playing with elliptic curves☆44Updated 3 years ago
- Synesthesia, implemented as Yices scripts☆94Updated 8 years ago