Projektbeschreibung
Obfuscation in der Quantenwelt erreichen
In der Kryptographie ist die Code Obfuscation essenziell. Es wird angenommen, dass sie sämtliche kryptographischen Funktionen übertrifft und die kryptographischen Möglichkeiten ausweitet. Die Quanteninformatik ist jedoch eine große Herausforderung: Viele Methoden zur Obfuscation sind nicht für Quantenalgorithmen geeignet und die verbliebenen Ansätze beruhen auf wackeligen Annahmen. Die Obfuscation ist auch auf klassische Programme begrenzt, sodass das Potenzial der Quanteninformatik ungenutzt bleibt. Daher soll über das ERC-finanzierte Projekt ObfusQation die Obfuscation für das Quantenzeitalter gefestigt werden. Konkret werden beweisbar sichere klassische Methoden zur Obfuscation gegen Quantenangriffe entwickelt und die Obfuscation von Quantenprogrammen wird ausgelotet. Mit der Forschung könnte die kryptographische Sicherheit im Quantenumfeld gestärkt werden und es könnten neue Anwendungen der Kryptographie aufkommen.
Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
- HORIZON.1.1 - European Research Council (ERC) Main Programme
Thema/Themen
Finanzierungsplan
HORIZON-ERC - HORIZON ERC GrantsGastgebende Einrichtung
20136 Milano
Italien