GaloisInc / hacrypto
Experiments in high-assurance crypto.
☆47Updated 2 years ago
Alternatives and similar repositories for hacrypto:
Users that are interested in hacrypto are comparing it to the libraries listed below
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 6 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …☆44Updated last year
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- A browsable archive of all Underhanded Crypto Contest entries.☆34Updated 5 years ago
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆15Updated 8 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Updated 8 years ago
- HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents☆16Updated 6 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 8 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- Simple application for playing with elliptic curves☆44Updated 2 years ago
- Links to stuff arising from or related to the HACS workshop.☆35Updated 7 years ago
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆33Updated 9 years ago
- Reference implementations (software)☆85Updated 8 years ago
- Mirror of all PDFs from the IACR's eprint☆46Updated last year
- Tools for power measurements of post-quantum cryptographic algorithms☆26Updated 5 years ago
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Updated 3 years ago
- free crypto audit☆31Updated 7 years ago
- AVX2 Chacha implementation☆16Updated 11 years ago
- Self-contained educational implementation of the BLISS-B Bimodal Lattice Signature Scheme☆14Updated 9 years ago
- Using SGX to harden password hashing☆34Updated 9 years ago
- Code to fuzz bignum libraries