[Resource Topic] 2020/1112: A cautionary note on the use of Gurobi for cryptanalysis

Welcome to the resource topic for 2020/1112

Title:
A cautionary note on the use of Gurobi for cryptanalysis

Authors: Muhammad ElSheikh, Amr M. Youssef

Abstract:

Mixed Integer Linear Programming (MILP) is a powerful tool that helps to automate several cryptanalysis techniques for symmetric key primitives. \textsf{Gurobi} is one of the most popular solvers used by researchers to obtain useful results from the MILP models corresponding to these cryptanalysis techniques. In this report, we provide a cautionary note on the use of \textsf{Gurobi} in the context of bit-based division property integral attacks. In particular, we report four different examples in which \textsf{Gurobi} gives contradictory results when solving the same MILP model by just changing the number of used threads or reordering some constraints.

ePrint: https://eprint.iacr.org/2020/1112

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .