GiacomoPope / thesis-template
The Latex files used to create my PhD Thesis
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for thesis-template
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆122Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆25Updated 5 months ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆14Updated 4 months ago
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆34Updated this week
- ☆31Updated last year
- MIT 6.875☆13Updated 11 months ago
- Deployments of fancy cryptography☆125Updated 3 weeks ago
- Official SQIsign code, version under continuous development☆17Updated 7 months ago
- Formal Analysis of the PQXDH Protocol☆23Updated 5 months ago
- LaTeX package for typesetting pseudocode and cryptographic games☆156Updated 11 months ago
- Lattices in Cryptography (University of Michigan)☆69Updated last month
- Experiments with Universal Composability in EasyCrypt☆32Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆320Updated this week
- Please see https://github.com/hacspec/hax☆243Updated 9 months ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆48Updated 2 years ago
- Language for high-assurance and high-speed cryptography☆269Updated this week
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- Examples for EasyCrypt Lectures☆22Updated last month
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆78Updated 2 years ago
- CryptoBib BibTex files☆52Updated last month
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated last year
- Is SIKE broken yet?☆15Updated last year
- Crypto library☆52Updated last month
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆38Updated last year
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 8 months ago
- ☆18Updated 5 years ago
- ☆13Updated last year
- Official SQISignHD code, version under continuous development.☆10Updated last month
- Citerus retrieves your cryptographic citations.☆11Updated last month