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