Страница публикации

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


Местоположение издательства:


Аннотация: 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

Добавил в систему: