MILP Modeling for (Large) S-boxes to Optimize Probability of Differential Characteristics

• Published in: IACR Transactions on Symmetric Cryptology pp. 99 - 129
• Main Authors: Ahmed Abdelkhalek, Yu Sasaki, Yosuke Todo, Mohamed Tolba, Amr M. Youssef
• Format: Journal Article
• Language: English
• Published: Ruhr-Universität Bochum 01.12.2017
• Subjects: AES-based constructions; Automated Cryptanalysis; Differential Characteristic; Mixed Integer Linear Programming (MILP); SKINNY-128

Current Mixed Integer Linear Programming (MILP)-based search against symmetric-key primitives with 8-bit S-boxes can only build word-wise model to search for truncated differential characteristics. In such a model, the properties of the Differential Distribution Table (DDT) are not considered. To ta...