formosa-crypto / libjadeLinks
Crypto library
☆60Updated this week
Alternatives and similar repositories for libjade
Users that are interested in libjade are comparing it to the libraries listed below
Sorting:
- ☆14Updated last week
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- MAYO C implementation☆16Updated 2 months ago
- Language for high-assurance and high-speed cryptography☆293Updated this week
- Exploration of NIST post-quantum signatures on-ramp candidates☆31Updated 3 months ago
- Formal Analysis of the PQXDH Protocol☆25Updated 11 months ago
- ☆49Updated this week
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 11 months ago
- ☆28Updated 3 years ago
- Experimental implementation of KEMTLS in Rustls☆30Updated last year
- Script generated finite field arithmetic for elliptic curve cryptography☆20Updated 2 weeks ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆44Updated last year
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 7 months ago
- Reference repository on Lattice-based Cryptography☆24Updated 7 months ago
- Lean cryptographic library usable for bare-metal environments☆50Updated last week
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆60Updated 11 months ago
- ☆30Updated last year
- Experiments with Universal Composability in EasyCrypt☆34Updated last week
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆82Updated 3 years ago
- Cryptographic protocol analysis for real-world protocols.☆53Updated 8 months ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 8 months ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- Banquet implementation☆13Updated 3 years ago
- Examples for EasyCrypt Lectures☆24Updated 3 months ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆59Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆350Updated this week
- Teaching materials related to the Tamarin Prover☆70Updated 9 months ago
- CryptoBib Database for Developers☆44Updated last week
- ☆13Updated last month
- Official SQIsign code, version under continuous development☆25Updated last month