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.
Fields of science
- natural sciencescomputer and information sciencescomputer securitycryptography
- engineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcomputer hardwarequantum computers
- natural sciencesmathematicspure mathematicsarithmeticslogarithmic functions
Programme(s)
Funding Scheme
RIA - Research and Innovation actionCoordinator
69342 Lyon
France
See on map
Participants (14)
Legal entity other than a subcontractor which is affiliated or legally linked to a participant. The entity carries out work under the conditions laid down in the Grant Agreement, supplies goods or provides services for the action, but did not sign the Grant Agreement. A third party abides by the rules applicable to its related participant under the Grant Agreement with regard to eligibility of costs and control of expenditure.
75794 Paris
See on map
92130 Issy Les Moulineaux
See on map
3526 KV Utrecht
See on map
TW20 0EX Egham
See on map
44801 Bochum
See on map
Participation ended
08008 Barcelona
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
92230 Gennevilliers
See on map
2595 DA Den Haag
See on map
08034 Barcelona
See on map
35065 Rennes Cedex
See on map
Legal entity other than a subcontractor which is affiliated or legally linked to a participant. The entity carries out work under the conditions laid down in the Grant Agreement, supplies goods or provides services for the action, but did not sign the Grant Agreement. A third party abides by the rules applicable to its related participant under the Grant Agreement with regard to eligibility of costs and control of expenditure.
75794 Paris
See on map
7610001 Rehovot
See on map
4610101 Herzliya
See on map
08021 Barcelona
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.