Skip to Main content Skip to Navigation
Conference papers

Security Margin Evaluation of SHA-3 Contest Finalists through SAT-Based Attacks

Abstract : 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.
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01551728
Contributor : Hal Ifip <>
Submitted on : Friday, June 30, 2017 - 2:43:19 PM
Last modification on : Saturday, July 1, 2017 - 1:06:46 AM
Long-term archiving on: : Monday, January 22, 2018 - 8:19:31 PM

File

978-3-642-33260-9_4_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Ekawat Homsirikamol, Paweł Morawiecki, Marcin Rogawski, Marian Srebrny. Security Margin Evaluation of SHA-3 Contest Finalists through SAT-Based Attacks. 11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.56-67, ⟨10.1007/978-3-642-33260-9_4⟩. ⟨hal-01551728⟩

Share

Metrics

Record views

217

Files downloads

219