Description
Date depot: 1 janvier 1900
Titre: Caractérisation et modélisation de générateurs d'aléas basés sur la métastabilité
Encadrant :
Tarik GRABA (LTCI (EDMH))
Directeur de thèse:
Jean-Luc DANGER (LTCI (EDMH))
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Les générateurs d'aléa vrai(TRNG)~cite{TRNG-ICTER-2009,DBLP:conf/ches/KillmannS08} sont des éléments essentiels de certains protocoles cryptographiques, mais aussi de contre-mesures.
Un TRNG prédictible est simplement contradictoire avec sa vocation.
Ainsi le concepteur doit être en mesure de caractériser le TRNG notamment en terme d'entropie et en fonction de l'environnement.
Une catégorie de TRNGs délivrant le maximum de débit repose sur le phénomène de métastabilité ~cite{JLD:ELSEVIER-09,srinivasan-09}
dans les éléments mémoire.
Ils sont particulièrement attrayants pour la protection des implémentations cryptographiques.
En revanche l'hypothèse de générateur idéal d'aléa dans un système cryptographique ne peut véritablement être vérifié qu'avec la génération d'un modèle mathématique décrivant le comportement~cite{suresh-2010,DBLP:conf/ches/KillmannS08}.
Ce modèle permet de certifier le bon fonctionnement et la résistance face aux attaques physiques dans un environnement.
Le modèle est basé sur des paramètres obtenus grâce à des evaluations au laboratoire ou à l'aide de simulateur électrique.
Les TRNG nécessitent un étage de post-traitement permettant d'éliminer des biais ou augmenter leur fiabilité ou résistance aux attaques. Ces étages doivent également être évalués et modélisés pour considérer le comportement global du TRNG.
Doctorant.e: Ben Romdhane Molka