Descrizione del progetto
Proteggere l'offuscamento del codice alla luce dell’ascesa del calcolo quantistico
Nel campo della crittografia, l'offuscamento del codice dei programmi è fondamentale e si ipotizza che comprenda quasi tutte le funzioni crittografiche, oltre a migliorare le capacità di tal tipo. Ciononostante, il calcolo quantistico pone sfide significative in tal senso: molti degli attuali metodi di offuscamento del codice falliscono contro gli algoritmi quantistici, mentre quelli che si rivelano sicuri si basano su presupposti poco stabili. Per di più, l’offuscamento del codice si limita ai programmi classici, trascurando le potenzialità insite nell'informatica quantistica. In questo contesto, il progetto ObfusQation, finanziato dal CER, si propone di consolidare l'offuscamento del codice nell'era quantistica. In particolare, il progetto svilupperà metodi di offuscamento classico del codice dimostrabilmente sicuri contro gli attacchi quantistici ed esplorerà questo metodo per i programmi quantici, mettendo in atto una ricerca che promette di rafforzare la sicurezza crittografica nel panorama quantistico e di sbloccare nuove applicazioni per la crittografia.
Obiettivo
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
- HORIZON.1.1 - European Research Council (ERC) Main Programme
Argomento(i)
Meccanismo di finanziamento
HORIZON-ERC - HORIZON ERC GrantsIstituzione ospitante
20136 Milano
Italia