LiuGuozhen0 / MILP-tool-for-cryptanalysis-of-block-ciphers
This tool is able to construct the MILP model for some bit-oriented block ciphers. once you describe the block-cipher on it, you can do differential and linear cryptanalysis on it. It is also suitable to find impossible input and output, which helps you in impossible differential attack, and zero-correlation attack. The MILP models are based on …
☆16Updated 5 years ago
Alternatives and similar repositories for MILP-tool-for-cryptanalysis-of-block-ciphers:
Users that are interested in MILP-tool-for-cryptanalysis-of-block-ciphers are comparing it to the libraries listed below
- Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…☆15Updated 5 years ago
- MILP-based Differential Attack on Round-Reduced GIFT☆19Updated 6 years ago
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers☆21Updated 8 years ago
- ☆17Updated 6 years ago
- ☆17Updated 7 years ago
- ☆9Updated 5 years ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆14Updated 4 years ago
- ☆10Updated 3 years ago
- ☆11Updated 4 years ago
- Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.☆7Updated 6 years ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆28Updated 2 months ago
- ☆10Updated 4 years ago
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆15Updated 4 years ago
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆24Updated 5 years ago
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆13Updated 4 years ago
- Tools for studying S-boxes☆33Updated 3 weeks ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆29Updated last year
- A new heuristic to optimize implementations of linear matrices☆13Updated 2 years ago
- Bitsliced Implementations of Block Ciphers on AVR 8-bit Microcontrollers☆14Updated 8 years ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆26Updated 7 years ago
- SLPs for the ToSC Volume 2017 Issue 4 paper 'Shorter Linear Straight-Line Programs for MDS Matrices'☆17Updated 3 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆91Updated last year
- An open source project for study S-boxes☆38Updated 2 years ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆50Updated this week
- Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"☆67Updated 5 years ago
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆31Updated 3 years ago
- An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges☆28Updated 2 months ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆29Updated 5 months ago
- Cryptanalysis code for the SIMON and SPECK families of block ciphers☆20Updated 8 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆41Updated last year