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)