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 …
☆15Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for MILP-tool-for-cryptanalysis-of-block-ciphers
- MILP-based Differential Attack on Round-Reduced GIFT☆19Updated 5 years ago
- Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…☆15Updated 4 years ago
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers☆21Updated 7 years ago
- ☆17Updated 7 years ago
- ☆16Updated 5 years ago
- ☆10Updated 3 years ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆14Updated 3 years ago
- ☆9Updated 5 years ago
- Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.☆7Updated 6 years ago
- ☆10Updated 4 years ago
- ☆10Updated 4 years ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆28Updated last week
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆24Updated 5 years ago
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆14Updated 4 years ago
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆13Updated 4 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆29Updated last year
- Bitsliced Implementations of Block Ciphers on AVR 8-bit Microcontrollers☆14Updated 8 years ago
- Tools for studying S-boxes☆33Updated last month
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆88Updated last year
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆26Updated 7 years ago
- An open source project for study S-boxes☆38Updated 2 years ago
- A new heuristic to optimize implementations of linear matrices☆13Updated last year
- Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"☆64Updated 5 years ago
- SLPs for the ToSC Volume 2017 Issue 4 paper 'Shorter Linear Straight-Line Programs for MDS Matrices'☆16Updated 3 years ago
- An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges☆27Updated 2 weeks ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆49Updated this week
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆31Updated 2 years ago
- Cryptanalysis code for the SIMON and SPECK families of block ciphers☆20Updated 8 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆34Updated last year
- Tool to automatically search for linear characteristics☆39Updated 8 years ago