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

Софронова, Дарья Алексеевна; Калгин, Константин Викторович

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

Софронова, Дарья Алексеевна, Калгин, Константин Викторович

Дата публикации: 2020

Дата публикации в реестре: 2020-10-01T12:54:45Z

Аннотация:

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

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

Тип: статьи в журналах

Источник: Прикладная дискретная математика. Приложение. 2020. № 13. С. 135-136