Description du projet
Se protéger contre les attaques quantiques de demain
Les ordinateurs quantiques pourraient un jour devenir si puissants qu’ils pourraient égaler la cryptographie la plus sophistiquée. En d’autres termes, nos communications et le commerce électroniques ne seront plus sûrs. La menace posée par les nouveaux environnements comme les mégadonnées, l’internet des objets et les cryptomonnaies, où la cryptographie traditionnelle ne suffit pas, représente un nouveau défi à relever. Le projet PARQ, financé par l’UE, s’intéresse aux treillis, qui ont été étudiés par les mathématiciens depuis le début des années 1900, afin de trouver une solution. Plus précisément, le projet concevra une cryptographie à base de treillis, une solution souvent considérée comme capable de résister aux ordinateurs quantiques. Le projet identifiera les meilleurs algorithmes parallèles et quantiques pour les problèmes de treillis, qui se sont avérés très polyvalents en matière de cryptographie.
Objectif
Today's digital world creates many security and privacy issues. But cryptography, a pillar of cybersecurity, is facing two major challenges. The first challenge is the threat of quantum computers, fueled by massive investment worldwide. Shor showed that a quantum computer can break the most prevalent forms of public-key cryptography used every day by e-commerce and bitcoins. This threat is now taken seriously by governmental organizations: the NIST initiated in 2016 a process to standardize by 2024 public-key cryptographic algorithms resistant to quantum computers. The second challenge is new environments, such as big data, IoT, or crypto-currencies. Because classical cryptography no longer suffices for these applications, novel cryptographic schemes and functionalities have been developed, e.g. to allow anyone to compute with encrypted data. But these benefits come at the cost of security uncertainty: it requires more risky assumptions and makes it more difficult to select parameters with confidence. Worryingly, the past few years have seen several established cryptographic assumptions collapse. Lattices are mathematical objects which have emerged in the past twenty years as the key technique to respond to these challenges: the ongoing standardization of homomorphic encryption and the majority of the candidates to NIST's post-quantum standardization rely on the conjectured hardness of lattice problems. This proposal aims at readying lattice-based cryptography for real-world deployment, by protecting it against the most powerful adversaries, from ASIC farms to quantum computers. We will study the best parallel and quantum algorithms for lattice problems, and derive automated tools to select safe parameters. The proposal will use the renowned expertise of the PI in lattice algorithms and cryptanalysis to explore the quantum frontiers of cryptanalysis.
Champ scientifique
- natural sciencescomputer and information sciencesinternetinternet of things
- natural sciencescomputer and information sciencesdata sciencebig data
- natural sciencescomputer and information sciencescomputer securitycryptography
- social scienceseconomics and businessbusiness and managementcommercee-commerce
- engineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcomputer hardwarequantum computers
Programme(s)
Thème(s)
Régime de financement
ERC-ADG - Advanced GrantInstitution d’accueil
78153 Le Chesnay Cedex
France