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 …
☆18Jul 18, 2019Updated 7 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…☆16Dec 16, 2019Updated 6 years ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆15Nov 30, 2020Updated 5 years ago
- MILP-based Differential Attack on Round-Reduced GIFT☆19Dec 9, 2018Updated 7 years ago
- ☆17Nov 20, 2017Updated 8 years ago
- ☆11May 21, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers☆26Dec 13, 2016Updated 9 years ago
- ☆18Nov 29, 2018Updated 7 years ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆31Jul 13, 2017Updated 9 years ago
- Tool chains of EasyBC☆10Jun 18, 2024Updated 2 years ago
- Open Cryptanalysis Platform☆20Updated this week
- An implementation of Howard M. Heys's Linear and Differential Cryptanalysis Tutorial☆13May 26, 2013Updated 13 years ago
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆16Nov 19, 2020Updated 5 years ago
- ☆11Jan 24, 2019Updated 7 years ago
- ☆14Mar 3, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆108Sep 25, 2026Updated last month
- 基于Android系统的文件加解密☆16Jan 3, 2017Updated 9 years ago
- SKINNY tweakable block cipher☆22Jan 24, 2024Updated 2 years ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆43Nov 17, 2024Updated last year
- LIGHTER-R is a tool to optimally implement a given 4 × 4 SBox using logic gates from a reversible logic library☆15Oct 6, 2025Updated last year
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 4 years ago
- An easy-to-use, general and open-source tool to solve the guess-and-determine problem☆35Apr 13, 2026Updated 6 months ago
- Haraka is a secure and efficient short-input hash function.☆60Sep 26, 2017Updated 9 years ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆80Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Program for finding low gate count implementations of S-boxes.☆41Oct 22, 2024Updated 2 years ago
- CDCL(Crypto) SAT solver for cryptanalysis problems☆12Mar 5, 2021Updated 5 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆39Feb 22, 2023Updated 3 years ago
- Simple attacks on AES-ECB☆22Dec 18, 2020Updated 5 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆33May 7, 2023Updated 3 years ago
- Cracking 2DES using a meet-in-the-middle attack implemented in python 3.☆15Sep 27, 2015Updated 11 years ago
- An Internet-Draft for the Balloon Key Derivation Function (BKDF), a memory-hard password hashing and password-based key derivation functi…☆11Jun 29, 2025Updated last year
- Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"☆10Jul 4, 2022Updated 4 years ago
- A new neural distinguisher considering features derived from multiple ciphertext pairs☆12Nov 30, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Aug 9, 2016Updated 10 years ago
- SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions☆41Dec 8, 2022Updated 3 years ago
- Repository code to support paper TCHES2020 paper "Remove Some Noise: On Pre-processing of Side-channel Measurements with Autoencoders"☆14Jun 4, 2022Updated 4 years ago
- This is a GIT syncronization of https://wiki.newae.com☆10Feb 21, 2018Updated 8 years ago
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆25Jan 20, 2019Updated 7 years ago
- Some demo for template side channel attacks☆13Dec 18, 2020Updated 5 years ago
- Static file analysis for PE files☆13Dec 4, 2020Updated 5 years ago