logo N&B

Soutenance de thèse de M. Athanasios Papadimitriou - Grenoble INP - LCIS2

Imprimer la page
Le laboratoire
Rechercher
 
 
logo du groupe Grenoble INP

Université Grenoble Alpes logo
 

Soutenance de thèse de M. Athanasios Papadimitriou

Publié le 23 juin 2016
 
Date de l'évènement : Lundi 27 juin 2016 à 14h00
 
"Modélisation au niveau RTL des Attaques laser Pour l'évaluation des circuits Intégrés sécurisés et la conception de contremesures"

Résumé:

De nombreux aspects de notre vie courante reposent sur l'échange de données grâce à des systèmes de communication électroniques. Des algorithmes de chiffrement puissants garantissent alors la sécurité, la confidentialité et l'authentification de ces échanges. Néanmoins, ces algorithmes sont implémentés dans des équipements qui peuvent être la cible d'attaques. Plusieurs attaques visant les circuits intégrés sont rapportées dans la littérature. Parmi celles-ci, les attaques laser ont été rapportées comme étant très efficace. Le principe consiste alors à illuminer le circuit au moyen d'un faisceau laser afin d'induire un comportement erroné et par analyse différentielle (DFA) afin de déduire des informations secrètes.
L'objectif principal de cette thèse est de fournir des outils de CAO efficaces permettant de sécuriser les circuits en évaluant les contremesures proposées contre les attaques laser et cela très tôt dans le flot de conception.
Cette thèse est effectuée dans le cadre d'une collaboration étroite entre deux laboratoires de Grenoble INP : le LCIS et le TIMA. Ce travail est également réalisé dans le cadre du projet ANR LIESSE impliquant plusieurs autres partenaires, dont notamment STMicroelectronics.
Un modèle de faute au niveau RTL a été développé afin d’émuler des attaques laser. Ce modèle de faute a été utilisé pour évaluer différentes architectures cryptographiques sécurisées grâce à des campagnes d'injection de faute émulées sur FPGA.
Ces campagnes d'injection ont été réalisées en collaboration avec le laboratoire TIMA et elles ont permis de comparer les résultats obtenus avec d'autres modèles de faute. De plus, l'approche a été validée en utilisant une description au niveau layout de plusieurs circuits. Cette validation a permis de quantifier l'efficacité du modèle de faute pour prévoir des fautes localisées. De plus, en collaboration avec le CMP (Centre de Microélectronique de Provence) des injections de faute laser expérimentales ont été réalisées sur des circuits intégrés récents de STMICROELECTRONICS et les résultats ont été utilisés pour valider le modèle de faute RTL.
Finalement, ce modèle de faute RTL mène au développement d'une contremesure RTL contre les attaques laser. Cette contremesure a été mise en œuvre et évaluée par des campagnes de simulation de fautes avec le modèle de faute RTL et d'autres modèles de faute classiques.

 
Jury:

M. Jean-Luc DANGER - Professeur des Universités, Telecom ParisTech, Rapporteur
M. Lionel TORRES - Professeur des Universités, Université Montpellier II, Rapporteur
M. Bruno ROUZEYRE - Professeur des Universités, Université Montpellier II, Examinateur
M. Vincent BEROULLE - Maître de Conférences, Grenoble INP, Directeur
M. David HELY - Maître de Conférences, Grenoble INP, Co-encadrant
M. Paolo MAISTRI - Chargé de recherche, CNRS, Co-encadrant
M. Régis LEVEUGLE - Professeur des Universités, Grenoble INP, Invité
 
Lieu :
Salle A042 à l'Esisar,
Pour y accéder, vous pouvez consulter le plan d'accès: cliquez ici
 
Contacts
 

Directeur :
Michel Occello

Directeur Adjoint :
Laurent Lefevre

Responsable Administration et Finances
Carole Seyvet
Tel : 04 75 75 94 49

Assistante Administration et Finances
Jennyfer Duberville
Tel : 04 75 75 94 42
 
 
LCIS
50, rue Barthélémy de Laffemas BP54 26902 VALENCE Cedex 09 France
Tél : +33 (0)4 75 75 94 49 Copyright Grenoble INP