mit-plv / fiat-cryptoLinks
Cryptographic Primitive Code Generation by Fiat
☆768Updated 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☆297Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆356Updated this week
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Please see https://github.com/hacspec/hax☆243Updated last year
- ☆171Updated this week
- Main source code repository of the Tamarin prover for security protocol verification.☆463Updated 2 weeks ago
- A Rust library for lattice-based additive homomorphic encryption.☆417Updated last year
- SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…☆324Updated 2 years ago
- Verified Assembly Language for Everest☆292Updated last year
- Cryptol: The Language of Cryptography☆1,168Updated last week
- Cryptographic Addition Chain Generation in Go☆191Updated last year
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆458Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆279Updated this week
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- The formally verified crypto library for Rust☆142Updated this week
- ☆198Updated this week
- The BLAKE3 paper: specifications, analysis, and design rationale☆180Updated 3 years ago
- Reference implementation of the Picnic post-quantum signature scheme☆164Updated 2 years ago
- Verified implementation of TLS 1.3 in F*☆177Updated 5 months ago
- The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project☆175Updated last year
- eXtended Keccak Code Package☆614Updated last month
- Experimental implementation of KEMTLS in Rustls☆31Updated last year
- OCaml DSL for verifiable computation☆501Updated last week
- Intuitive Advanced Cryptography☆438Updated 2 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated last month
- The SAW scripting language.☆474Updated this week
- Experiments with Universal Composability in EasyCrypt☆36Updated this week
- Industry Working Group on Automated Cryptographic Algorithm Validation☆188Updated last week
- A list of the state of IETF protocols and PQC☆64Updated 3 weeks ago
- Crucible is a library for symbolic simulation of imperative programs☆729Updated this week