Turkish Journal of Electrical Engineering and Computer Sciences
DOI
10.55730/1300-0632.4062
Abstract
Mixed-integer linear programming (MILP) techniques are widely used in cryptanalysis, aiding in the discovery of optimal linear and differential characteristics. This paper delves into the analysis of block ciphers KLEIN and PRINCE using MILP, specifically calculating the best linear and differential characteristics for reduced-round versions. Both ciphers employ matrix multiplication in their diffusion layers, which we model using multiple XOR operations. To this end, we propose two novel MILP models for multiple XOR operations, which use fewer variables and constraints, proving to be more efficient than standard methods for XOR modeling. For differential cryptanalysis, we identify characteristics with a probability of 2 −59 for 7 rounds of KLEIN and a probability of 2 −56 for 7 rounds of PRINCE. In linear cryptanalysis, we identify characteristics with a bias of 2 −27 for 6 rounds of KLEIN and a bias of 2 −29 for 7 rounds of PRINCE. These results establish the best single-key differential and linear distinguishers for these ciphers in the literature.
Keywords
MILP, cryptanalysis, differential cryptanalysis, linear cryptanalysis, optimization
First Page
183
Last Page
197
Recommended Citation
İLTER, Murat Burhan and SELÇUK, Ali Aydın
(2024)
"MILP modeling of matrix multiplication: cryptanalysis of KLEIN and PRINCE,"
Turkish Journal of Electrical Engineering and Computer Sciences: Vol. 32:
No.
1, Article 11.
https://doi.org/10.55730/1300-0632.4062
Available at:
https://journals.tubitak.gov.tr/elektrik/vol32/iss1/11
Included in
Computer Engineering Commons, Computer Sciences Commons, Electrical and Computer Engineering Commons