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