Muhammad ElSheikh, Amr M. Youssef. On MILP-Based Automatic Search for Bit-Based Division Property for Ciphers with (Large) Linear Layers. In Joonsang Baek, Sushmita Ruj, editors, Information Security and Privacy - 26th Australasian Conference, ACISP 2021, Virtual Event, December 1-3, 2021, Proceedings. Volume 13083 of Lecture Notes in Computer Science, pages 111-131, Springer, 2021. [doi]
Abstract is missing.