New Records of Pre-image Search of Reduced SHA-1 Using SAT Solvers. - Emanuele Bellini 002; Alessandro De Piccoli; Rusydi H. Makarim; Sergio Polese; Lorenzo Riva; Andrea Visconti (ICMC, 2021)

An algebraic attack to the Bluetooth stream cipher E0. - Roberto La Scala; Sergio Polese; Sharwan K. Tiwari; Andrea Visconti (Finite Fields Their Appl., 2022)

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)