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
- ☆38Updated 8 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 9 years ago
- SIDH C reference implementation☆13Updated 9 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆119Updated 8 years ago
- ☆170Updated 4 years ago
- Implementation of cryptographic primitives in Go☆13Updated 2 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
- An RFC5297-compliant C implementation of AES-SIV☆20Updated 5 years ago
- Code to fuzz bignum libraries☆46Updated 7 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 6 years ago
- This is a Tamarin model of TLS 1.3☆41Updated 2 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 7 years ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 8 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆103Updated 2 years ago
- Timing Attack on TLS' ECDSA signature☆46Updated 10 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆11Updated 4 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
- free crypto audit☆31Updated 8 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
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Updated 4 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆25Updated 9 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 10 years ago
- Tool to automatically search for linear characteristics☆39Updated 10 years ago
- ☆28Updated 4 years ago
- CryptoBib Database for Developers☆45Updated 2 weeks ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆109Updated 4 years ago
- AES-GCM-SIV implementations (128 and 256 bit)☆118Updated 6 years ago
- Reference implementations of the GIMLI permutation☆15Updated 8 years ago