Volunteer computing is a powerful tool for solving hard problems by the divide-and-conquer approach. During the last decade, several hard cryptanalysis problems were solved in the volunteer computing project SAT@home. In this study, the preliminary stage of these experiments are described: how SAT-based cryptanalysis problems are chosen; how these problems are studied on a computing cluster using state-of-the-art multithreaded SAT solvers; how decompositions of the chosen SAT problems are constructed using a Monte Carlo method; how server and client software are prepared for the corresponding experiments in SAT@home. These issues are described in application to several stream ciphers, for which it is planned to launch experiments in SAT@home.
CITATION STYLE
Zaikin, O. (2019). SAT-Based Cryptanalysis: From Parallel Computing to Volunteer Computing. In Communications in Computer and Information Science (Vol. 1129 CCIS, pp. 701–712). Springer. https://doi.org/10.1007/978-3-030-36592-9_57
Mendeley helps you to discover research relevant for your work.