https://github.com/jiahaoxiang2000/milp

learn the Mixed-Integer Linear Programming (MILP) and its application in the optimization of the modeling systemic cipher.
https://github.com/jiahaoxiang2000/milp

cryptanalysis cryptography milp

Last synced: 29 days ago
JSON representation

learn the Mixed-Integer Linear Programming (MILP) and its application in the optimization of the modeling systemic cipher.

• Host: GitHub
• URL: https://github.com/jiahaoxiang2000/milp
• Owner: jiahaoxiang2000
• Created: 2024-06-19T03:05:26.000Z (6 months ago)
• Default Branch: main
• Last Pushed: 2024-07-11T01:36:24.000Z (6 months ago)
• Last Synced: 2024-07-11T03:31:47.337Z (6 months ago)
• Topics: cryptanalysis, cryptography, milp
• Language: Jupyter Notebook
• Homepage:
• Size: 525 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

README

        
# Goal

learn the Mixed-Integer Linear Programming (MILP) and its application in the optimization of the modeling systemic cipher.

## tools

use the [gurobi](https://www.gurobi.com/) library to solve the MILP problem.

## reference

- [Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming - 2012](https://lirias.kuleuven.be/retrieve/333686)

- [Automatic security evaluation and (related-key) differential characteristic search: application to SIMON, PRESENT, LBlock, DES (L) and other bit-oriented block ciphers - 2013](https://eprint.iacr.org/2013/676.pdf)

- [MILP modeling for (large) s-boxes to optimize probability of differential characteristics - 2017](https://tosc.iacr.org/index.php/ToSC/article/download/805/759)

- [Efficient MILP modelings for sboxes and linear layers of SPN ciphers - 2020](https://inria.hal.science/hal-03046211/document)