mit-plv / fiat-crypto
Cryptographic Primitive Code Generation by Fiat
☆707Updated this week
Related projects: ⓘ
- EasyCrypt: Computer-Aided Cryptographic Proofs☆309Updated this week
- Language for high-assurance and high-speed cryptography☆250Updated this week
- Please see https://github.com/hacspec/hax☆243Updated 7 months ago
- Λ ⚬ λ: Functional Lattice Cryptography☆223Updated 3 years ago
- ☆113Updated this week
- A Rust library for lattice-based additive homomorphic encryption.☆405Updated 11 months ago
- The BLAKE3 paper: specifications, analysis, and design rationale☆163Updated 2 years ago
- Verified Assembly Language for Everest☆262Updated 6 months ago
- Main source code repository of the Tamarin prover for security protocol verification.☆409Updated last week
- eXtended Keccak Code Package☆583Updated 2 months ago
- Cryptol: The Language of Cryptography☆1,135Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆244Updated 2 weeks ago
- Verified implementation of TLS 1.3 in F*☆173Updated 3 months ago
- The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project☆126Updated 5 months ago
- AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on cod…☆350Updated this week
- Reference implementation of the Picnic post-quantum signature scheme☆156Updated last year
- MLS protocol☆233Updated last week
- SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…☆316Updated last year
- Cryptographic Addition Chain Generation in Go☆184Updated 2 months ago
- A Rust verification tool☆176Updated this week
- ☆193Updated this week
- Intuitive Advanced Cryptography☆427Updated 2 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆870Updated last week
- Industry Working Group on Automated Cryptographic Algorithm Validation☆157Updated last week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆394Updated this week
- Multilingual BLS12-381 signature library☆461Updated last week
- Deployments of fancy cryptography☆113Updated last month
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆401Updated 7 months ago
- Flexible and Constant Time Programming Language☆197Updated 2 years ago
- Clean, portable, tested implementations of post-quantum cryptography☆556Updated last week