Innovating Works

PCI2020-120708-2

Financiado
FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS
EN ESTE PROYECTO, DESARROLLAMOS PROTOCOLOS CRIPTOGRAFICOS POST-CUANTICOS Y LOS ANALIZAMOS FORMALMENTE USANDO UN SOFTWARE, LLAMADO MAUDE-NPA (HTTP://MAUDE.CS.ILLINOIS.EDU/W/INDEX.PHP/MAUDE_TOOLS:_MAUDE-NPA). MAUDE-NPA ES UNA HERRAM... ver más
01/01/2020
UPV
150K€
Presupuesto del proyecto: 150K€

Líder del proyecto
UNIVERSITAT POLITÈCNICA DE VALÈNCIA
UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 694
Fecha límite participación Sin fecha límite de participación.
Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2020-01-01 No tenemos la información de la convocatoria
0% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

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