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 .