On MILP-based automatic search for bit-based division property for ciphers with (large) linear layers
M ElSheikh, AM Youssef - … Conference on Information Security and Privacy, 2021 - Springer
With the introduction of the division trail, the bit-based division property (BDP) has become
the most efficient method to search for integral distinguishers. The notation of the division …
the most efficient method to search for integral distinguishers. The notation of the division …
On MILP-based automatic search for differential trails through modular additions with application to Bel-T
Using modular addition as a source of nonlinearity is frequently used in many symmetric-key
structures such as ARX and Lai–Massey schemes. At FSE'16, Fu et al. proposed a Mixed …
structures such as ARX and Lai–Massey schemes. At FSE'16, Fu et al. proposed a Mixed …
Integral cryptanalysis of reduced-round tweakable TWINE
M ElSheikh, AM Youssef - … , CANS 2020, Vienna, Austria, December 14 …, 2020 - Springer
Abstract Tweakable TWINE (T-TWINE) is the first lightweight dedicated tweakable block
cipher family built on Generalized Feistel Structure (GFS). T-TWINE family is an extension of …
cipher family built on Generalized Feistel Structure (GFS). T-TWINE family is an extension of …
Impossible differential cryptanalysis and integral cryptanalysis of the ACE-class permutation
T Ye, Y Wei, L Li, E Pasalic - … , ISPEC 2021, Nanjing, China, December 17 …, 2021 - Springer
ACE is a block cipher proposal that entered the 2nd round of the NIST Lightweight
Cryptography Standardization process. So far, not much cryptanalysis has been devoted to …
Cryptography Standardization process. So far, not much cryptanalysis has been devoted to …
A cautionary note on the use of Gurobi for cryptanalysis
M ElSheikh, AM Youssef - Cryptology ePrint Archive, 2020 - eprint.iacr.org
Abstract Mixed Integer Linear Programming (MILP) is a powerful tool that helps to automate
several cryptanalysis techniques for symmetric key primitives. $\textsf {Gurobi} $ is one of the …
several cryptanalysis techniques for symmetric key primitives. $\textsf {Gurobi} $ is one of the …