Emanuele Bellini 0002, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti. Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives. 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 268-292, Springer, 2023. [doi]
Abstract is missing.