mit-plv / fiat-cryptoLinks
Cryptographic Primitive Code Generation by Fiat
☆776Updated last week
Alternatives and similar repositories for fiat-crypto
Users that are interested in fiat-crypto are comparing it to the libraries listed below
Sorting:
- Language for high-assurance and high-speed cryptography☆308Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆366Updated this week
- Please see https://github.com/hacspec/hax☆245Updated last year
- Main source code repository of the Tamarin prover for security protocol verification.☆476Updated this week
- ☆180Updated this week
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆417Updated last year
- Verified Assembly Language for Everest☆295Updated last year
- SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…☆325Updated 2 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆288Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆475Updated 2 weeks ago
- The BLAKE3 paper: specifications, analysis, and design rationale☆180Updated 3 years ago
- Reference implementation of the Picnic post-quantum signature scheme☆165Updated 2 years ago
- The OPAQUE Asymmetric PAKE Protocol☆110Updated 7 months ago
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- Crypto library☆66Updated last week
- Verified implementation of TLS 1.3 in F*☆177Updated 7 months ago
- ☆200Updated this week
- The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project☆187Updated last year
- Cryptographic Addition Chain Generation in Go☆192Updated last year
- FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservati…☆148Updated 9 months ago
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.☆86Updated 2 months ago
- FourQlib is an efficient and portable cryptographic library that provides functions for computing elliptic curve based operations on the …☆90Updated 3 years ago
- A Rust verification tool☆292Updated this week
- Exploration of NIST post-quantum signatures on-ramp candidates☆36Updated 3 months ago
- Cryptographic protocol analysis for real-world protocols.☆57Updated last year
- MLS protocol☆240Updated last year
- Experiments with Universal Composability in EasyCrypt☆39Updated this week
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆89Updated 6 years ago