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.
Type de document :
Communication dans un congrès
Agostino Cortesi; Nabendu Chaki; Khalid Saeed; Sławomir Wierzchoń. 11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. Springer, Lecture Notes in Computer Science, LNCS-7564, pp.56-67, 2012, Computer Information Systems and Industrial Management. 〈10.1007/978-3-642-33260-9_4〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01551728
Contributeur : Hal Ifip <>
Soumis le : vendredi 30 juin 2017 - 14:43:19
Dernière modification le : samedi 1 juillet 2017 - 01:06:46

Fichier

978-3-642-33260-9_4_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ekawat Homsirikamol, Paweł Morawiecki, Marcin Rogawski, Marian Srebrny. Security Margin Evaluation of SHA-3 Contest Finalists through SAT-Based Attacks. Agostino Cortesi; Nabendu Chaki; Khalid Saeed; Sławomir Wierzchoń. 11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. Springer, Lecture Notes in Computer Science, LNCS-7564, pp.56-67, 2012, Computer Information Systems and Industrial Management. 〈10.1007/978-3-642-33260-9_4〉. 〈hal-01551728〉

Partager

Métriques

Consultations de la notice

128

Téléchargements de fichiers

24