LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

MA Yao

PhD student
Team : QI
Arrival date : 10/15/2019
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 1, Bureau 103
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 70 29, Yao.Ma (at) nulllip6.fr
Supervision : Elham KASHEFI
Co-supervision : ARAPINIS Myrto (Univeristy of Edinburgh)

Utilisation d’enclaves sécurisées pour la cryptographie quantique

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.
 Mentions légales
Site map |