Debranjan Pal, Vishal Pankaj Chandratreya, Dipanwita Roy Chowdhury. New Techniques for Modeling SBoxes: An MILP Approach. In Jing Deng 0001, Vladimir Kolesnikov, Alexander A. Schwarzmann, editors, Cryptology and Network Security - 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings. Volume 14342 of Lecture Notes in Computer Science, pages 318-340, Springer, 2023. [doi]
Abstract is missing.