Пятница, 22 октября, ауд. 106. Начало в 18:00.
Докладчик: А.А. Семенов (Иркутск).
Тема: Алгоритмы обращения дискретных функций и их приложения.
Abstract
Доклад посвящен "пропозициональному подходу" к решению задач обращения дискретных функций.
В рамках данного подхода алгоритм, вычисляющий рассматриваемую функцию, транслируется в булевы уравнения.
Для решения получаемых уравнений используются символьные алгоритмы (главным образом, речь пойдет об алгоритмах решения SAT-задач).
Будут рассмотрены задачи криптоанализа ряда систем поточного шифрования "в SAT-постановке" (задачи логического криптоанализа).
Относительно генератора ключевого потока шифра A5/1 будут приведены результаты его логического криптоанализа в распределенной среде
(grid-среде). Также предполагается рассмотреть новую гибридную (SAT+ROBDD) стратегию пропозиционального вывода, применяемую при
решении SAT-задач в многопроцессорных средах. Заключительная часть доклада посвящена применению алгоритмов решения булевых
уравнений к исследованию автоматных сетей: будут представлены результаты исследования одного класса генных сетей.
