Д. А. Софронова, К. В. Калгин, “Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе”, ПДМ. Приложение, 2020, выпуск 13,страницы 135

Эта публикация цитируется в 1 статье

Вычислительные методы в дискретной математике

Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе

Д. А. Софронова^ab, К. В. Калгин^acd

^a Новосибирский государственный университет
^b Лаборатория криптографии JetBrains Research, г. Новосибирск
^c Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, г. Новосибирск
^d Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск

Аннотация: Представлен транслятор, позволяющий преобразовывать описание криптографической задачи (криптоанализ шифра или хэш-функции, поиск APN-функций) в КНФ. В дальнейшем SAT-решатель устанавливает истинность формулы и находит набор, выполняющий КНФ. Отличительные особенности данной разработки — универсальность, малый объём исходного кода (300 строк С++), легко модифицируемая и расширяемая реализация.

Ключевые слова: криптоанализ, SAT-решатель, атака «угадай-и-вычисли».

УДК: 519.7

DOI: 10.17223/2226308X/13/40