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☆311Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆367Updated this week
- Please see https://github.com/hacspec/hax☆244Updated last year
- Main source code repository of the Tamarin prover for security protocol verification.☆477Updated this week
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- Verified Assembly Language for Everest☆295Updated last year
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- ☆185Updated last week
- Automated generation of provably secure, zero-copy parsers from format specifications☆289Updated last week
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- The BLAKE3 paper: specifications, analysis, and design rationale☆180Updated 3 years ago
- The formally verified crypto library for Rust☆169Updated this week
- ☆202Updated last week
- 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
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- Reference implementation of the Picnic post-quantum signature scheme☆165Updated 2 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆478Updated last week
- eXtended Keccak Code Package☆624Updated last week
- Experiments with Universal Composability in EasyCrypt☆39Updated this week
- Cryptographic Addition Chain Generation in Go☆192Updated last year
- The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project☆188Updated last year
- The OPAQUE Asymmetric PAKE Protocol☆110Updated 8 months ago
- Verified implementation of TLS 1.3 in F*☆177Updated 8 months ago
- OCaml DSL for verifiable computation☆502Updated 3 weeks ago
- MLS protocol☆240Updated last year
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 4 months ago
- The SAW scripting language.☆478Updated this week
- INACTIVE - A C library implementing a basic version of the Prio system for private aggregation. https://crypto.stanford.edu/prio/☆79Updated 4 years ago
- Checking that functions are constant time with Valgrind☆191Updated 8 years ago
- FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservati…☆149Updated 2 weeks ago