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
  ☆191Updated 8 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆38Updated 8 years ago
• kudelskisecurity / cdf
  ☆170Updated 4 years ago
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 8 years ago
• nonce-disrespect / nonce-disrespect
  Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS
  ☆119Updated 8 years ago
• veorq / fca
  free crypto audit
  ☆31Updated 8 years ago
• lsds / TaLoS
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆109Updated 3 years ago
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆13Updated 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 6 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
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆40Updated 2 years ago
• hso-esk / tls-diff-testing
  Implementation of differential fuzz testing for TLS handshake messages
  ☆11Updated 4 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆46Updated 10 years ago
• UnderhandedCrypto / entries
  A browsable archive of all Underhanded Crypto Contest entries.
  ☆35Updated 6 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆190Updated last year
• CryptoExperts / whibox_contest_submission_server
  Source code of the Whitebox Contest Submission Server
  ☆34Updated last year
• kudelskisecurity / sgxfun
  SGX command-line tools and paper
  ☆147Updated 9 years ago
• ieee-security / ongoing-submission-plan
  Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P
  ☆15Updated 8 years ago
• sslab-gatech / opensgx
  OpenSGX
  ☆304Updated 5 years ago
• dfoxfranke / libaes_siv
  An RFC5297-compliant C implementation of AES-SIV
  ☆20Updated 5 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• google / channel-id-enclave
  Stores Chromium Channel ID private keys in an Intel SGX enclave.
  ☆33Updated 9 years ago
• cstanfill / sidh-writeup
  Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"
  ☆26Updated 8 years ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆45Updated last month
• Shay-Gueron / AES-GCM-SIV
  AES-GCM-SIV implementations (128 and 256 bit)
  ☆117Updated 6 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago