Alternatives and similar repositories for spectre-mitigations

Users that are interested in spectre-mitigations are comparing it to the libraries listed below

• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆186Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• nonce-disrespect / nonce-disrespect
  Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS
  ☆118Updated 8 years ago
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 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
• kudelskisecurity / cdf
  ☆170Updated 4 years ago
• lsds / TaLoS
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆106Updated 3 years ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• kste / cryptosmt
  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
  ☆96Updated last year
• kudelskisecurity / sgxfun
  SGX command-line tools and paper
  ☆146Updated 8 years ago
• veorq / fca
  free crypto audit
  ☆31Updated 8 years ago
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆12Updated 2 years ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆31Updated last year
• CryptoExperts / whibox_contest_submission_server
  Source code of the Whitebox Contest Submission Server
  ☆34Updated 11 months 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
• Shay-Gueron / AES-GCM-SIV
  AES-GCM-SIV implementations (128 and 256 bit)
  ☆117Updated 6 years ago
• sslab-gatech / opensgx
  OpenSGX
  ☆303Updated 5 years ago
• Ko- / sboxoptimization
  Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers
  ☆27Updated 8 years ago
• veorq / cag
  Crypto Audit Guidelines
  ☆134Updated 4 years ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆44Updated last month
• mjosaarinen / brutus
  BRUTUS is an alternative, fast testing framework for CAESAR ciphers.
  ☆22Updated 8 years ago
• cryptobib / cryptobib
  CryptoBib Main Repository for Developers
  ☆19Updated 10 months ago
• mjosaarinen / blzzrd
  Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme
  ☆16Updated 8 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆42Updated 9 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆74Updated 2 weeks ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• pornin / curve9767
  ☆81Updated 5 years ago
• Intel-EPID-SDK / epid-sdk
  The Intel(R) Enhanced Privacy ID Software Development Kit
  ☆30Updated 2 years ago