CSEDays. Theory 2011

Екатеринбург, 14-17 апреля

News subscription
Share:

Reviews

Очень понравилась организация, все продумано, есть время пообщаться. Вкусные кофе-брейки!
Алексей / CSEDays. Theory 2011
Home / CSEDays Theory 2011 / Программа, материалы мероприятия /

Семёнов Александр Анатольевич

Семёнов  Александр  Анатольевич Кандидат технических наук.

Заведующий лабораторией дискретного анализа и прикладной логики Института динамики систем и теории управления Сибирского отделения РАН (ИДСТУ СО РАН), доцент Иркутского государственного университета.

Научные интересы: системы пропозиционального вывода, булевы уравнения, вычислительная сложность, криптография, параллельные вычисления.

http://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=28549

  • Решение задач криптоанализа с использованием SAT- и BDD-решателей

    Обзор наиболее эффективных в практическом плане алгоритмов, используемых в решении систем булевых уравнений большой размерности, и их применение к задачам криптоанализа некоторых систем шифрования. Также предполагается кратко остановиться на технологиях сводимости к булевым уравнениям комбинаторных задач из следующих областей: обращение дискретных (в т.ч. криптографических) функций, дискретная оптимизация, биоинформатика.

    Read more →