Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives.
Emanuele BelliniAlessandro De PiccoliMattia FormentiDavid GéraultPaul HuynhSimone PelizzolaSergio PoleseAndrea ViscontiPublished in: IACR Cryptol. ePrint Arch. (2024)