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?
  ☆178Updated last year
• formosa-crypto / libjade
  Crypto library
  ☆60Updated last week
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• tpoeppelmann / newhope
  ☆97Updated 8 years ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆296Updated 6 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• pornin / curve9767
  ☆81Updated 5 years ago
• HACS-workshop / spectre-mitigations
  ☆15Updated 7 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• lsds / TaLoS
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆105Updated 3 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• project-everest / everest
  ☆198Updated last week
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆73Updated 2 months ago
• sslab-gatech / opensgx
  OpenSGX
  ☆301Updated 4 years ago
• kudelskisecurity / sgxfun
  SGX command-line tools and paper
  ☆146Updated 8 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆88Updated 5 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 6 years ago
• henrycg / balloon
  A memory-hard password hashing function.
  ☆69Updated 2 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 7 years ago
• GaloisInc / sat2015-crypto
  Slides and examples to accompany the September 25th invited talk at SAT 2015
  ☆14Updated 9 years ago
• UnderhandedCrypto / entries
  A browsable archive of all Underhanded Crypto Contest entries.
  ☆35Updated 6 years ago
• Inria-Prosecco / reftls
  ☆30Updated last year
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• mimoo / disco-c
  A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519
  ☆69Updated 4 years ago
• nonce-disrespect / nonce-disrespect
  Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS
  ☆118Updated 8 years ago
• veorq / fca
  free crypto audit
  ☆31Updated 8 years ago
• veorq / spc
  A tweakable block cipher
  ☆31Updated last year