Description
Date depot: 1 janvier 1900
Titre: Modèles de sécurité réalistes pour les systèmes de distribution quantique de clés.
Directeur de thèse:
Jean-Claude BELFIORE (LTCI (EDMH))
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Projet : De nombreuses preuves de sécurité de protocoles de distribution quantique de clés ont été publiées depuis la première expérience de Bennet et Brassard en 1984. Le protocole BB84 a par exemple été prouvé sûr contre les attaques les plus générales autorisées par la mécanique quantique, les attaques cohérentes. Afin de réaliser ces attaques, un adversaire a besoin de mémoire quantique sans bruit. Cependant il n’existe pas à l’heure actuelle de technologie permettant de créer de telles mémoires. Il est donc important de savoir quantifier plus précisément la puissance de l’adversaire lorsque celui-ci n’a pas accès à une mémoire quantique parfaite.
L’objectif de cette thèse est tout d’abord d’imaginer des attaques explicites contre des protocoles de distribution quantique de clé dans le cas où la mémoire quantique est bruitée. Il s’agira de modéliser le bruit dans la mémoire quantique de façon à pouvoir calculer une borne sur l’information que peut récupérer l’adversaire. Dans un second temps, les connaissances acquises lors de l’étude des attaques explicites permettront de construire une preuve de sécurité aussi générale que possible contre un adversaire limité par la qualité de sa mémoire quantique. Enfin on pourra imaginer de nouveaux protocoles de distribution quantique de clé qui exploitent cette faiblesse spécifique de l’adversaire pour obtenir de meilleures bornes de sécurité.
Enjeu : Ce travail permettra de mieux comprendre comment évoluent les preuves de sécurité lorsqu'on s'éloigne des conditions habituelles de toute puissance de l'espion. Dans le contexte actuel d'amorçage de l'industrialisation des équipements de distribution quantique de clés, cette thèse apportera des éléments utiles à la future certification de ces produits.
Doctorant.e: Bocquet Aurelien