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☆196Updated 8 years ago
- ☆170Updated 4 years ago
- SIDH C reference implementation☆13Updated 9 years ago
- ☆38Updated 8 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 9 years ago
- Implementation of cryptographic primitives in Go☆13Updated 2 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆119Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- free crypto audit☆31Updated 8 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 7 years ago
- Timing Attack on TLS' ECDSA signature☆46Updated 10 years ago
- An RFC5297-compliant C implementation of AES-SIV☆20Updated 5 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
- This is a toy implementation of the dudect ideas in Go. All credit goes to Oscar Reparaz, Josep Balasch and Ingrid Verbauwhede for dudect…☆19Updated 8 years ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆36Updated last year
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆109Updated 4 years ago
- ☆28Updated 4 years ago
- CryptoBib Database for Developers☆46Updated last week
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆17Updated 9 years ago
- CryptoBib Main Repository for Developers☆22Updated last year
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆24Updated 9 years ago
- Reference implementations of the GIMLI permutation☆15Updated 8 years ago
- This is a Tamarin model of TLS 1.3☆41Updated 2 years ago
- Tool to automatically search for linear characteristics☆39Updated 10 years ago
- Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P☆15Updated 8 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆103Updated 2 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆11Updated 4 years ago
- ☆100Updated 9 years ago
- Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …☆44Updated 2 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆80Updated 2 months ago