mit-plv / fiat-cryptoLinks
Cryptographic Primitive Code Generation by Fiat
☆770Updated 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☆302Updated last week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆359Updated this week
- Main source code repository of the Tamarin prover for security protocol verification.☆468Updated last month
- Please see https://github.com/hacspec/hax☆244Updated last year
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Verified Assembly Language for Everest☆294Updated last year
- A Rust library for lattice-based additive homomorphic encryption.☆417Updated last year
- ☆176Updated this week
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆281Updated 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
- Cryptol: The Language of Cryptography☆1,174Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆471Updated last week
- ☆200Updated this week
- Cryptographic Addition Chain Generation in Go☆191Updated last year
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated last month
- Reference implementation of the Picnic post-quantum signature scheme☆165Updated 2 years ago
- The BLAKE3 paper: specifications, analysis, and design rationale☆180Updated 3 years ago
- The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project☆177Updated last year
- OCaml DSL for verifiable computation☆503Updated last month
- The formally verified crypto library for Rust☆152Updated this week
- Verified implementation of TLS 1.3 in F*☆177Updated 5 months ago
- The Fortanix Rust Enclave Development Platform☆461Updated this week
- The SAW scripting language.☆475Updated this week
- Crypto library☆60Updated 3 weeks ago
- The OPAQUE Asymmetric PAKE Protocol☆108Updated 6 months ago
- Experiments with Universal Composability in EasyCrypt☆37Updated 2 weeks ago
- Multilingual BLS12-381 signature library☆528Updated 2 months ago
- eXtended Keccak Code Package☆620Updated 2 months ago
- Cryptographic protocol analysis for real-world protocols.☆54Updated 11 months ago