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

Качко, Е. Г.; Телевный, Д. К.

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

dc.contributor.author	Качко, Е. Г.
dc.contributor.author	Телевный, Д. К.
dc.date.accessioned	2018-03-16T13:07:09Z
dc.date.available	2018-03-16T13:07:09Z
dc.date.issued	2017
dc.description.abstract	Статья посвящена проблеме использования средств доказательства теорем в криптоанализе функций Keccak-p на разных этапах преобразования. В статье описаны возможности использования SMT/SAT на примере поиска дифференциальных характеристик в начальных раундах преобразования хеш-функции, приводятся основные подходы SMT верификации при моделировании преобразований, описаны существующие средства доказательства теорем	uk_UA
dc.identifier.citation	Качко Е. Г. Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak / Е. Г. Качко, Д. К. Телевный // Радиотехника : Всеукр. межвед. науч.-техн. сб. – 2017. – Вып. 189. – С. 75 – 80	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/4327
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	криптоанализ	uk_UA
dc.subject	Keccak	uk_UA
dc.subject	хеш-функция	uk_UA
dc.subject	верификация	uk_UA
dc.title	Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication