fukai6 / milp_speck

milp_speck

The speck_diff_find and speck_line_find are python framework for automatic differential and linear cryptanalysis which are developed based on the method presented in the paper "MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck"

The step to generate the LP model:

1. Open the speck_diff_find.py or speck_line_find.py with IDLE(we run the code on Windows and the python version is 3.2.5)

2. Enter F5 to run

3. Input "bar = speck(blocksize); bar.genModel(round)" to get the LP model

4. Use gurobi optimizer to solve the LP model

5. Use get_route_from_sol.sh or get_route_from_sol_1.sh to get the differential path

The example

We input “bar = speck(32); bar.genModel(3)” to get the 3 round speck32’s LP model.

The step to use gurobi to solve the LP model

1. run gurobi

2. Input "m=read("XXX.lp")" to read model

3. Input "m.optimize()" to solve

4. Input "m.write("XXX.sol")" to save the result

References:

Kai fu, Meiqin Wang, Yinghua Guo, Siwei Sun, Lei Hu : MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck

milp_speck's Issues

How to use special differentials

Hello Mr. Kai Fu
How i can give all 32 bit differential to program and get your result for impossible differential? how i can give special differential and get the result for differential analysis?
thanks for your help

Bad magic number error

While running the program speck_diff_find.py, I am getting the following error:
"ImportError: bad magic number in 'MILPSbox': b'l\x0c\r\n'".

The version of Python used to compile MILPSbox.pyc file may be different from mine. Please provide the source code from which you have compiled it so that I can compile it freshly.

three_way_fork needs one more input parameter to show fork number in each round

Regarding to speck_line_find: I think three_way_fork function must have one more parameter to represent the fork number in each round, because in each round two forks are used. At the present, for the same bit positions in the same round but in different fork, we have the same dummy variables, which would not be correct.

unable to run speck_line_find.py

while running the code of speck_line_find.py in windows by following the readme provided in milp_speck-master i am getting the following error. could you please guide.

Error when running speck_diff_find.py

Some errors are raised when trying to run speck_diff_find.py (Run on Python Python 3.8.10, Windows).

I "fixed" them the following way:

**replace line 60 for the following:

constraints = constraints + three_way_fork(x3, y1, y0,r)

replace line 106 for the following:

V = getVariables_From_Constraints(C)

replace line 108 for the following:

V = V.union(getVariables_From_Constraints([add_constraint_1]))**

I would like to know if the results are still the ones obtained by the authors with these changes.

getting error while trying to run speck_line_find.py

could you please provide ConstraintGenerator or the other files required to run speck_line_find.py