AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Florian Legendre

Florian Legendre

Université de Reims - Reims / France
Others
AD Scientific Index ID: 5668060
University of Reims Champagne-Ardenne
person_outline Florian Legendre's MOST POPULAR ARTICLES
1-) Encoding hash functions as a sat problem 2012 IEEE 24th International Conference on Tools with Artificial …, 2012
2-) Logical reasoning to detect weaknesses about SHA-1 and MD4/5 Cryptology ePrint Archive, 2014
3-) Inverting thanks to sat solving-an application on reduced-step md SECRYPT, 339--344, 2012
4-) From a logical approach to internal states of Hash functions how SAT problem can help to understand SHA-⋆ and MD⋆ 2013 International Conference on Security and Cryptography (SECRYPT), 1-9, 2013
5-) Exploitation de la logique propositionnelle pour la résolution des problèmes cryptographiques‖ Thèse doctorat, Université de Reims Champagne-Ardenne, soutenue le 30 juin …, 2014