GiacomoPope / thesis-template
The Latex files used to create my PhD Thesis
☆16Updated 2 years ago
Alternatives and similar repositories for thesis-template:
Users that are interested in thesis-template are comparing it to the libraries listed below
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆127Updated last year
- ☆36Updated 2 years ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 2 months ago
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆41Updated 2 weeks ago
- LaTeX package for typesetting pseudocode and cryptographic games☆163Updated last year
- MIT 6.875☆14Updated last year
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆80Updated 2 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆41Updated last year
- CryptoBib BibTex files☆56Updated 2 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 9 months ago
- Official SQIsign code, version under continuous development☆23Updated 3 weeks ago
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆167Updated last year
- Lattices in Cryptography (University of Michigan)☆82Updated 6 months ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Updated this week
- ☆14Updated last year
- A list of awesome number theory resources☆27Updated 2 years ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 10 months ago
- Crypto library☆57Updated 3 weeks ago
- Implementation of the signature scheme SQISign accompanying the paper "New algorithms for the Deuring correspondence - Towards practical …☆16Updated 10 months ago
- ☆14Updated 2 weeks ago
- ☆19Updated 6 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆343Updated last week
- Formal Analysis of the PQXDH Protocol☆25Updated 9 months ago
- ☆18Updated 2 months ago
- Representing DES in Z3☆15Updated last year
- Design and implementation of a threshold-cryptography library☆13Updated 2 months ago
- Fast lattice reduction☆192Updated this week
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆62Updated this week
- Teaching materials related to the Tamarin Prover☆70Updated 7 months ago