Страница публикации
SAT-based cryptanalysis: from parallel computing to volunteer computing
Авторы: Zaikin O.
Журнал: Communication in Computer and Information Science: Proc. Intern. Conf. Russian supercomputing days 2019 (Moscow, Russia; September 23-24, 2019)
Том: 1129
Номер:
Год: 2019
Отчётный год: 2020
Издательство:
Местоположение издательства:
URL:
Аннотация: 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.
Индексируется WOS: 1
Индексируется Scopus: 1
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: