%0 Conference Proceedings
%T Security Margin Evaluation of SHA-3 Contest Finalists through SAT-Based Attacks
%+ George Mason University [Fairfax]
%+ Bolesław Markowski Higher School of Commerce in Kielce (WSH)
%+ Polska Akademia Nauk = Polish Academy of Sciences = Académie polonaise des sciences (PAN)
%A Homsirikamol, Ekawat
%A Morawiecki, Paweł
%A Rogawski, Marcin
%A Srebrny, Marian
%Z Part 2: Security, Access Control and Intrusion Detection
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 11th International Conference on Computer Information Systems and Industrial Management (CISIM)
%C Venice, Italy
%Y Agostino Cortesi
%Y Nabendu Chaki
%Y Khalid Saeed
%Y Sławomir Wierzchoń
%I Springer
%3 Computer Information Systems and Industrial Management
%V LNCS-7564
%P 56-67
%8 2012-09-26
%D 2012
%R 10.1007/978-3-642-33260-9_4
%K Cryptographic hash algorithm
%K SHA-3 competition
%K algebraic cryptanalysis
%K logical cryptanalysis
%K SATisfiability solvers
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X In 2007, the U.S. National Institute of Standards and Technology (NIST) announced a public contest aiming at the selection of a new standard for a cryptographic hash function. In this paper, the security margin of five SHA-3 finalists is evaluated with an assumption that attacks launched on finalists should be practically verified. A method of attacks is called logical cryptanalysis where the original task is expressed as a SATisfiability problem. To simplify the most arduous stages of this type of cryptanalysis and helps to mount the attacks in a uniform way a new toolkit is used. In the context of SAT-based attacks, it has been shown that all the finalists have substantially bigger security margin than the current standards SHA-256 and SHA-1.
%G English
%Z TC 8
%2 https://inria.hal.science/hal-01551728/document
%2 https://inria.hal.science/hal-01551728/file/978-3-642-33260-9_4_Chapter.pdf
%L hal-01551728
%U https://inria.hal.science/hal-01551728
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC8
%~ IFIP-CISIM
%~ IFIP-LNCS-7564