Paper 2026/224

Usage of Mixed Integer Linear Programming in Cryptanalysis of Block Ciphers

Halil İbrahim Kaplan, TUBITAK BILGEM
Abstract

This paper presents a comprehensive approach to the cryptanalysis of block ciphers using Mixed Integer Linear Programming (MILP). By formulating the cipher’s components including substitution boxes, linear layers, and key schedules as systems of linear inequalities, MILP enables the automated discovery of optimal cryptanalytic characteristics. Our methodology is demonstrate the MILP modelling through the analysis of the ITUbee cipher under three attack models: differential, linear, and related-key differential cryptanalysis. This work highlights the potential of MILP as a robust, generalizable tool for evaluating cipher security and guiding the design of resilient cryptographic primitives.

Metadata
Available format(s)
PDF
Category
Attacks and cryptanalysis
Publication info
Preprint.
Keywords
cryptanalysismilpblock-cipher
Contact author(s)
halil kaplan @ tubitak gov tr
History
2026-02-17: revised
2026-02-11: received
See all versions
Short URL
https://ia.cr/2026/224
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2026/224,
      author = {Halil İbrahim Kaplan},
      title = {Usage of Mixed Integer Linear Programming in Cryptanalysis of Block Ciphers},
      howpublished = {Cryptology {ePrint} Archive, Paper 2026/224},
      year = {2026},
      url = {https://eprint.iacr.org/2026/224}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.