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....
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
TEC2017-88243-R
SEGURIDAD DE LAS IMPLEMENTACIONES DE SISTEMAS CUANTICOS DE D...
39K€
Cerrado
TED2021-130369B-C32
ARQUITECTURAS Y TECNICAS RESISTENTES A COMPUTACION CUANTICA:...
116K€
Cerrado
AGATHA CRYPTY
Algebraic groups at the heart of post-quantum cryptography
1M€
Cerrado
PID2019-107274RB-I00
CRIPTOSISTEMAS BIOMETRICOS PARA TENOLOGIAS POST-QUANTUM
109K€
Cerrado
SECOQC
Development of a Global Network for Secure Communication bas...
17M€
Cerrado
PRE2020-096680
CRIPTOSISTEMAS BIOMETRICOS PARA TENOLOGIAS POST-QUANTUM
99K€
Cerrado
Información proyecto ObfusQation
Duración del proyecto: 63 meses
Fecha Inicio: 2023-09-12
Fecha Fin: 2028-12-31
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
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.