CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher. - Emanuele Bellini 002; Mattia Formenti; David Gérault; Juan Grados 002; Anna Hambitzer; Yun Ju Huang; Paul Huynh; Mohamed Rachidi; Raghvendra Rohit 001; Sharwan K. Tiwari (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)