Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5 - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Rapport Année : 2014

Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5

(1, 2) , (2, 3) , (1)

1
2
3

Florian Legendre

Fonction : Auteur

Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

Modélisation, Information et Systèmes - UR UPJV 4290

Gilles Dequen

Fonction : Auteur
PersonId : 747134
IdHAL : gilles-dequen
ORCID : 0000-0001-7497-1182
IdRef : 069839239

Modélisation, Information et Systèmes - UR UPJV 4290

Laboratoire de Recherche en Informatique d'Amiens

Michaël Krajecki

Fonction : Auteur
PersonId : 174788
IdHAL : michael-krajecki
ORCID : 0000-0001-8419-1948
IdRef : 103818049

Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

Résumé

no abstract

Domaines

Intelligence artificielle [cs.AI] Cryptographie et sécurité [cs.CR]

Gilles Dequen : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00999254

Soumis le : mardi 3 juin 2014-11:58:30

Dernière modification le : vendredi 19 avril 2024-13:44:22

Dates et versions

hal-00999254 , version 1 (03-06-2014)

Identifiants

HAL Id : hal-00999254 , version 1

Citer

Florian Legendre, Gilles Dequen, Michaël Krajecki. Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5. 2014. ⟨hal-00999254⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS URCA LARA CRESTIC U-PICARDIE MIS UPJV-MIS-GOC

53 Consultations

0 Téléchargements

Partager