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
- ☆14Updated last week
- ☆46Updated last week
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated 11 months ago
- ☆19Updated 6 years ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 9 months ago
- A foundational framework for modular cryptographic proofs in Coq☆63Updated 2 months ago
- Reference repository on Lattice-based Cryptography☆24Updated 5 months ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 6 months ago
- Crypto library☆56Updated 2 weeks ago
- CryptoBib BibTex files☆56Updated 2 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- ☆30Updated 11 months ago
- Formal Analysis of the PQXDH Protocol☆25Updated 9 months ago
- Super Amazing Universal Composability, Yeah!☆34Updated 2 years ago
- ☆13Updated 3 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆50Updated 2 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- Oblivious transfer library for rust☆11Updated 5 years ago
- An implementation of the LowMC block cipher family.☆26Updated 7 years ago
- Raccoon Signature Scheme -- Reference Code☆10Updated last year
- CryptoBib Database for Developers☆44Updated 2 months ago
- ☆18Updated 3 years ago
- Formally Verified SNARKs in Lean☆40Updated last week
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆41Updated last year
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆31Updated 7 months ago
- The instance generator of the Vision and Rescue block ciphers.☆16Updated 3 years ago