Alternatives and similar repositories for Delphinium:

Users that are interested in Delphinium are comparing it to the libraries listed below

• kste / keycommitment
  Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456
  ☆20Updated 3 years ago
• LaurenDM / AttackAESCTR
  ☆20Updated 5 years ago
• eyalr0 / AES-Cryptoanalysis
  ☆12Updated 5 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆59Updated 8 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 6 years ago
• kudelskisecurity / cryptochallenge18
  Kudelski Security's 2018 pre-Black Hat crypto challenge
  ☆36Updated 6 years ago
• veorq / fca
  free crypto audit
  ☆31Updated 8 years ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• kudelskisecurity / go-manger-attack
  This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP
  ☆31Updated 7 years ago
• mjosaarinen / pqps
  Tools for power measurements of post-quantum cryptographic algorithms
  ☆27Updated 5 years ago
• MaliciousSHA1 / MaliciousSHA1.github.io
  ☆17Updated 10 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆26Updated 4 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆42Updated 9 years ago
• jurajsomorovsky / EccPlayground
  Simple application for playing with elliptic curves
  ☆44Updated 2 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 6 years ago
• randombit / crypto-corpus
  Corpus of crypto formats
  ☆12Updated 2 years ago
• GaloisInc / sat2015-crypto
  Slides and examples to accompany the September 25th invited talk at SAT 2015
  ☆14Updated 9 years ago
• cryptosubtlety / postquantumcrypto
  Intuitive Quantum Computation and Post-Quantum Cryptography
  ☆62Updated 2 years ago
• CryptoExperts / breaking-winning-challenges-of-whibox2019
  ☆14Updated 4 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆26Updated last year
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• cpeikert / CollimationSieve
  Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.
  ☆14Updated 5 years ago
• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆18Updated 4 years ago
• mimoo / cryptobible
  Auditing Applied Cryptography
  ☆10Updated 5 years ago
• mit-ll / LO-PHI
  Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…
  ☆29Updated 8 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 2 years ago
• lducas / BDD-note
  ☆13Updated 3 years ago
• pornin / curve9767
  ☆81Updated 4 years ago