|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Вычислительные методы в дискретной математике
Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе
Д. А. Софроноваab, К. В. Калгинacd a Новосибирский государственный университет
b Лаборатория криптографии JetBrains Research, г. Новосибирск
c Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, г. Новосибирск
d Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск
Аннотация:
Представлен транслятор, позволяющий преобразовывать описание криптографической задачи (криптоанализ шифра или хэш-функции, поиск APN-функций) в КНФ. В дальнейшем SAT-решатель устанавливает истинность формулы и находит набор, выполняющий КНФ. Отличительные особенности данной разработки — универсальность, малый объём исходного кода (300 строк С++), легко модифицируемая и расширяемая реализация.
Ключевые слова:
криптоанализ, SAT-решатель, атака «угадай-и-вычисли».
Образец цитирования:
Д. А. Софронова, К. В. Калгин, “Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе”, ПДМ. Приложение, 2020, № 13, 135–136
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma520 https://www.mathnet.ru/rus/pdma/y2020/i13/p135
|
Статистика просмотров: |
Страница аннотации: | 87 | PDF полного текста: | 45 | Список литературы: | 23 |
|