Alternatives and similar repositories for spectre-mitigations

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

• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆60Updated 8 years ago
• veorq / fca
  free crypto audit
  ☆31Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆181Updated 8 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆42Updated 9 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
  ☆45Updated 6 years ago
• kudelskisecurity / cdf
  ☆170Updated 4 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
• kudelskisecurity / go-manger-attack
  This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP
  ☆31Updated 7 years ago
• UnderhandedCrypto / entries
  A browsable archive of all Underhanded Crypto Contest entries.
  ☆34Updated 5 years ago
• CryptoExperts / whibox_contest_submission_server
  Source code of the Whitebox Contest Submission Server
  ☆34Updated 9 months ago
• danpage / scale
  SCALE: Side-Channel Attack Lab. Exercises
  ☆43Updated last year
• cstanfill / sidh-writeup
  Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"
  ☆26Updated 8 years ago
• kudelskisecurity / sgxfun
  SGX command-line tools and paper
  ☆146Updated 8 years ago
• sancus-tee / tutorial-dsn18
  Building Distributed Enclave Applications with Sancus and SGX
  ☆13Updated 4 years ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• roachspray / opcde2017
  Slides and very basic examples
  ☆111Updated 8 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago
• yymax / x509test
  A Python3 software that validates a client's side SSL/TLS application's X509 verification process
  ☆141Updated 10 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 8 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆73Updated 2 months ago
• nonce-disrespect / nonce-disrespect
  Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS
  ☆118Updated 8 years ago
• isec-tugraz / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆220Updated 3 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• lsds / TaLoS
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆105Updated 3 years ago
• isec-tugraz / flush_flush
  This repository contains examples of Flush+Flush cache attacks
  ☆163Updated 3 years ago
• mjosaarinen / brutus
  BRUTUS is an alternative, fast testing framework for CAESAR ciphers.
  ☆22Updated 8 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆52Updated 5 years ago