mit-plv / fiat-cryptoLinks
Cryptographic Primitive Code Generation by Fiat
☆791Updated 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☆324Updated this week
- Main source code repository of the Tamarin prover for security protocol verification.☆497Updated last month
- Please see https://github.com/hacspec/hax☆245Updated last year
- EasyCrypt: Computer-Aided Cryptographic Proofs☆379Updated this week
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- ☆196Updated this week
- Verified Assembly Language for Everest☆301Updated last year
- Automated generation of provably secure, zero-copy parsers from format specifications☆300Updated 3 weeks ago
- Cryptol: The Language of Cryptography☆1,194Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆488Updated this week
- The formally verified crypto library for Rust☆190Updated this week
- ☆204Updated 2 months ago
- Experiments with Universal Composability in EasyCrypt☆42Updated 2 weeks ago
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- Cryptographic Addition Chain Generation in Go☆195Updated last year
- 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
- The SAW scripting language.☆486Updated last week
- Crypto library☆67Updated last month
- eXtended Keccak Code Package☆633Updated 3 weeks ago
- Intuitive Advanced Cryptography☆436Updated 3 years ago
- The OPAQUE Asymmetric PAKE Protocol☆112Updated 11 months ago
- Verified implementation of TLS 1.3 in F*☆179Updated 10 months ago
- Crucible is a library for symbolic simulation of imperative programs☆751Updated this week
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 6 months ago
- Industry Working Group on Automated Cryptographic Algorithm Validation☆191Updated last month
- Cryptographic protocol analysis for real-world protocols.☆65Updated 3 weeks ago
- dude, is my code constant time?☆194Updated last year
- Checking that functions are constant time with Valgrind☆195Updated 8 years ago
- Community Cryptography Specification Project☆498Updated last week