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
- SIDH C reference implementation☆13Updated 8 years ago
- Reference implementations (software)☆85Updated 8 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 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
- Simple application for playing with elliptic curves☆44Updated 2 years ago
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆16Updated 8 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- Links to stuff arising from or related to the HACS workshop.☆34Updated 7 years ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Updated 7 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆28Updated 5 years ago
- Using SGX to harden password hashing☆34Updated 9 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆60Updated 8 years ago
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆33Updated 9 years ago
- AVX2 Chacha implementation☆16Updated 11 years ago
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Updated 8 years ago
- Code to fuzz bignum libraries☆45Updated 6 years ago
- Tools for attacking cryptographic implementations.☆21Updated 8 years ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 5 years ago
- ☆17Updated 10 years ago
- Work-in-progress Dissent port/rewrite for low-latency anonymous communication☆11Updated 6 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 9 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- free crypto audit☆31Updated 8 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 8 years ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Updated 8 years ago