Публікація:
Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak

Завантаження...
Зображення мініатюри

Дата

2017

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Статья посвящена проблеме использования средств доказательства теорем в криптоанализе функций Keccak-p на разных этапах преобразования. В статье описаны возможности использования SMT/SAT на примере поиска дифференциальных характеристик в начальных раундах преобразования хеш-функции, приводятся основные подходы SMT верификации при моделировании преобразований, описаны существующие средства доказательства теорем

Опис

Ключові слова

криптоанализ, Keccak, хеш-функция, верификация

Бібліографічний опис

Качко Е. Г. Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak / Е. Г. Качко, Д. К. Телевный // Радиотехника : Всеукр. межвед. науч.-техн. сб. – 2017. – Вып. 189. – С. 75 – 80

DOI

Колекції