cpeikert / TheoryOfCryptography
Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
☆169Updated last year
Alternatives and similar repositories for TheoryOfCryptography
Users that are interested in TheoryOfCryptography are comparing it to the libraries listed below
Sorting:
- Lattices in Cryptography (University of Michigan)☆84Updated 7 months ago
- An attempt at a new LWE estimator☆266Updated last month
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆44Updated last year
- MIT 6.875☆14Updated last year
- Experiments with Universal Composability in EasyCrypt☆34Updated 3 weeks ago
- CryptoBib BibTex files☆56Updated last week
- LaTeX package for typesetting pseudocode and cryptographic games☆172Updated last year
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆44Updated last week
- The General Sieve Kernel☆117Updated this week
- ☆39Updated 2 years ago
- ☆10Updated 5 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆129Updated 2 years ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 4 months ago
- ☆19Updated 3 months ago
- ☆42Updated 5 months ago
- An implementation of the LowMC block cipher family.☆27Updated 7 years ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆50Updated 2 years ago
- ☆19Updated 6 years ago
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆78Updated 2 years ago
- A pure python implementation of ML-DSA (FIPS 204) and CRYSTALS-Dilithium☆94Updated last month
- The fully homomorhic encryption scheme based on NTRU and LWE.☆41Updated 7 months ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆75Updated 11 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆348Updated this week
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆27Updated 4 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- SageMath library for constructing elliptic curves☆69Updated last year
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆86Updated last year
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆63Updated last week
- Efficient and Interactive Zero-Knowledge Proofs☆91Updated last year