On MILP-Based Automatic Search for Bit-Based Division Property for Ciphers with (Large) Linear Layers.

Muhammad ElSheikh, Amr M. Youssef

Browse the full ACISP paper archive.