Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives

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. IACR Cryptology ePrint Archive, 2024:105, 2024. [doi]

Abstract

Abstract is missing.