GaloisInc / hacryptoLinks
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
Sorting:
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents☆16Updated 7 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
- Mirror of all PDFs from the IACR's eprint☆47Updated last year
- Using SGX to harden password hashing☆34Updated 9 years ago
- AVX2 Chacha implementation☆16Updated 11 years ago
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Updated 9 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- Simple application for playing with elliptic curves☆44Updated 2 years ago
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆33Updated 9 years ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Updated 7 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- SIDH C reference implementation☆13Updated 8 years ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Updated 8 years ago
- Reference implementations (software)☆85Updated 8 years ago
- Symmetric somewhat homomorphic encryption library based on DGHV☆27Updated 7 years ago
- A browsable archive of all Underhanded Crypto Contest entries.☆35Updated 6 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 8 years ago
- BAT KEM/Signature Reference Implementation☆22Updated 3 years ago
- Work-in-progress Dissent port/rewrite for low-latency anonymous communication☆11Updated 6 years ago
- NIST Lightweight Cryptography Primitives☆55Updated 3 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- free crypto audit☆31Updated 8 years ago
- An implementation of the OPAQUE password-authenticated key exchange protocol☆10Updated last month
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆16Updated 8 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
- Implementation of cryptographic program obfuscation☆42Updated 7 years ago