Alternatives and similar repositories for crypto-corpus

Users that are interested in crypto-corpus are comparing it to the libraries listed below

• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 7 years ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆24Updated 2 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 9 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆25Updated 5 years ago
• falsecurity / cache-leak-detector
  Instruction cache leakage detection tool for modular exponentation software.
  ☆15Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆78Updated 8 years ago
• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆19Updated 4 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• veorq / fca
  free crypto audit
  ☆31Updated 8 years ago
• yymax / x509test
  A Python3 software that validates a client's side SSL/TLS application's X509 verification process
  ☆141Updated 11 years ago
• trailofbits / bisc
  Borrowed Instructions Synthetic Computation
  ☆70Updated 10 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆46Updated 10 years ago
• kste / keycommitment
  Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456
  ☆21Updated 4 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆77Updated 3 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 8 years ago
• kudelskisecurity / cryptochallenge18
  Kudelski Security's 2018 pre-Black Hat crypto challenge
  ☆36Updated 7 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆36Updated 4 years ago
• kudelskisecurity / cdf
  ☆170Updated 4 years ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆27Updated 8 years ago
• kudelskisecurity / go-manger-attack
  This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP
  ☆31Updated 7 years ago
• RolfRolles / SynesthesiaYS
  Synesthesia, implemented as Yices scripts
  ☆94Updated 8 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• mmiszczyk / deepmage
  Hex editor for bit-level occultism
  ☆22Updated 7 years ago
• kcc / fuzzing-with-sanitizers
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆29Updated 10 years ago
• kmcallister / alameda
  Linux kernel JIT spray for SMEP / KERNEXEC bypass
  ☆55Updated 13 years ago
• trailofbits / umberto
  poststructural fuzzing
  ☆31Updated 6 years ago
• elfmaster / static_binary_mitigations
  relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.
  ☆34Updated 7 years ago
• lyvd / C2Ass
  A tiny tool to learn the assembly code
  ☆12Updated 8 years ago
• intel / satt
  ☆74Updated 3 years ago