Публікація: Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak
Завантаження...
Дата
2017
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Статья посвящена проблеме использования средств доказательства теорем в криптоанализе
функций Keccak-p на разных этапах преобразования. В статье описаны возможности использования
SMT/SAT на примере поиска дифференциальных характеристик в начальных раундах
преобразования хеш-функции, приводятся основные подходы SMT верификации при моделировании
преобразований, описаны существующие средства доказательства теорем
Опис
Ключові слова
криптоанализ, Keccak, хеш-функция, верификация
Бібліографічний опис
Качко Е. Г. Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak / Е. Г. Качко, Д. К. Телевный // Радиотехника : Всеукр. межвед. науч.-техн. сб. – 2017. – Вып. 189. – С. 75 – 80