Results 131 to 135 of about 5,432,970 (135)
Some of the next articles are maybe not open access.
Hash Function Keccak: Exploring Parallelism with Pipeline
Parallel and Distributed Computing and Systems, 2011Fábio D. Pereira +2 more
openaire +1 more source
2017
Статья посвящена проблеме использования средств доказательства теорем в криптоанализе функций Keccak-p на разных этапах преобразования. В статье описаны возможности использования SMT/SAT на примере поиска дифференциальных характеристик в начальных раундах преобразования хеш-функции, приводятся основные подходы SMT верификации при моделировании ...
openaire +1 more source
Статья посвящена проблеме использования средств доказательства теорем в криптоанализе функций Keccak-p на разных этапах преобразования. В статье описаны возможности использования SMT/SAT на примере поиска дифференциальных характеристик в начальных раундах преобразования хеш-функции, приводятся основные подходы SMT верификации при моделировании ...
openaire +1 more source
New Collision Attacks on Round-Reduced Keccak
Lecture Notes in Computer Science, 2017Meicheng Liu, Ling Song
exaly

