formosa-crypto / libjade
Crypto library
☆58Updated last week
Alternatives and similar repositories for libjade:
Users that are interested in libjade are comparing it to the libraries listed below
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆31Updated last month
- Formal Analysis of the PQXDH Protocol☆25Updated 10 months ago
- Language for high-assurance and high-speed cryptography☆290Updated last week
- MAYO C implementation☆16Updated 2 weeks ago
- ☆15Updated 2 weeks ago
- CryptoBib Database for Developers☆44Updated 2 weeks ago
- ☆47Updated last week
- Experiments with Universal Composability in EasyCrypt☆33Updated last week
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 10 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆60Updated 9 months ago
- ☆30Updated last year
- Script generated finite field arithmetic for elliptic curve cryptography☆18Updated last week
- A BibTeX collection on Isogeny-based Cryptography☆17Updated 2 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆81Updated 3 years ago
- ☆28Updated 3 years ago
- ☆13Updated 2 weeks ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- ☆13Updated last week
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 6 months ago
- Reference repository on Lattice-based Cryptography☆24Updated 5 months ago
- Banquet implementation☆13Updated 2 years ago
- Experimental implementation of KEMTLS in Rustls☆30Updated last year
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆50Updated 2 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆43Updated last year
- Lean cryptographic library usable for bare-metal environments☆42Updated last week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆345Updated last week
- Official SQIsign code, version under continuous development☆23Updated 2 weeks ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆54Updated this week