Conception de protocoles distribués sécurisés pour le calcul exact
Auteur / Autrice : | Lucas Ottow |
Direction : | Pascal Giorgi, Damien Vergnaud |
Type : | Projet de thèse |
Discipline(s) : | Informatique |
Date : | Inscription en doctorat le 01/09/2023 |
Etablissement(s) : | Université de Montpellier (2022-....) |
Ecole(s) doctorale(s) : | École doctorale Information, Structures, Systèmes (Montpellier ; 2015-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire d'Informatique, de Robotique et de Micro-électronique de Montpellier |
Equipe de recherche : Département Informatique |
Mots clés
Résumé
Le calcul distribué sécurisé est un outil prometteur, mais d'abord théorique, pour accompagner les nouveaux usages de la sécurité. Le concept a été introduit par Yao dans les années 80, il permet à différentes entités d'évaluer de façon interactive une fonction sur leur données privées sans dévoiler d'information à leur sujet. La distribution sécurisée des opérations élémentaires de l'algèbre linéaire a été initiée par les travaux de Bar-Ilan et Beaver (PODC 1989), puis dans les années 2000 par Cramer et Damgård (CRYPTO 2001), et Cramer, Kiltz, Padro (CRYPTO 2007). La question fondamentale abordée dans ces travaux concerne la conception de protocoles interactifs en tours de communication constants pour le calcul du déterminant, du polynôme caractéristique, du rang, ou d'un élément du noyau d'une matrice. Cette thèse se trouve à la croisée de la cryptographie et du calcul formel : nous souhaitons utiliser des techniques avancées du calcul formel pour tenter d'améliorer la complexité de ces protocoles distribués en terme de coût calculatoire et de bande passante, et nous allons nous intéresser à des calculs sur des objets algébriques plus complexes (par exemple des matrices de polynômes ou des matrices d'entiers). Cette thèse s'inscrit dans le challenge scientifique qui consiste à rendre plus pratiques des techniques encore trop théoriques.