Objective
Privacy-preserving cryptographic protocols allow users to take common daily life actions online (e.g, purchases, reservations or voting) without leaking sensitive personal information. They typically combine various tools such as digital signatures, homomorphic encryption or zero-knowledge proofs. While practical solutions exist under RSA or discrete logarithm assumptions, they are all completely vulnerable to quantum attacks, so that working quantum computers would immediately make them obsolete.
To address this threat, the PROMETHEUS project will enable users' privacy in the post-quantum world by providing a complete toolbox of innovative, efficient and quantum-secure cryptographic techniques adapted to modern services. It will provide new building blocks in relation with international competitions and standardisation processes, as well as advanced properties dedicated to the design of sophisticated protocols.
To this end, PROMETHEUS will focus on lattice-based cryptography and first conduct an in-depth study of the hardness of lattice problems in the quantum world, which will drive the development of better basic tools for lattice-based cryptography. Then, it will give a new set of practical primitives (signatures, public-key encryption, pseudorandom functions, etc) and suitable methods to combine them with efficient zero-knowledge proofs. These new tools will lead to the design of practical advanced protocols, like anonymous credentials, digital cash or electronic voting, that maintain users' privacy against quantum adversaries. The security of these protocols will be considered in its entirety, from theoretical definitions allowing quantum accesses to certain functionalities to practical implementations accounting for side-channel leakages.
As a concrete outcome, PROMETHEUS will highlight the feasibility of post-quantum privacy via demonstrators for several real-life use cases, including electronic payments, e-voting and cyberthreat intelligence.
Field of science
- /natural sciences/mathematics/pure mathematics/arithmetic/logarithm
- /natural sciences/computer and information sciences/computer security/cryptography
- /engineering and technology/electrical engineering, electronic engineering, information engineering/electronic engineering/computer hardware/quantum computer
Programme(s)
Call for proposal
H2020-DS-LEIT-2017
See other projects for this call
Funding Scheme
RIA - Research and Innovation action
Coordinator
69342 Lyon
France
Participants (12)
75015 Paris
3526 KV Utrecht
TW20 0EX Egham
44801 Bochum
Participation ended
08008 Barcelona
92230 Gennevilliers
2595 DA Den Haag
08034 Barcelona
35065 Rennes Cedex
7610001 Rehovot
46150 Herzliya
08008 Barcelona
