POSITIVE HACK DAYS



ОРГАНИЗАТОР

Программа

Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в криптоанализе

Хочу посетить   +50

Ведущий: Александр Семенов

Доклад посвящен применению алгоритмов решения проблемы булевой выполнимости (SAT) к задачам криптоанализа. Будут рассмотрены алгоритмы и техники, лежащие в основе эффективных современных SAT-решателей. Применение SAT-решателей к обращению криптографических функций планируется продемонстрировать на задаче криптоанализа генератора ключевого потока A5/1, а также на задачах поиска коллизий криптографических хеш-функций семейства MD.

  • Язык доклада
  • Русский

Александр Семенов — кандидат технических наук, доцент, заведующий лабораторией дискретного анализа и прикладной логики Института динамики систем и теории управления Сибирского отделения Российской академии наук (г. Иркутск). Основные научные интересы — вычислительная сложность алгоритмов, криптография, криптоанализ, параллельные вычисления, алгоритмы решения задачи о булевой выполнимости (SAT).

Александр Семенов Александр Семенов

Возврат к списку