friends-of-quaternions / deuring
☆14Updated last year
Alternatives and similar repositories for deuring:
Users that are interested in deuring are comparing it to the libraries listed below
- ☆34Updated 2 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆126Updated last year
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆31Updated 6 months ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆93Updated last year
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 5 months ago
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆15Updated 4 years ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆18Updated last month
- Automated cryptanalysis of substitution permutation network cipher☆28Updated 6 months ago
- A BibTeX collection on Isogeny-based Cryptography☆18Updated 2 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆10Updated 7 years ago
- The General Sieve Kernel☆106Updated 2 months ago
- Examples for EasyCrypt Lectures☆24Updated 3 weeks ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 5 years ago
- ☆66Updated 4 years ago
- Experiments with Universal Composability in EasyCrypt☆33Updated last week
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆40Updated this week
- ☆46Updated this week
- Solving BDD and uSVP with predicate☆45Updated 7 months ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 7 years ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 9 months ago
- Representing DES in Z3☆15Updated last year
- ☆18Updated 6 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated last year
- An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges☆28Updated 3 months ago
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆24Updated 6 years ago
- SageMath/Python Toolkit for Cryptanalytic Research☆39Updated 2 years ago
- ☆32Updated last year
- ☆13Updated 3 years ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆29Updated 3 months ago