Alternatives and similar repositories for ctgrind:

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

• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆59Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆176Updated 10 months ago
• formosa-crypto / libjade
  Crypto library
  ☆55Updated 3 months ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆19Updated 5 years ago
• lsds / TaLoS
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆105Updated 3 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆35Updated 6 years ago
• kudelskisecurity / cdf
  ☆170Updated 3 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 6 years ago
• tpoeppelmann / newhope
  ☆97Updated 8 years ago
• HACS-workshop / spectre-mitigations
  ☆15Updated 6 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆176Updated 7 months ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆69Updated 7 months ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆27Updated 6 years ago
• project-everest / everest
  ☆193Updated this week
• ayeks / TresorSGX
  Securing storage encryption by using Intel SGX enclaves. First attempt for the isolation of OS components with trusted enclaves.
  ☆80Updated 7 years ago
• GaloisInc / sat2015-crypto
  Slides and examples to accompany the September 25th invited talk at SAT 2015
  ☆14Updated 9 years ago
• nonce-disrespect / nonce-disrespect
  Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS
  ☆117Updated 7 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆51Updated 5 years ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆278Updated this week
• veorq / spc
  A tweakable block cipher
  ☆30Updated 8 months ago
• veorq / fca
  free crypto audit
  ☆31Updated 7 years ago
• kudelskisecurity / sgxfun
  SGX command-line tools and paper
  ☆147Updated 8 years ago
• UnderhandedCrypto / entries
  A browsable archive of all Underhanded Crypto Contest entries.
  ☆34Updated 5 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 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