Florian Legendre

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Florian Legendre, Gilles Dequen, Michaël Krajecki
Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5. IACR Cryptol. ePrint Arch. 2014 (2014)
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)
Florian Legendre, Gilles Dequen, Michaël Krajecki
Encoding Hash Functions as a SAT Problem. ICTAI (2012)
Florian Legendre, Gilles Dequen, Michaël Krajecki
Inverting Thanks to SAT Solving - An Application on Reduced-step MD*. SECRYPT (2012)