Français (French) English
ÉCOLE NATIONALE SUPÉRIEURE DES SCIENCES APPLIQUÉES ET DE TECHNOLOGIE
  • RESEARCH CENTER

  • PUBLIC ENGINEERING SCHOOL

Soutenance de thèse d'Audrey LUCAS

Jeudi 19 décembre 2019 à 14h, à l'Enssat - Lannion (salle 020 G)

Audrey LUCAS soutiendra sa thèse de doctorat intitulée : « Support logiciel robuste aux attaques passives et actives pour l'arithmétique de cryptographie asymétrique sur de très petits coeurs de calcul », sous la direction d'Arnaud TISSERAND (directeur de Recherche CNRS, Las-STICC  - directeur de thèse).

Résumé de thèse :

Cette thèse porte sur le développement et l'évaluation de protections contrant simultanément des attaques par perturbation (FA) et des attaques par observation (SCA) dans le contexte de la cryptographie basée sur les courbes elliptiques (ECC). Deux protections ont été proposées pour la multiplication scalaire (SM), l'opération principale d'ECC. La première, nommée vérification de point (PV), permet une uniformisation de la SM grâce à une vérification de l'appartenance du point courant à la courbe. La SM ainsi obtenue est uniforme et donc résistante aux SPA mais aussi résistante à certaines FA. La seconde, nommée compteur d'itérations (IC), protège le scalaire contre certaines FA, tout en ayant un comportement uniforme et avec un très faible surcoût. Ces deux protections ont été implantées sur un microcontrôleur Cortex M0 pour les courbes de Weierstrass et de Montgomery, et ce pour différents types de coordonnées. Le surcoût de ces méthodes varie entre 48 % et 62 % dans le pire des cas (lorsque la PV est réalisée à chaque itération de la SM). Cela est moindre que celui des protections de bases habituelles contre les SCA. Un simulateur d'activité théorique au niveau arithmétique est également proposé. Il reproduit l'architecture d'un microcontrôleur 32 bits très simple. L'activité théorique est modélisée grâce à la variation du poids de Hamming des données manipulées lors de l'exécution. Grâce à ce simulateur, l'impact des opérandes sur l'activité des unités arithmétiques a pu être illustré. De plus, des attaques SPA et DPA furent réalisées pour évaluer les protections précédentes. Nos protections montrent une amélioration de la sécurité.

Vous recherchez une info ?

 

 

Agenda

See all events

Tournoi tarot-belote

Samedi 25 janvier 2020, à 14h à l'Enssat - Lannion (bâtiment 2, place de Viveiro)

Portes ouvertes à Rennes

Samedi 8 février 2020, de 9h à 17h - Université de Rennes 1 (Campus de Beaulieu)

Séminaire « Le laser Mégajoule, au service de la dissuasion »

Mercredi 12 février 2019, de 10h30 à 12h30, à l’Enssat (amphithéâtre 138 C), Lannion

Page 1 of 2  > >>