Emanuele Bellini 0002, Alessandro De Piccoli, Rusydi H. Makarim, Sergio Polese, Lorenzo Riva, Andrea Visconti. New Records of Pre-image Search of Reduced SHA-1 Using SAT Solvers. In Debasis Giri, Kim-Kwang Raymond Choo, Saminathan Ponnusamy, Weizhi Meng 0001, Sedat Akleylek, Santi Prasad Maity, editors, Proceedings of the Seventh International Conference on Mathematics and Computing - ICMC 2021, Shibpur, India, . Volume 1412 of Advances in Intelligent Systems and Computing, pages 141-151, Springer, 2021. [doi]