Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives
From MaRDI portal
Publication:6550653
DOI10.1007/978-981-99-7563-1_13MaRDI QIDQ6550653
Simone Pelizzola, David Gérault, Sergio Polese, Andrea Visconti, Alessandro De Piccoli, Mattia Formenti, Emanuele Bellini, Paul Huynh
Publication date: 5 June 2024
This page was built for publication: Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives