
Заведующий лабораторией дискретного анализа и прикладной логики Института динамики систем и теории управления Сибирского отделения РАН (ИДСТУ СО РАН), доцент Иркутского государственного университета.
Научные интересы: системы пропозиционального вывода, булевы уравнения, вычислительная сложность, криптография, параллельные вычисления.
http://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=28549
-
Решение задач криптоанализа с использованием SAT- и BDD-решателей
Обзор наиболее эффективных в практическом плане алгоритмов, используемых в решении систем булевых уравнений большой размерности, и их применение к задачам криптоанализа некоторых систем шифрования. Также предполагается кратко остановиться на технологиях сводимости к булевым уравнениям комбинаторных задач из следующих областей: обращение дискретных (в т.ч. криптографических) функций, дискретная оптимизация, биоинформатика.
Read more →