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☆194Updated 8 years ago
- ☆170Updated 4 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- ☆38Updated 8 years ago
- free crypto audit☆31Updated 8 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆120Updated 8 years ago
- Timing Attack on TLS' ECDSA signature☆46Updated 10 years ago
- Source code of the Whitebox Contest Submission Server☆34Updated last year
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆109Updated 3 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
- SIDH C reference implementation☆13Updated 8 years ago
- Tool to automatically search for linear characteristics☆39Updated 9 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 7 years ago
- Implementation of cryptographic primitives in Go☆13Updated 2 years ago
- dude, is my code constant time?☆191Updated last year
- OpenSGX☆305Updated 5 years ago
- AES-GCM-SIV implementations (128 and 256 bit)☆116Updated 6 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆11Updated 4 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆99Updated 2 years ago
- Spectre attack against SGX enclave☆238Updated 7 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆79Updated 2 weeks ago
- SGX command-line tools and paper☆147Updated 9 years ago
- A browsable archive of all Underhanded Crypto Contest entries.☆35Updated 6 years ago
- ☆100Updated 9 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆23Updated 9 years ago
- Differential Address Trace Analysis☆60Updated last year
- ☆82Updated 5 years ago
- Code to fuzz bignum libraries☆46Updated 7 years ago