EasyCrypt / easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
☆340Updated this week
Alternatives and similar repositories for easycrypt:
Users that are interested in easycrypt are comparing it to the libraries listed below
- Language for high-assurance and high-speed cryptography☆285Updated this week
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 3 years ago
- Crypto library☆56Updated this week
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated 10 months ago
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- Please see https://github.com/hacspec/hax☆242Updated last year
- Examples for EasyCrypt Lectures☆24Updated last month
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆41Updated last year
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆294Updated last month
- A central repository for specifications of cryptographic algorithms in Cryptol☆41Updated this week
- A foundational framework for modular cryptographic proofs in Coq☆62Updated last month
- Teaching materials related to the Tamarin Prover☆69Updated 7 months ago
- CryptoBib BibTex files☆56Updated 2 months ago
- Main source code repository of the Tamarin prover for security protocol verification.☆446Updated this week
- ☆46Updated this week
- ☆149Updated last week
- LaTeX package for typesetting pseudocode and cryptographic games☆160Updated last year
- Lattices in Cryptography (University of Michigan)☆80Updated 5 months ago
- Verified Assembly Language for Everest☆281Updated last year
- Cryptographic protocol analysis for real-world protocols.☆47Updated 6 months ago
- An attempt at a new LWE estimator☆249Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆39Updated 2 months ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆93Updated last year
- ☆35Updated 2 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 4 years ago
- Deployments of fancy cryptography☆134Updated 2 months ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆127Updated last year
- The General Sieve Kernel☆106Updated 2 months ago
- A work-in-progress language and compiler for verified low-level programming☆303Updated this week