New Foundations for Real-World Cryptography

Almost half a century after the invention of public-key cryptography, there is still a vast discrepancy betweenthe theory and practice of cryptography. With some notable exceptions, research from the cryptographic theorycommunity 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 standardizationefforts in post-quantum cryptography, and settle doubts about the security of important cryptographyused in practice.