Florian Legendre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2012–2013
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SECRYPT | From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD*. | Florian Legendre, Gilles Dequen, Michal Krajecki |
| 2012 | ICTAI | Encoding Hash Functions as a SAT Problem. | Florian Legendre, Gilles Dequen, Michal Krajecki |
| 2012 | SECRYPT | Inverting Thanks to SAT Solving - An Application on Reduced-step MD*. | Florian Legendre, Gilles Dequen, Michal Krajecki |