Alternatives and similar repositories for ctgrind

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

• oreparaz / dudect
  dude, is my code constant time?
  ☆190Updated last year
• imdea-software / verifying-constant-time
  ☆38Updated 8 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• HACS-workshop / spectre-mitigations
  ☆15Updated 7 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• tpoeppelmann / newhope
  ☆100Updated 9 years ago
• pornin / curve9767
  ☆82Updated 5 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 8 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆47Updated 4 years ago
• lsds / TaLoS
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆109Updated 3 years ago
• sslab-gatech / opensgx
  OpenSGX
  ☆304Updated 5 years ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆299Updated 7 years ago
• nonce-disrespect / nonce-disrespect
  Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS
  ☆120Updated 8 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• project-everest / everest
  ☆202Updated 2 weeks ago
• imichaelmiers / libforwardsec
  ☆58Updated 8 years ago
• formosa-crypto / libjade
  Crypto library
  ☆66Updated 3 weeks ago
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 8 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• benlaurie / hacl
  Experimental High Assurance Cryptographic Library
  ☆20Updated 9 years ago
• Shay-Gueron / AES-GCM-SIV
  AES-GCM-SIV implementations (128 and 256 bit)
  ☆117Updated 6 years ago
• cpeikert / CollimationSieve
  Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.
  ☆14Updated 6 years ago
• kudelskisecurity / cdf
  ☆170Updated 4 years ago
• mjosaarinen / pqps
  Tools for power measurements of post-quantum cryptographic algorithms
  ☆29Updated 5 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆40Updated 2 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆46Updated 10 years ago
• charlie-j / fm-crypto-lib
  ☆14Updated 6 months ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆78Updated 3 months ago