Thèse soutenue

Opérateurs arithmétiques parallèles pour la cryptographie asymétrique

FR  |  
EN
Auteur / Autrice : Thomas Izard
Direction : Laurent Imbert
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 19/12/2011
Etablissement(s) : Montpellier 2
Ecole(s) doctorale(s) : Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014)
Partenaire(s) de recherche : Laboratoire : LIRMM - Laboratoire d'Informatique, Robotique et Micro-électronique de Montpellier
Jury : Examinateurs / Examinatrices : Laurent Imbert, Jean-claude Bajard, Pascal Giorgi, Philippe Langlois, Bruno Rouzeyre
Rapporteurs / Rapporteuses : Jean-Guillaume Dumas, Pierrick Gaudry

Résumé

FR  |  
EN

Les protocoles de cryptographie asymétrique nécessitent des calculs arithmétiques dans différentes structures mathématiques de grandes tailles. Pour garantir une sécurité suffisante, ces tailles varient de plusieurs centaines à plusieurs milliers de bits et rendent les opérations arithmétiques coûteuses en temps de calcul. D'autre part, les architectures grand public actuelles embarquent plusieurs unités de calcul, réparties sur les processeurs et éventuellement sur les cartes graphiques. Ces ressources sont aujourd'hui facilement exploitables grâce à des interfaces de programmation parallèle comme OpenMP ou CUDA. Dans cette thèse, nous étudions la parallélisation d'opérateurs à différents niveaux arithmétique. Nous nous intéressons plus particulièrement à la multiplication entre entiers multiprécision ; à la multiplication modulaire ; et enfin à la multiplication scalaire sur les courbes elliptiques.Dans chacun des cas, nous étudions différents ordonnancements des calculs permettant d'obtenir les meilleures performances. Nous proposons également une bibliothèque permettant la parallélisation sur processeur graphique d'instances d'opérations modulaires et d'opérations sur les courbes elliptiques. Enfin, nous proposons une méthode d'optimisation automatique de la multiplication scalaire sur les courbes elliptiques pour de petits scalaires permettant l'élimination des sous-expressions communes apparaissant dans la formule et l'application systématique de transformations arithmétiques.