Sécurité et efficacité du calcul quantique délégué L'information quantique promet de révolutionner notre monde, de la façon dont nous communiquons à la façon dont nous calculons, en tirant sa puissance directement des lois qui régissent le comportement de la nature à des échelles extrêmement petites - la mécanique quantique. Dans un avenir proche, le matériel des ordinateurs quantiques éventuellement utiles devrait rester très coûteux et donc hors de portée de la plupart des utilisateurs finaux intéressés. Dans un tel monde, il est important de fournir des garanties de sécurité aux clients qui souhaitent donner des instructions à distance à des serveurs quantiques, en gardant leurs données privées (aveuglement) et en vérifiant l'exactitude des résultats (vérification). Cette fonctionnalité de l'informatique quantique déléguée sécurisée a reçu beaucoup d'attention au cours des dernières années, mais il reste encore beaucoup de questions ouvertes. Dans cette thèse, nous explorons l'(im)possibilité de sécuriser les calculs quantiques délégués dans différents contextes : quel est le matériel auquel le client doit avoir un accès sécurisé, quel est le matériel minimum requis par le serveur, et comment les parties doivent-elles communiquer ? Ce travail est motivé par la volonté de faire tomber les barrières qui nous empêchent de sécuriser et de vérifier les calculs quantiques dans la pratique, en identifiant et en supprimant les frais généraux inutiles. Nous commençons par nous interroger sur la nécessité d'une communication quantique entre le client et le serveur, et nous constatons que, si dans certaines situations la communication classique est tout à fait suffisante, le plus souvent la sécurité des protocoles de délégation repose de manière irremplaçable sur le caractère quantique de l'information échangée entre les parties. Cela prouve que la communication quantique est en effet un atout essentiel dans notre boîte à outils cryptographique. Nous nous concentrons ensuite sur le serveur qui souffrait de frais généraux irréalisables dans les tentatives précédentes de vérification quantique. Nous montrons que pour une large classe de calculs quantiques intéressants, il n'y a pas de besoin fondamental de réserver du matériel supplémentaire pour des techniques cryptographiques. En effet, nous donnons des constructions concrètes de protocoles sécurisés qui atteignent la cécité et la vérification sur du matériel de la même taille que celui qui serait nécessaire pour effectuer le calcul original non sécurisé, et nous fournissons un moyen systématique d'optimiser leur efficacité dans des contextes personnalisés. Notre voyage nous amène ensuite au problème du calcul multipartite sécurisé quantique, une généralisation de la fonctionnalité précédente à plus de deux parties participantes qui se méfient mutuellement. Nous explorons comment les améliorations que nous avons obtenues dans le cadre bipartite peuvent être transférées au cas multipartite, et nous terminons par la présentation de deux expériences réelles qui démontrent l'impact pratique et la faisabilité dans le monde réel des résultats obtenus au cours de cette thèse.
Sécurité et efficacité du calcul quantique délégué L'information quantique promet de révolutionner notre monde, de la façon dont nous communiquons à la façon dont nous calculons, en tirant sa puissance directement des lois qui régissent le comportement de la nature à des échelles extrêmement petites - la mécanique quantique. Dans un avenir proche, le matériel des ordinateurs quantiques éventuellement utiles devrait rester très coûteux et donc hors de portée de la plupart des utilisateurs finaux intéressés. Dans un tel monde, il est important de fournir des garanties de sécurité aux clients qui souhaitent donner des instructions à distance à des serveurs quantiques, en gardant leurs données privées (aveuglement) et en vérifiant l'exactitude des résultats (vérification). Cette fonctionnalité de l'informatique quantique déléguée sécurisée a reçu beaucoup d'attention au cours des dernières années, mais il reste encore beaucoup de questions ouvertes. Dans cette thèse, nous explorons l'(im)possibilité de sécuriser les calculs quantiques délégués dans différents contextes : quel est le matériel auquel le client doit avoir un accès sécurisé, quel est le matériel minimum requis par le serveur, et comment les parties doivent-elles communiquer ? Ce travail est motivé par la volonté de faire tomber les barrières qui nous empêchent de sécuriser et de vérifier les calculs quantiques dans la pratique, en identifiant et en supprimant les frais généraux inutiles. Nous commençons par nous interroger sur la nécessité d'une communication quantique entre le client et le serveur, et nous constatons que, si dans certaines situations la communication classique est tout à fait suffisante, le plus souvent la sécurité des protocoles de délégation repose de manière irremplaçable sur le caractère quantique de l'information échangée entre les parties. Cela prouve que la communication quantique est en effet un atout essentiel dans notre boîte à outils cryptographique. Nous nous concentrons ensuite sur le serveur qui souffrait de frais généraux irréalisables dans les tentatives précédentes de vérification quantique. Nous montrons que pour une large classe de calculs quantiques intéressants, il n'y a pas de besoin fondamental de réserver du matériel supplémentaire pour des techniques cryptographiques. En effet, nous donnons des constructions concrètes de protocoles sécurisés qui atteignent la cécité et la vérification sur du matériel de la même taille que celui qui serait nécessaire pour effectuer le calcul original non sécurisé, et nous fournissons un moyen systématique d'optimiser leur efficacité dans des contextes personnalisés. Notre voyage nous amène ensuite au problème du calcul multipartite sécurisé quantique, une généralisation de la fonctionnalité précédente à plus de deux parties participantes qui se méfient mutuellement. Nous explorons comment les améliorations que nous avons obtenues dans le cadre bipartite peuvent être transférées au cas multipartite, et nous terminons par la présentation de deux expériences réelles qui démontrent l'impact pratique et la faisabilité dans le monde réel des résultats obtenus au cours de cette thèse.
L'information quantique promet de révolutionner notre monde, de la façon dont nous communiquons à la façon dont nous calculons, en tirant sa puissance directement des lois qui régissent le comportement de la nature à des échelles extrêmement petites - la mécanique quantique. Dans un avenir proche, le matériel des ordinateurs quantiques éventuellement utiles devrait rester très coûteux et donc hors de portée de la plupart des utilisateurs finaux intéressés. Dans un tel monde, il est important de fournir des garanties de sécurité aux clients qui souhaitent donner des instructions à distance à des serveurs quantiques, en gardant leurs données privées (aveuglement) et en vérifiant l'exactitude des résultats (vérification). Cette fonctionnalité de l'informatique quantique déléguée sécurisée a reçu beaucoup d'attention au cours des dernières années, mais il reste encore beaucoup de questions ouvertes. Dans cette thèse, nous explorons l'(im)possibilité de sécuriser les calculs quantiques délégués dans différents contextes : quel est le matériel auquel le client doit avoir un accès sécurisé, quel est le matériel minimum requis par le serveur, et comment les parties doivent-elles communiquer ? Ce travail est motivé par la volonté de faire tomber les barrières qui nous empêchent de sécuriser et de vérifier les calculs quantiques dans la pratique, en identifiant et en supprimant les frais généraux inutiles. Nous commençons par nous interroger sur la nécessité d'une communication quantique entre le client et le serveur, et nous constatons que, si dans certaines situations la communication classique est tout à fait suffisante, le plus souvent la sécurité des protocoles de délégation repose de manière irremplaçable sur le caractère quantique de l'information échangée entre les parties. Cela prouve que la communication quantique est en effet un atout essentiel dans notre boîte à outils cryptographique. Nous nous concentrons ensuite sur le serveur qui souffrait de frais généraux irréalisables dans les tentatives précédentes de vérification quantique. Nous montrons que pour une large classe de calculs quantiques intéressants, il n'y a pas de besoin fondamental de réserver du matériel supplémentaire pour des techniques cryptographiques. En effet, nous donnons des constructions concrètes de protocoles sécurisés qui atteignent la cécité et la vérification sur du matériel de la même taille que celui qui serait nécessaire pour effectuer le calcul original non sécurisé, et nous fournissons un moyen systématique d'optimiser leur efficacité dans des contextes personnalisés. Notre voyage nous amène ensuite au problème du calcul multipartite sécurisé quantique, une généralisation de la fonctionnalité précédente à plus de deux parties participantes qui se méfient mutuellement. Nous explorons comment les améliorations que nous avons obtenues dans le cadre bipartite peuvent être transférées au cas multipartite, et nous terminons par la présentation de deux expériences réelles qui démontrent l'impact pratique et la faisabilité dans le monde réel des résultats obtenus au cours de cette thèse.
Protocoles de chiffrement quantiques de plusieurs parties en environnements réalistes Cette thèse se situe à l’interface entre la théorie quantique et les expériences, en mettant l’accent sur les protocoles pratiques qui peuvent être mises en place en utilisant la technologie présente. Notre objectif est de contribuer à la construction d’un cadre général pour la conception et la mise en oeuvre de schémas de chiffrement quantiques qui permettront d’améliorer la sécurité des futurs réseaux de télécommunication. En outre, cette thèse veut avancer la recherche pertinente sur la physique quantique et l’informatique, en améliorant notre compréhension du phénomène d’intrication. Les corrélations des états intriqués ne peuvent pas être reproduites par des moyens classiques, ce qui permet d’effectuer des tâches (par exemple la téléportation et le codage super-dense) qui sont autrement impossibles. Il est donc d’une importance majeure d’être capables de vérifier si un état quantique est intriqué. Dans cette thèse, nous montrons comment vérifier efficacement si une source physique peut créer des états intriqués multipartites et les partager avec de nombreuses parties, dont certains sont malhonnêtes et collaborent avec la source. Ce protocole pourrait s’avérer essentiel pour tout type de calcul quantique entre les parties méfiantes et pourrait aussi faciliter la délégation sécurisée des tâches de calcul aux serveurs quantiques puissants qui ne sont pas fiables. Finalement, nous étudions le lien entre la théorie des jeux et la non-localité quantique, dans le cadre de jeux bayésiens. Nous examinons comment l’intrication partagé aide les joueurs gagner un jeu avec une probabilité plus élevée que les ressources classiques pourraient atteindre.
Sécurité du matériel quantique avec des applications à court terme Les primitives de sécurité matérielle sont des composants et des mécanismes fondamentaux basés sur le matériel et utilisés pour améliorer la sécurité des systèmes informatiques modernes en général. Ces primitives fournissent des éléments de base pour la mise en œuvre des fonctions de sécurité et la protection contre les menaces afin de garantir l'intégrité, la confidentialité et la disponibilité des informations et des ressources. Avec le développement à grande vitesse de l'informatique quantique et du traitement de l'information, la construction de primitives de sécurité matérielle avec des systèmes mécaniques quantiques présente un énorme potentiel. Parallèlement, il devient de plus en plus important de traiter les vulnérabilités potentielles du point de vue du matériel pour garantir les propriétés de sécurité des applications quantiques. La thèse se concentre sur les primitives de sécurité matérielles pratiques en analogie quantique, qui se réfèrent à la conception et à la mise en œuvre de fonctions de sécurité matérielles avec des systèmes mécaniques quantiques contre diverses menaces et attaques. Notre recherche s'articule autour de deux questions: Comment les systèmes mécaniques quantiques peuvent-ils améliorer la sécurité des primitives de sécurité matérielle existantes? Et comment les primitives de sécurité matérielle peuvent-elles protéger les systèmes d'informatique quantique? Nous apportons les réponses en étudiant deux types de primitives de sécurité matérielle avec des systèmes mécaniques quantiques, de la construction à l'application: Physical Unclonable Function (PUF) et Trusted Execution Environments (TEE). Nous proposons tout d'abord des constructions hybrides classiques-quantiques de PUF appelées HPUF et HLPUF. Alors que les PUF exploitent les propriétés physiques propres à chaque dispositif matériel individuel pour générer des clés ou des identifiants spécifiques, nos constructions intègrent des technologies de traitement quantique de l'information et mettent en œuvre des protocoles d'authentification et de communication sécurisés avec des clés quantiques réutilisables. Deuxièmement, inspirés par les TEE qui obtiennent des propriétés d'isolation par un mécanisme matériel, nous proposons la construction de QEnclave avec des systèmes mécaniques quantiques. L'idée est de fournir des environnements d'exécution isolés et sécurisés au sein d'un système informatique quantique plus large en utilisant des enclaves/processeurs sécurisés pour protéger les opérations sensibles d'un accès non autorisé ou d'une altération avec des hypothèses de confiance minimales. Il en résulte une construction de QEnclave assez simple de manière opérationnelle, avec l'exécution de rotations sur des qubits uniques. Nous montrons que QEnclave permet un calcul quantique aveugle délégué sur le serveur en nuage avec un utilisateur classique distant dans le cadre des définitions de sécurité.
Les ordinateurs quantiques promettent de surprenantes puissances de calcul en exploitant les étonnantes propriétés de particules infiniment petites. Je m'applique à prouver la sécurité de protocoles permettant à un client purement classique d'utiliser les ressources calculatoires d'un serveur quantique, de manière à ce que le calcul effectué ne soit jamais révélé au serveur. À cette fin, je développe un outil modulaire permettant de générer sur un serveur distant un état quantique que seul le client est en capacité de décrire, et je montre comment on peut générer plus efficacement des états quantiques sur plusieurs qubits. Je prouve également qu'il n'existe pas de protocoles de ce type qui soit sécurisé dans un modèle de sécurité généralement composable, y compris lorsque ce module est utilisé dans le protocole UBQC. Outre le calcul délégué, cet outil s’avère également être utile pour effectuer une tache qui pourrait paraître impossible à réaliser de prime abord: prouver des propriétés avancées sur un état quantique de manière non-interactive (un seul message est envoyé) et non-destructive (l'état quantique reçu est intact), y compris lorsque cet état est généré collaborativement par plusieurs participants. Cette propriété s'avère en particulier utile pour pouvoir filtrer les participants dans un protocole sans révéler leur identité, et peut avoir des applications dans d'autres domaines, par exemple pour transmettre un état quantique sur un réseau tout en cachant la source et la destination du message. Enfin, je discute de mes travaux indépendants en cours sur les programmes à usage unique, mêlant cryptographie quantique, codes correcteurs et théorie de l'information.
Il y a des problemes qui semblent impossible a resoudre sans l'utilisation d'un tiers parti honnete. Comment est-ce que deux millionnaires peuvent savoir qui est le plus riche sans dire a l'autre la valeur de ses biens ? Que peut-on faire pour prevenir les collisions de satellites quand les trajectoires sont secretes ? Comment est-ce que les chercheurs peuvent apprendre les liens entre des medicaments et des maladies sans compromettre les droits prives du patient ? Comment est-ce qu'une organisation peut ecmpecher le gouvernement d'abuser de l'information dont il dispose en sachant que l'organisation doit n'avoir aucun acces a cette information ? Le Calcul multiparti, une branche de la cryptographie, etudie comment creer des protocoles pour realiser de telles taches sans l'utilisation d'un tiers parti honnete. Les protocoles doivent etre prives, corrects, efficaces et robustes. Un protocole est prive si un adversaire n'apprend rien de plus que ce que lui donnerait un tiers parti honnete. Un protocole est correct si un joueur honnete recoit ce que lui donnerait un tiers parti honnete. Un protocole devrait bien sur etre efficace. Etre robuste correspond au fait qu'un protocole marche meme si un petit ensemble des joueurs triche. On demontre que sous l'hypothese d'un canal de diusion simultane on peut echanger la robustesse pour la validite et le fait d'etre prive contre certains ensembles d'adversaires. Le calcul multiparti a quatre outils de base : le transfert inconscient, la mise en gage, le partage de secret et le brouillage de circuit. Les protocoles du calcul multiparti peuvent etre construits avec uniquements ces outils. On peut aussi construire les protocoles a partir d'hypoth eses calculatoires. Les protocoles construits a partir de ces outils sont souples et peuvent resister aux changements technologiques et a des ameliorations algorithmiques. Nous nous demandons si l'efficacite necessite des hypotheses de calcul. Nous demontrons que ce n'est pas le cas en construisant des protocoles efficaces a partir de ces outils de base. Cette these est constitue de quatre articles rediges en collaboration avec d'autres chercheurs. Ceci constitue la partie mature de ma recherche et sont mes contributions principales au cours de cette periode de temps. Dans le premier ouvrage presente dans cette these, nous etudions la capacite de mise en gage des canaux bruites. Nous demontrons tout d'abord une limite inferieure stricte qui implique que contrairement au transfert inconscient, il n'existe aucun protocole de taux constant pour les mises en gage de bit. Nous demontrons ensuite que, en limitant la facon dont les engagements peuvent etre ouverts, nous pouvons faire mieux et meme un taux constant dans certains cas. Ceci est fait en exploitant la notion de cover-free families . Dans le second article, nous demontrons que pour certains problemes, il existe un echange entre robustesse, la validite et le prive. Il s'effectue en utilisant le partage de secret veriable, une preuve a divulgation nulle, le concept de fantomes et une technique que nous appelons les balles et les bacs. Dans notre troisieme contribution, nous demontrons qu'un grand nombre de protocoles dans la litterature basee sur des hypotheses de calcul peuvent etre instancies a partir d'une primitive appelee Transfert Inconscient Veriable, via le concept de Transfert Inconscient Generalise. Le protocole utilise le partage de secret comme outils de base. Dans la derniere publication, nous counstruisons un protocole efficace avec un nombre constant de rondes pour le calcul a deux parties. L'efficacite du protocole derive du fait qu'on remplace le coeur d'un protocole standard par une primitive qui fonctionne plus ou moins bien mais qui est tres peu couteux. On protege le protocole contre les defauts en utilisant le concept de privacy amplication .
Réseaux sécurisés de capteurs quantiques Les réseaux quantiques constituent un cadre puissant pour interconnecter des systèmes quantiques spatialement séparés et permettre la distribution de ressources quantiques entre plusieurs nœuds. De telles plateformes offrent de nouvelles possibilités pour des tâches telles que la communication sécurisée, le calcul distribué et la détection améliorée par des effets quantiques. Par conséquent, elles ont suscité un intérêt croissant au cours des dernières décennies, tant de la part des communautés théoriques qu’expérimentales en information quantique. Cette thèse présente plusieurs travaux unifiés par le thème de la privacité dans les réseaux de capteurs quantiques. Tout d’abord, le Chapitre 1 introduit le contexte et la motivation de cette thèse, ainsi que les bases techniques nécessaires aux chapitres suivants, couvrant des concepts fondamentaux de l’information quantique, les états de graphe et la vérification d’états, jusqu’aux éléments clés de la métrologie quantique et de l’information de Fisher, qui donnent naissance à la notion de privacité dans les réseaux quantiques et à la formulation de protocoles d’estimation de paramètres privés. En s’appuyant sur ce dernier principe, nous discutons de la manière dont une notion de privacité peut être formulée dans le cadre des systèmes quantiques. La thèse examine ensuite plusieurs aspects de ce cadre. Tout d’abord, dans le Chapitre 2, elle explore l’interaction entre la précision d’estimation et la privacité dans le cas où plusieurs agents d’un réseau quantique estiment collectivement une combinaison linéaire de leurs paramètres locaux. Ce chapitre comprend une méthode permettant de déterminer les états optimaux assurant la privacité pour la fonction cible souhaitée, une manière de quantifier le niveau de privacité dû au bruit en fonction de la proximité des états utilisés avec l’état sonde optimal, ainsi que certaines garanties de privacité pour certaines familles d’états. Par la suite, dans le Chapitre 3, elle examine les défis et les limitations qui apparaissent lors de la mise en œuvre expérimentale de protocoles de détection en réseau, en présentant la première implémentation complète de l’estimation privée de paramètres dans des réseaux de capteurs quantiques. Ensuite, dans le Chapitre 4, ce travail étudie comment de tels protocoles peuvent être étendus pour intégrer des fonctionnalités de sécurité supplémentaires, telles que l’anonymat. Enfin, dans le Chapitre 5, il analyse des variantes de ces protocoles utilisant des états de graphe afin d’offrir une robustesse accrue face au bruit, tout en garantissant la privacité dans l’estimation de paramètres globaux au sein du réseau.