Description du projet
Sécuriser l’obfuscation dans un monde quantique
Dans le domaine de la cryptographie, l’obfuscation des programmes est cruciale, car elle couvre presque toutes les fonctions cryptographiques et améliore les capacités cryptographiques. L’informatique quantique pose toutefois d’importants défis dans la mesure où de nombreuses méthodes d’obfuscation actuelles échouent face aux algorithmes quantiques, et celles qui demeurent sûres reposent sur des hypothèses douteuses. Qui plus est, l’obfuscation se limite aux programmes classiques, négligeant le potentiel de l’informatique quantique. Dans ce contexte, le projet ObfusQation, financé par le CER se propose de consolider l’obfuscation à l’ère quantique. Plus précisément, il développera des méthodes d’obfuscation classiques sûres contre les attaques quantiques et explorera l’obfuscation des programmes quantiques. Cette recherche devrait renforcer la sécurité cryptographique dans un paysage quantique et débloquer de nouvelles applications pour la cryptographie.
Objectif
Program obfuscation is a central building block in cryptography and has been conjectured to be crypto-complete: It subsumes virtually all known cryptographic primitives, and extends the scope of cryptography with new capabilities. Yet, when bringing quantum computation into the picture, our understanding of obfuscation is inadequate: (i) On the one hand, quantum algorithms break most known constructions of obfuscation, and the few that survive are based on poorly understood computational assumptions. (ii) On the other hand, obfuscation is limited to classical programs and thus fails to cater the potential advantages of quantum computation. The notion of obfuscation of quantum programs is largely unexplored. At present, we do not even know a heuristic construction of quantum obfuscation, let alone a provably-secure one.
The goal of this research program is to place obfuscation on firm footing, even in a quantum world. We will develop new constructions of classical obfuscation that are provably secure against quantum algorithms. Then, using this cryptographic tool, we will systematically tackle the question of obfuscating quantum programs. Quantum obfuscation will provide the theoretical foundation for cryptography secure against quantum attacks, and will open the floodgate for new applications of cryptography in a quantum world.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMME PRINCIPAL
Voir tous les projets financés dans le cadre de ce programme
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
HORIZON-ERC - HORIZON ERC Grants
Voir tous les projets financés dans le cadre de ce programme de financement
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
(s’ouvre dans une nouvelle fenêtre) ERC-2022-STG
Voir tous les projets financés au titre de cet appelInstitution d’accueil
La contribution financière nette de l’UE est la somme d’argent que le participant reçoit, déduite de la contribution de l’UE versée à son tiers lié. Elle prend en compte la répartition de la contribution financière de l’UE entre les bénéficiaires directs du projet et d’autres types de participants, tels que les participants tiers.
20136 Milano
Italie
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.