HACS-workshop / spectre-mitigations

Related projects: ⓘ

• imdea-software / verifying-constant-time
  ☆34Updated 7 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆57Updated 7 years ago
• agl / postquantum
  ☆14Updated this week
• veorq / fca
  free crypto audit
  ☆31Updated 7 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆173Updated 7 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆42Updated 9 years ago
• GaloisInc / sat2015-crypto
  Slides and examples to accompany the September 25th invited talk at SAT 2015
  ☆14Updated 8 years ago
• kudelskisecurity / cryptochallenge18
  Kudelski Security's 2018 pre-Black Hat crypto challenge
  ☆36Updated 6 years ago
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 7 years ago
• guanzhi / CryptoWithSageMath
  ☆17Updated this week
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆27Updated 6 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
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 5 years ago
• kudelskisecurity / go-manger-attack
  This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP
  ☆31Updated 6 years ago
• ieee-security / ongoing-submission-plan
  Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P
  ☆15Updated 7 years ago
• CryptoExperts / whibox_contest_submission_server
  Source code of the Whitebox Contest Submission Server
  ☆35Updated last month
• kudelskisecurity / cdf
  ☆168Updated 3 years ago
• ctz / sgx-pwenclave
  Using SGX to harden password hashing
  ☆33Updated 8 years ago
• kudelskisecurity / sgxfun
  SGX command-line tools and paper
  ☆146Updated 8 years ago
• seecurity / mona-timing-lib
  Tools for timing attacks
  ☆18Updated 8 years ago
• wireshrink / RECONMTL-2017
  Recon materials
  ☆28Updated 6 years ago
• mjosaarinen / brutus
  BRUTUS is an alternative, fast testing framework for CAESAR ciphers.
  ☆21Updated 8 years ago
• mjosaarinen / hila5
  HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents
  ☆16Updated 6 years ago
• Pythia3431 / Delphinium
  ☆11Updated 3 years ago
• hannob / selftls
  Sample application to let OpenSSL talk to itself (for fuzzing)
  ☆33Updated 8 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆65Updated 3 months ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated 7 months ago
• roachspray / opcde2017
  Slides and very basic examples
  ☆111Updated 7 years ago
• nonce-disrespect / nonce-disrespect
  Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS
  ☆115Updated 7 years ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆12Updated this week