mit-plv / fiat-cryptoLinks
Cryptographic Primitive Code Generation by Fiat
☆789Updated 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☆321Updated last week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆378Updated this week
- Main source code repository of the Tamarin prover for security protocol verification.☆493Updated 3 weeks ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Please see https://github.com/hacspec/hax☆245Updated last year
- Verified Assembly Language for Everest☆299Updated last year
- Automated generation of provably secure, zero-copy parsers from format specifications☆299Updated last week
- ☆194Updated this week
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆487Updated 2 weeks ago
- 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
- Cryptol: The Language of Cryptography☆1,194Updated last week
- Flexible and Constant Time Programming Language☆203Updated 3 years ago
- ☆204Updated 2 months ago
- The formally verified crypto library for Rust☆188Updated this week
- eXtended Keccak Code Package☆631Updated last week
- The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project☆204Updated last year
- The BLAKE3 paper: specifications, analysis, and design rationale☆186Updated 3 years ago
- Verified implementation of TLS 1.3 in F*☆179Updated 10 months ago
- Experiments with Universal Composability in EasyCrypt☆42Updated last week
- A Rust verification tool☆355Updated this week
- Crypto library☆66Updated 3 weeks ago
- Reference implementation of the Picnic post-quantum signature scheme☆168Updated 2 years ago
- Cryptographic Addition Chain Generation in Go☆195Updated last year
- The SAW scripting language.☆485Updated this week
- A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.☆91Updated last month
- Crucible is a library for symbolic simulation of imperative programs☆751Updated last week
- The OPAQUE Asymmetric PAKE Protocol☆111Updated 11 months ago
- Checking that functions are constant time with Valgrind☆195Updated 8 years ago
- Community Cryptography Specification Project☆481Updated last week