mit-plv / fiat-cryptoLinks
Cryptographic Primitive Code Generation by Fiat
☆803Updated this 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☆327Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆381Updated last week
- Please see https://github.com/hacspec/hax☆245Updated last year
- Main source code repository of the Tamarin prover for security protocol verification.☆503Updated this week
- A Rust library for lattice-based additive homomorphic encryption.☆419Updated 2 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- ☆201Updated this week
- Verified Assembly Language for Everest☆302Updated last year
- Automated generation of provably secure, zero-copy parsers from format specifications☆303Updated this week
- The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project☆210Updated last year
- The formally verified crypto library for Rust☆199Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆490Updated 3 weeks ago
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- The BLAKE3 paper: specifications, analysis, and design rationale☆187Updated 3 years ago
- ☆205Updated 3 months ago
- Cryptol: The Language of Cryptography☆1,196Updated this week
- SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…☆326Updated 2 years ago
- Crypto library☆67Updated last month
- A Rust verification tool☆365Updated this week
- Experimental implementation of KEMTLS in Rustls☆34Updated 2 months ago
- Experiments with Universal Composability in EasyCrypt☆43Updated this week
- Verified implementation of TLS 1.3 in F*☆179Updated 11 months ago
- Cryptographic protocol analysis for real-world protocols.☆67Updated last month
- Cryptographic Addition Chain Generation in Go☆195Updated last year
- Industry Working Group on Automated Cryptographic Algorithm Validation☆194Updated last month
- The OPAQUE Asymmetric PAKE Protocol☆112Updated last year
- eXtended Keccak Code Package☆635Updated last month
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 7 months ago
- MIRACL Core☆237Updated 2 weeks ago
- Checking that functions are constant time with Valgrind☆197Updated 8 years ago