Материалов:
1 005 012

Репозиториев:
30

Авторов:
596 024

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

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

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

Аннотация:

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

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

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


Связанные документы (рекомендация CORE)