A Comparison of Local Reduction and Sat-Solver Based Algebraic Cryptanalysis of Jh And Keccak

DOI10.2478/V10127-012-0036-6zbMath1308.94057OpenAlexW1982228522MaRDI QIDQ4906254

Marek Loderer, Peter Adamček, Pavol Zajac

Publication date: 11 February 2013

Published in: Tatra Mountains Mathematical Publications (Search for Journal in Brave)

Full work available at URL: http://tatra.mat.savba.sk/Full/53/01a-l-z.pdf

zbMATH Keywords

algebraic cryptanalysisKeccaklocal reductionJH

Mathematics Subject Classification ID

Cryptography (94A60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

This page was built for publication: A Comparison of Local Reduction and Sat-Solver Based Algebraic Cryptanalysis of Jh And Keccak