Trust-by-Design – Strong Security Arguments for Symmetric Key Cryptography

Información del proyecto

SymTrust

Identificador del acuerdo de subvención: 101097056

DOI

10.3030/101097056

Fecha de la firma de la CE 23 Mayo 2023

Fecha de inicio 1 Septiembre 2023

Fecha de finalización 31 Agosto 2028

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 2 485 000,00

Aportación de la UE

€ 2 485 000,00

Coordinado por

RUHR-UNIVERSITAET BOCHUM
Germany

Periodic Reporting for period 1 - SymTrust (Trust-by-Design – Strong Security Arguments for Symmetric Key Cryptography)

Período documentado: 2023-09-01 hasta 2026-02-28

Resumen del contexto y de los objetivos generales del proyecto

Being able to communicate privately and securely is essential in today’s digital world. From online banking and cloud storage to private messaging, our personal and professional lives depend on data being protected from unauthorized access.

Cryptography is the key technology that makes this possible. In particular, symmetric cryptography—the use of shared secret keys to encrypt and decrypt data—protects the vast majority of information that flows through the internet and is stored in digital systems. Its importance will only continue to grow as our reliance on digital infrastructure increases.

While symmetric cryptography has seen remarkable progress in terms of speed and efficiency, the same cannot be said for how we understand and guarantee its security. Many of today’s cryptographic security arguments rely on unproven or unrealistic assumptions, and even the attacks used to test them often rest on shaky ground.

This ERC Advanced Grant aims to change that. By developing cryptographic primitives whose security can be demonstrated from first principles, we aim to build the next generation of cryptographic tools: fast, efficient, and mathematically trustworthy foundations for secure digital communication.

Trabajo realizado desde el comienzo del proyecto hasta el final del período abarcado por el informe y los principales resultados hasta la fecha

The project is advancing steadily from foundational research toward practical, trustworthy cryptographic designs. During this period, we focused on understanding how the building blocks of cryptography interact, developing rigorous ways to argue about their security, and creating tools to analyze potential weaknesses.

Our work has led to several publications at top international conferences in cryptography. We clarified when certain cipher components are uniquely defined, resolving ambiguities that have long complicated security analyses. We established design principles that prevent specific structural weaknesses, ensuring that new ciphers can be provably resistant to entire classes of attacks. We also created a framework that connects abstract security proofs with practical attack methods, helping bridge the gap between theory and practice. Finally, we developed efficient tools to test and strengthen modern cipher designs that use modular addition, expanding our understanding of this important technique.

Avances que van más allá del estado de la técnica e impacto potencial esperado (incluida la repercusión socioeconómica y las implicaciones sociales más amplias del proyecto hasta la fecha)

The advances described above all go beyond the state of the arts and provide a strong theoretical foundation for the next phase of the project, which will focus on developing practical design tools and complete trustworthy cryptographic systems.