Description du projet
Cryptographie: aligner la théorie et la pratique
À ce jour, il existe un grand écart entre les aspects théoriques et pratiques de la cryptographie. Le projet REWORC, financé par l’UE, entend le réduire. Pour ce faire, il posera notamment les bases théoriques pour une cryptographie réelle et développera de nouveaux outils et modèles pour la conception et l’analyse d’une cryptographie pratique dans le contexte post-quantique. Les travaux du projet auront un impact à long terme sur la conception de protocoles théoriques, influenceront les efforts actuels de normalisation dans la cryptographie post-quantique et dissiperont les doutes sur la sécurité de la cryptographie importante utilisée dans la pratique.
Objectif
Almost half a century after the invention of public-key cryptography, there is still a vast discrepancy between
the theory and practice of cryptography. With some notable exceptions, research from the cryptographic theory
community focuses on problems of great theoretical interest, albeit completely disconnected from the real world. On the other hand, widely used real-world cryptographic protocols are being neglected because they are either mathematically ugly, their solutions appear uninteresting, or they simply do not cross the mind of theoreticians. The current state can be summarized as follows:
• Several well-established theoretical cryptographic concepts fall short from properly modeling the way practitioners think about real-world cryptography
• There exists a surprisingly large amount of modern cryptographic primitives and standards with unclear provable security status.
The central objective of the REWORC project is thus to narrow the gap between theory and practice of cryptography, providing a solid theoretical groundwork for real-world cryptography. To this end, we will
• lay a new theoretical foundation for real-world cryptography in the elliptic curve setting
• develop new tools and models for the design and analysis of practical cryptography in the post-quantum setting
• revisit the concrete security of legacy cryptography from the 2000s, recently established standards, and forthcoming standards.
REWORC will have a substantial long-term impact on theoretical protocol design, influence ongoing standardization
efforts in post-quantum cryptography, and settle doubts about the security of important cryptography
used in practice.
Programme(s)
- HORIZON.1.1 - European Research Council (ERC) Main Programme
Thème(s)
Régime de financement
HORIZON-AG - HORIZON Action Grant Budget-BasedInstitution d’accueil
44801 Bochum
Allemagne