alleystoughton / EasyTeach
Examples for EasyCrypt Lectures
☆24Updated last month
Alternatives and similar repositories for EasyTeach:
Users that are interested in EasyTeach are comparing it to the libraries listed below
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- ☆46Updated this week
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated 10 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 9 months ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- Crypto library☆56Updated this week
- Super Amazing Universal Composability, Yeah!☆34Updated 2 years ago
- A foundational framework for modular cryptographic proofs in Coq☆62Updated last month
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 4 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- A central repository for specifications of cryptographic algorithms in Cryptol☆41Updated this week
- ☆30Updated 11 months ago
- ☆13Updated 3 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆41Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆60Updated 8 months ago
- ☆35Updated 7 years ago
- Formal Analysis of the PQXDH Protocol☆25Updated 9 months ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 6 months ago
- SageMath library for constructing elliptic curves☆68Updated last year
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆31Updated 7 months ago
- Formalized Cryptography Proofs in Lean 4☆22Updated this week
- ☆19Updated 6 years ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆50Updated 2 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆340Updated this week
- ☆14Updated last year
- Tamarin prover manual: source files☆25Updated this week
- Oblivious transfer library for rust☆11Updated 5 years ago