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

Проста сторінка документа
dc.contributor.authorКачко, Е. Г.
dc.contributor.authorТелевный, Д. К.
dc.date.accessioned2018-03-16T13:07:09Z
dc.date.available2018-03-16T13:07:09Z
dc.date.issued2017
dc.description.abstractСтатья посвящена проблеме использования средств доказательства теорем в криптоанализе функций Keccak-p на разных этапах преобразования. В статье описаны возможности использования SMT/SAT на примере поиска дифференциальных характеристик в начальных раундах преобразования хеш-функции, приводятся основные подходы SMT верификации при моделировании преобразований, описаны существующие средства доказательства теоремuk_UA
dc.identifier.citationКачко Е. Г. Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak / Е. Г. Качко, Д. К. Телевный // Радиотехника : Всеукр. межвед. науч.-техн. сб. – 2017. – Вып. 189. – С. 75 – 80uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/4327
dc.language.isoruuk_UA
dc.publisherХНУРЭuk_UA
dc.subjectкриптоанализuk_UA
dc.subjectKeccakuk_UA
dc.subjectхеш-функцияuk_UA
dc.subjectверификацияuk_UA
dc.titleИсследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccakuk_UA
dc.typeArticleuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакунок

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
72-80.pdf
Розмір:
239.02 KB
Формат:
Adobe Portable Document Format
Завантажити

Пакунок ліцензії

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Радіотехніка