Encoding hash functions as a sat problem F Legendre, G Dequen, M Krajecki 2012 IEEE 24th International Conference on Tools with Artificial …, 2012 | 21 | 2012 |
Logical reasoning to detect weaknesses about SHA-1 and MD4/5 F Legendre, G Dequen, M Krajecki Cryptology ePrint Archive, 2014 | 12 | 2014 |
Inverting thanks to sat solving-an application on reduced-step md G Dequen, M Krajecki, F Legendre SECRYPT, 339--344, 2012 | 7 | 2012 |
From a logical approach to internal states of Hash functions how SAT problem can help to understand SHA-⋆ and MD⋆ F Legendre, G Dequen, M Krajecki 2013 International Conference on Security and Cryptography (SECRYPT), 1-9, 2013 | 4 | 2013 |
Hashed data retrieval method G Dequen, F Legendre, M Krajecki US Patent 10,673,633, 2020 | 2 | 2020 |
Exploitation de la logique propositionnelle pour la résolution des problèmes cryptographiques‖ F Legendre Thèse doctorat, Université de Reims Champagne-Ardenne, soutenue le 30 juin …, 2014 | 1 | 2014 |
Authentication protocol using a one-time password G Dequen, F Legendre, G Le Mahec US Patent 11,108,560, 2021 | | 2021 |
Corrosion and decommissioning D Feron, F Legendre, M Le Flem, S Gossé, P Laghoutaris NUPP 2018/" 2nd International conference on nuclear power plants structures …, 2018 | | 2018 |
Corrosion and decommissioning-R and D studies at CEA corrosion service in relation with light water reactor accidents and decommissioning D Féron, F Legendre, M Leflem, S Gossé, P Laghoutaris First Anniversary of the Center for Fundamental Research on Nuclear …, 2017 | | 2017 |
Exploitation de la logique propositionnelle pour la résolution parallèle des problèmes cryptographiques F Legendre Reims, 2014 | | 2014 |
From a Logical Approach to Internal States of Hash Functions F Legendre, G Dequen, M Krajecki | | 2013 |
Inverting Thanks to SAT Solving F Legendre, G Dequen, M Krajecki | | 2012 |
Collisionner MD5: Modélisation logique et résolution parallèle G Dequen, M Krajecki, F Legendre RENPAR'20, 1--6, 2011 | | 2011 |