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