Projet de recherche doctoral numero :3753

Description

Date depot: 1 janvier 1900
Titre: Méthodes Algébriques pour l'Analyse de Sécurité des Implantations d'Algorithmes Cryptographiques
Directeur de thèse: Jean-Charles FAUGÈRE (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini

Resumé: Un aspect important de la recherche en cryptographie consiste en l'implémentation des algorithmes cryptographiques et des protocoles. Ce domaine est intéressant car il permet de créer un pont entre la recherche théorique en cryptographie d'une part et ses applications concrètes d'autre part. Ce domaine comporte deux aspects principaux: l'efficacité de l'implémentation, et la sécurité de l'implémentation contre différents types d'attaques physiques, comme les attaques par mesure de courant ou les attaques par faute. Le but du travail de recherche est d'une part l'analyse de l'efficacité et le développement d'attaques algébriques dans le contexte des attaques matérielles et d'autre part le développement de contremesures plus efficaces et plus sûres contre ces attaques. Un axe de recherche sera l'étude des attaques algébriques dans un contexte où l'information est obtenue de manière bruitée sur des canaux cachés ou bien modifiée après une attaque par faute. Il s'agira à la fois de déterminer si de nouveaux types de fuites d'information sont exploitables grâce aux attaques algébriques, et d'adapter ces dernières techniques pour en améliorer l'efficacité. Ces attaques se basent sur la résolution de systèmes polynomiaux ce qui représente le thème principal de l'activité de recherche au sein de l'équipe PolSys. Il existe déjà des travaux similaires dans la littérature et les résultats obtenus sont très prometteurs. Ce travail ne se limitera pas au stricte cadre d'applications cryptologiques mais pourra aussi déboucher sur le développement de nouvelles méthodes algébriques pour la résolution de problèmes algorithmiques plus généraux issus du calcul formel ou de la théorie algorithmique des nombres (comme par exemple sur le problème de trouver des petites racines de systèmes polynomiaux à l'aide des méthodes de Coppersmith).

Doctorant.e: Zeitoun Rina