Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives.

Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Grault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti

Browse the full CANS paper archive.