We stand with Ukraine  

Florian Legendre

According to our database1, Florian Legendre authored at least 4 papers between 2012 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5.
[BibTeX]
[DOI]
Florian Legendre
,
Gilles Dequen
,
Michaël Krajecki
IACR Cryptol. ePrint Arch., 2014

2013
From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD*.
[BibTeX]
[DOI]
Florian Legendre
,
Gilles Dequen
,
Michaël Krajecki
Proceedings of the SECRYPT 2013, 2013

2012
Inverting Thanks to SAT Solving - An Application on Reduced-step MD*.
[BibTeX]
Florian Legendre
,
Gilles Dequen
,
Michaël Krajecki
Proceedings of the SECRYPT 2012, 2012

Encoding Hash Functions as a SAT Problem.
[BibTeX]
[DOI]
Florian Legendre
,
Gilles Dequen
,
Michaël Krajecki
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012


  Loading...