cpeikert / TheoryOfCryptography
Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
☆155Updated 9 months ago
Related projects: ⓘ
- Lattices in Cryptography (University of Michigan)☆62Updated 7 months ago
- An attempt at a new LWE estimator☆212Updated last week
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆118Updated last year
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆37Updated last year
- CryptoBib BibTex files☆50Updated last week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆309Updated this week
- MIT 6.875☆12Updated 9 months ago
- The General Sieve Kernel☆102Updated last month
- Λ ⚬ λ: Functional Lattice Cryptography☆223Updated 3 years ago
- LaTeX package for typesetting pseudocode and cryptographic games☆151Updated 9 months ago
- Experiments with Universal Composability in EasyCrypt☆30Updated this week
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆33Updated this week
- Language for high-assurance and high-speed cryptography☆250Updated this week
- ☆10Updated 4 years ago
- A pure python implementation of ML-DSA (FIPS 204) and CRYSTALS-Dilithium☆58Updated last month
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆47Updated 2 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆78Updated 2 years ago
- ☆17Updated 4 months ago
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆73Updated last year
- ☆31Updated last year
- A C++ implementation of the DUPLO cryptographic protocol☆21Updated 7 years ago
- The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-…☆72Updated last year
- Security Estimation Scripts for Kyber and Dilithium☆22Updated 3 years ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆48Updated this week
- Batch Dual Execution framework for secure multiparty computation☆13Updated 7 years ago
- Lattice algorithms using floating-point arithmetic☆314Updated 3 months ago
- ☆39Updated 5 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆33Updated 4 years ago
- A pure python implementation of ML-KEM (FIPS 203) and CRYSTALS-Kyber☆183Updated last month
- ☆23Updated last year