Alexander Bille

Efficient Algorithm for Generating Optimal Inequality Candidates for MILP Modeling of Boolean Functions

2024 · IACR Communications in Cryptology

Mixed-Integer Linear Programming (MILP) modeling has become an important tool for both the analysis and the design of symmetric cryptographic primitives. The bit-wise modeling of their nonlinear components, especially the S-boxes, is of particular interest …