Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

CerQuS

Financiado

Cerrado

Certified Quantum Security

"Digital communication permeates all areas of today's daily life. Cryptographic protocols are used to secure that communication. Quantum communication and the advent of quantum computers both threaten existing cryptographic soluti... ver más

31/05/2025

RWTH AACHEN

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

RHEINISCHWESTFAELISCHE TECHNISCHE HOCHSCHULE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 3 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2019-01-21

ERC-2018-COG: ERC Consolidator Grant

I+D

Cerrada hace 6 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

3 Participantes

RWTH AACHEN

1.00M€ | Lider

PREVALESA SL EN LIQUIDACION

UNIVERSITY OF TARTU

715.57K€ | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

IDPOQ Evaluation and implementation of post quantum cryptographic... 132K€ Cerrado

QUASYModo Symmetric Cryptography in the Post Quantum World 1M€ Cerrado

SECOQC Development of a Global Network for Secure Communication bas... 17M€ Cerrado

TEC2017-88243-R SEGURIDAD DE LAS IMPLEMENTACIONES DE SISTEMAS CUANTICOS DE D... 39K€ Cerrado

FELICITY Foundations of Efficient Lattice Cryptography 1M€ Cerrado

PID2021-124613OB-I00 EL RETO POST-CUANTICO: PROTEGIENDO LA SOCIEDAD CON ISOGENIAS... 25K€ Cerrado

Duración del proyecto: 76 meses Fecha Inicio: 2019-01-21
Fecha Fin: 2025-05-31

Líder del proyecto

RHEINISCHWESTFAELISCHE TECHNISCHE HOCHSCHULE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto "Digital communication permeates all areas of today's daily life. Cryptographic protocols are used to secure that communication. Quantum communication and the advent of quantum computers both threaten existing cryptographic solutions, and create new opportunities for secure protocols. The security of cryptographic systems is normally ensured by mathematical proofs. Due to human error, however, these proofs often contain errors, limiting the usefulness of said proofs. This is especially true in the case of quantum protocols since human intuition is well-adapted to the classical world, but not to quantum mechanics. To resolve this problem, methods for verifying cryptographic security proofs using computers (i.e., for ""certifying"" the security) have been developed. Yet, all existing verification approaches handle classical cryptography only - for quantum protocols, no approaches exist. This project will lay the foundations for the verification of quantum cryptography. We will design logics and software tools for developing and verifying security proofs on the computer, both for classical protocols secure against quantum computer (post-quantum security) and for protocols that use quantum communication. Our main approach is the design of a logic (quantum relational Hoare logic, qRHL) for reasoning about the relationship between pairs of quantum programs, together with an ecosystem of manual and automated reasoning tools, culminating in fully certified security proofs for real-world quantum protocols. As a final result, the project will improve the security of protocols in the quantum age, by removing one possible source of human error. In addition, the project directly impacts the research community, by providing new foundations in program verification, and by providing cryptographers with new tools for the verification of their protocols. "

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores