LiuGuozhen0 / MILP-tool-for-cryptanalysis-of-block-ciphersLinks
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 …
☆17Updated 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
Sorting:
- Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…☆16Updated 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☆22Updated 8 years ago
- ☆17Updated 6 years ago
- ☆17Updated 7 years ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆14Updated 4 years ago
- Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.☆9Updated 7 years ago
- ☆10Updated 4 years ago
- ☆10Updated 6 years ago
- ☆11Updated 5 years ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆35Updated 6 months ago
- ☆10Updated 5 years ago
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆17Updated 4 years ago
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆24Updated 6 years ago
- Tools for studying S-boxes☆37Updated 2 weeks ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 7 years ago
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆14Updated 4 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆30Updated 2 years ago
- An open source project for study S-boxes☆40Updated 2 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆96Updated last year
- Bitsliced Implementations of Block Ciphers on AVR 8-bit Microcontrollers☆14Updated 8 years ago
- SLPs for the ToSC Volume 2017 Issue 4 paper 'Shorter Linear Straight-Line Programs for MDS Matrices'☆19Updated 3 years ago
- A new heuristic to optimize implementations of linear matrices☆18Updated 2 years ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆65Updated this week
- An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges☆28Updated 2 months ago
- Saber and NTRU on M4 and AVX2☆17Updated 3 years ago
- Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"☆76Updated 5 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆46Updated last year
- Masked implementations of PQ schemes for the Cortex-M4.☆9Updated 4 months ago