Страница публикации

Гибридный подход (SAT+ROBDD) в задачах криптоанализа поточных систем шифрования

Авторы: Игнатьев А.С., Семенов А.А., Беспалов Д.В., Заикин О.С.

Журнал: Прикладная дискретная математика. Приложение

Том:

Номер: 1

Год: 2009

Отчётный год: 2009

Издательство:

Местоположение издательства:

URL:

Аннотация: The report is supposed to consider the possibility of using binary decision diagrams (BDD) for the discrete function inversion in the parallel high-performance computing systems. We describe the architecture of a fundamentally new SAT-solver. The BDD-technology reducing the usage of memory which in turn keeps the search history lies in the basis of the solver. As testing problems we consider cryptanalysis of a number of key stream generators.

Индексируется WOS: 0

Индексируется Scopus: 0

Индексируется РИНЦ: 1

Публикация в печати: 0

Добавил в систему: