Страница публикации
Гибридный подход (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
Добавил в систему: