HACS-workshop / spectre-mitigationsLinks
☆15Updated 7 years ago
Alternatives and similar repositories for spectre-mitigations
Users that are interested in spectre-mitigations are comparing it to the libraries listed below
Sorting:
- Checking that functions are constant time with Valgrind☆189Updated 8 years ago
- ☆170Updated 4 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- ☆35Updated 8 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆119Updated 8 years ago
- Timing Attack on TLS' ECDSA signature☆45Updated 9 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 7 years ago
- free crypto audit☆31Updated 8 years ago
- SIDH C reference implementation☆13Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- Implementation of cryptographic primitives in Go☆13Updated 2 years ago
- ☆28Updated 3 years ago
- An RFC5297-compliant C implementation of AES-SIV☆20Updated 4 years ago
- Code to fuzz bignum libraries☆46Updated 6 years ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 6 years ago
- SGX command-line tools and paper☆147Updated 9 years ago
- This is a Tamarin model of TLS 1.3☆40Updated 2 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆97Updated last year
- OpenSGX☆303Updated 5 years ago
- dude, is my code constant time?☆186Updated last year
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆16Updated 8 years ago
- ☆82Updated 5 years ago
- CryptoBib Main Repository for Developers☆19Updated last year
- Source code of the Whitebox Contest Submission Server☆34Updated last year
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 8 years ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆108Updated 3 years ago
- This is a toy implementation of the dudect ideas in Go. All credit goes to Oscar Reparaz, Josep Balasch and Ingrid Verbauwhede for dudect…☆18Updated 8 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆77Updated last month
- Tool to automatically search for linear characteristics☆39Updated 9 years ago
- Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P☆15Updated 8 years ago