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 …