Vous êtes ici : UVSQ RechercheDoctoratSoutenances de thèse

«Etude de la sécurité des implémentations de couplage» par Ronan Lashermes

Présentée par : Ronan Lashermes Discipline : informatique Laboratoire : PRISM

Résumé :
Les couplages sont des algorithmes cryptographiques qui permettent de nouveaux protocoles de cryptographie à clé publique. Après une décennie de recherches sur des implémentations efficaces, ce qui permet maintenant d’exécuter un couplage en un temps raisonnable, nous nous sommes concentrés sur la sécurité de ces mêmes implémentations.
Pour cela nous avons évalué la résistance des algorithmes de couplage contre les attaques en faute. Nous avons envoyé des impulsions électromagnétiques sur la puce calculant le couplage à des moments choisis. Cela nous a permis de remonter au secret cryptographique qu’est censé protéger l’algorithme de couplage. Cette étude fut à la fois théorique et pratique avec la mise en œuvre d’attaques en faute. Finalement, des contremesures ont été proposées pour pouvoir protéger l’algorithme dans le futur.

Abstract :
Pairings are cryptographic algorithms allowing new protocols for public-key cryptography. After a decade of research which led to a dramatic improvement of the computation speed of pairings, we focused on the security of pairing implementations.
For that purpose, we evaluated the resistance to fault attacks. We have sent electromagnetic pulses in the chip computing a pairing at a precise instant. It allowed us to recover the cryptographic secret which should be protected in the computation. Our study was both theoretical and practical; we did implement actual fault attacks. Finally, we proposed countermeasures in order to protect the algorithm in the future.
Informations complémentaires
Antoine JOUX, Professeur Associé, à l’Université Pierre et Marie Curie/Laboratoire d’Informatique de Paris 6 (LIP6) - Paris - Rapporteur
Jean-Pierre SEIFERT, Professeur des Universités, au Technische Universität Berlin/Telekom innovation Laboratories - Berlin (Allemagne) - Rapporteur
Louis GOUBIN, Professeur des Universités, à l’Université de Versailles Saint-Quentin-en-Yvelines/Laboratoire Parallélisme, Réseaux, Système, Modélisation (PRISM) - Versailles - Directeur de thèse
Pierre-Alain FOUQUE, Professeur des Universités, à l’Université de Rennes 1/Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) - UMR 6074 - Rennes - Examinateur
Jacques FOURNIER, Ingénieur de Recherche, au CEA/Centre Micro-électronique de Provence Georges Charpak (CMPGC) - Gardanne - Examinateur
Daniel PAGE, Maître de Conférences, Habilité à Diriger des Recherches, à l’Université de Bristol/Département d’Informatique - Bristol (Royaume-Uni) - Examinateur
Contact :
dredval service FED :