A New MILP Model for Matrix Multiplications with Applications to KLEIN and PRINCE

Murat İlter, Murat İlter, Ali Selçuk

2021

Abstract

Mixed integer linear programming (MILP) models are applied extensively in the field of cryptanalysis. Finding the minimum number of active S-boxes and the best differential characteristic in a differential attack are two main problems examined using the MILP approach. In this study, KLEIN and PRINCE block ciphers are modeled with MILP to search for an exact solution to these problems. Both ciphers contain matrix multiplication operations, which can be calculated using multiple xor operations. The standard MILP model for multiple xors increases the number of variables significantly, which extends the solution time. In this work, an alternative xor model is proposed using fewer variables than the standard xor model. The new model is much more efficient in terms of the number of variables involved and the execution time. Using the new model, we analyze the differential properties of KLEIN and PRINCE. We obtain the exact minimum number of active S-boxes of these ciphers with full rounds and also discover the best differential characteristics for various numbers of rounds. For KLEIN and PRINCE ciphers we achieve the best single differential characteristic of probability 2−56. These results improve the best single-key differential attacks on these ciphers in the literature.

Paper Citation

in Harvard Style

İlter M. and Selçuk A. (2021). A New MILP Model for Matrix Multiplications with Applications to KLEIN and PRINCE. In Proceedings of the 18th International Conference on Security and Cryptography - Volume 1: SECRYPT, ISBN 978-989-758-524-1, pages 420-427. DOI: 10.5220/0010519504200427

in Bibtex Style

@conference{secrypt21,
author={Murat İlter and Ali Selçuk},
title={A New MILP Model for Matrix Multiplications with Applications to KLEIN and PRINCE},
booktitle={Proceedings of the 18th International Conference on Security and Cryptography - Volume 1: SECRYPT,},
year={2021},
pages={420-427},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010519504200427},
isbn={978-989-758-524-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Security and Cryptography - Volume 1: SECRYPT,
TI - A New MILP Model for Matrix Multiplications with Applications to KLEIN and PRINCE
SN - 978-989-758-524-1
AU - İlter M.
AU - Selçuk A.
PY - 2021
SP - 420
EP - 427
DO - 10.5220/0010519504200427