Recherche

Mots-clés : cryptanalyse logique, fonctions de hachage cryptographiques (SHA-3, MD5, SHA), anonymisation de données, solveurs SAT

 

[Aujourd'hui] E-Santé chez Evolucare

Travaux liés à l'anonymisation de données

 

[2015 à 2017] Travaux de recherche avec le laboratoire MIS

Travaux liés au projet CrypTonID au sein de la SATT Nord. CrypTonID est une méthode de reconstitution de données hachées permettant de sécuriser la diffusion d'une information secrète (ex: mots de passe). Plus de détails sur la page dédiée au projet

Chercheur lié au projet CrypTonAuth. CrypTonAuth est une méthode d'authentification low-cost proposant un OTP sécurisé et offrant une détection d'usurpation d'identité.

 

[2014-2015] Travaux de recherche en post-doc au CRIL

J'ai effectué un séjour post-doctoral de 6 mois à l'Université d'Artois, au sein du Centre de Recherche en Informatique de Lens (CRIL). Mes travaux s'inscrivaient principalement autour du problème de SATisfaisabilité lié au problème de la recherche de motifs en Data Mining.

 

[2010-2014] Travaux de thèse

Ma thèse porte essentiellement sur la mise en place d'une méthode basée sur la cryptanalyse logique pour affaiblir les fonctions cryptographiques. Ces travaux sont donc transversaux à deux domaines : la SATisfaisabilité et la Cryptographie. Les premiers résultats obtenus touchent au domaine des fonctions de hachage cryptographiques les plus utilisées en pratique, à savoir MD5 et SHA-1.

Plus de détails sur la page dédiée à la thèse : Exploitation de la logique propositionnelle pour la résolution de problèmes cryptographiques

Zircon - This is a contributing Drupal Theme
Design by WeebPal.