Impossible Differential Automation: Model Generation and New Techniques. - Emanuele Bellini 002; Paul Huynh; David Gérault; Andrea Visconti; Alessandro De Piccoli; Simone Pelizzola (IACR Cryptol. ePrint Arch., 2024)

Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives. - Emanuele Bellini 002; Alessandro De Piccoli; Mattia Formenti; David Gérault; Paul Huynh; Simone Pelizzola; Sergio Polese; Andrea Visconti (IACR Cryptol. ePrint Arch., 2024)