Description
Date depot: 5 novembre 2019
Titre: Utilisation d’enclaves sécurisées pour la cryptographie quantique
Directrice de thèse:
Elham KASHEFI (LIP6)
Encadrante :
Myrto ARAPINIS (Univ. of Edinburgh)
Encadrant :
Marc KAPLAN (VeriQloud)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
La cryptographie quantique trouve son origine dans les travaux de Bennett et Brassard qui ont montré comment utiliser les propriétés quantiques de la lumière pour communiquer de manière sécurisée sur un canal non-sécurisé. Depuis, de nombreuses recherches ont montré que la communication quantique pouvait, dans de nombreux cas, améliorer la capacité des système de communication en termes de sécurité ou d’efficacité.
Un problème de ces protocoles est néanmoins leurs coûts en ressources quantiques avancées. En particulier, une grande quantité d’intrication, ou de communication quantique peut être un frein au déploiement pratique d’un protocole qui présente en théorie des avantages par rapport aux protocoles classiques.
Cette problématique de la complexité se retrouve également en cryptographie classique, ou l’ajout d’une couche de sécurité ou de confidentialité à certaines tâches se fait souvent au prix d’augmentations rédhibitoires de la complexité. Une manière de contourner cette augmentation dans les applications pratiques est alors d’utiliser des enclaves matérielles sécurisées. Ce dispositif permet processeur de réaliser des calculs de manière isolés de leurs environnements. Ce type de solution est utilisé pour gérer à distance la sécurité, par exemple pour des systèmes de gestion des droits numériques (DRM) ou d’authentification avec des architectures légères, et il est étudié aujourd’hui pour la création d’infrastructures de cloud sécurisées.
Dans cette thèse, nous souhaitons initier l’étude des enclaves matérielles sécurisées en cryptographie quantique. Il sera nécessaire de définir les modèles de sécurité pour cette nouvelle tâche. Le but sera ensuite de proposer des protocoles pratiques, avec une complexité acceptable, pour la cryptographie quantique. Enfin, un travail sera également fait sur l’implémentation des protocoles, en considérant différentes solutions d’enclaves sécurisées commerciales ou open-source.
Doctorant.e: Ma Yao