From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013
Fichier non déposé

Dates et versions

hal-00954507 , version 1 (03-03-2014)

Identifiants

  • HAL Id : hal-00954507 , version 1

Citer

Florian Legendre, Gilles Dequen, Michaël Krajecki. From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD. SECRYPT, 2013, Iceland. pp.435-443. ⟨hal-00954507⟩
48 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More