learn the Mixed-Integer Linear Programming (MILP) and its application in the optimization of the modeling systemic cipher.
use the gurobi library to solve the MILP problem.
- Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming - 2012
- Automatic security evaluation and (related-key) differential characteristic search: application to SIMON, PRESENT, LBlock, DES (L) and other bit-oriented block ciphers - 2013
- MILP modeling for (large) s-boxes to optimize probability of differential characteristics - 2017
- Efficient MILP modelings for sboxes and linear layers of SPN ciphers - 2020