Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak
|
|
| Creator |
Качко, Е. Г.
Телевный, Д. К. |
|
| Subject |
криптоанализ
Keccak хеш-функция верификация |
|
| Description |
Статья посвящена проблеме использования средств доказательства теорем в криптоанализе функций Keccak-p на разных этапах преобразования. В статье описаны возможности использования SMT/SAT на примере поиска дифференциальных характеристик в начальных раундах преобразования хеш-функции, приводятся основные подходы SMT верификации при моделировании преобразований, описаны существующие средства доказательства теорем |
|
| Date |
2018-03-16T13:07:09Z
2018-03-16T13:07:09Z 2017 |
|
| Type |
Article
|
|
| Identifier |
Качко Е. Г. Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak / Е. Г. Качко, Д. К. Телевный // Радиотехника : Всеукр. межвед. науч.-техн. сб. – 2017. – Вып. 189. – С. 75 – 80
http://openarchive.nure.ua/handle/document/4327 |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|