seewoo5 / awesome-number-theoryLinks
A list of awesome number theory resources
☆29Updated 2 years ago
Alternatives and similar repositories for awesome-number-theory
Users that are interested in awesome-number-theory are comparing it to the libraries listed below
Sorting:
- ☆44Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆94Updated 10 months ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆134Updated 2 years ago
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆173Updated last year
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆20Updated 6 months ago
- Fast lattice reduction☆209Updated 4 months ago
- ☆33Updated 2 years ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated last year
- EasyCrypt: Computer-Aided Cryptographic Proofs☆359Updated this week
- ☆33Updated last year
- Lattice algorithms using floating-point arithmetic☆360Updated 3 months ago
- ☆14Updated last year
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆32Updated last month
- The General Sieve Kernel☆121Updated last month
- Revisiting Differential-Linear Attacks via a Boomerang Perspective☆10Updated last week
- Lattices and Their Algorithms, Leiden, Spring 2024☆19Updated 11 months ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆46Updated last year
- my ctf chals☆11Updated last month
- LaTeX package for typesetting pseudocode and cryptographic games☆178Updated last year
- A Python interface for https://github.com/fplll/fplll☆143Updated 2 months ago
- Representing DES in Z3☆15Updated 2 years ago
- ☆21Updated 5 months ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆67Updated this week
- MIT 6.875☆14Updated last year
- Language for high-assurance and high-speed cryptography☆302Updated last week
- Automated cryptanalysis of substitution permutation network cipher☆31Updated 11 months ago
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆24Updated 6 years ago
- (Still exploring) My cryptography journey: A collection of notebooks covering different algorithms and concepts from cryptography☆242Updated 2 years ago
- ☆89Updated 3 months ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆36Updated 8 months ago