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

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 No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 684

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%

Participantes

UPV

Lider

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

QUBIP Quantum-oriented Update to Browsers and Infrastructures for... 6M€ Cerrado

PID2019-110525GB-I00 METODOS ALGEBRAICOS Y HEURISTICOS EN TEORIA DE CODIGOS Y CRI... 37K€ Cerrado

BRIDGE Connecting Symmetric and Asymmetric Cryptography for Leakag... 2M€ Cerrado

AGATHA CRYPTY Algebraic groups at the heart of post-quantum cryptography 1M€ Cerrado

PID2021-124928NB-I00 RETOS EN CODIGOS ALGEBRAICOS Y EN CRIPTOGRAFIA BASADA EN LA... 174K€ Cerrado

ObfusQation Code Obfuscation in a Quantum World 1M€ Cerrado

Líder del proyecto

UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 684

Presupuesto del proyecto 150K€

Descripción del proyecto 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 HERRAMIENTA GRATUITA DE ANALISIS DE PROTOCOLOS DE SEGURIDAD CRIPTOGRAFICOS QUE TIENE EN CUENTA LAS PROPIEDADES ALGEBRAICAS DEL CRIPTOSISTEMA. A VECES, LAS PROPIEDADES ALGEBRAICAS PUEDEN DESCUBRIR DEBILIDADES DE LOS CRIPTOSISTEMAS Y, EN OTROS CASOS, SON PARTE DE LOS SUPUESTOS DE SEGURIDAD DEL PROTOCOLO. MAUDE-NPA TIENE UNA BASE TEORICA EN LA LOGICA DE REESCRITURA, LA UNIFICACION DE ECUACIONES Y EL ESTRECHAMIENTO. SE PUEDE USAR PARA RAZONAR SOBRE UNA AMPLIA GAMA DE PROPIEDADES CRIPTOGRAFICAS, INCLUIDA LA CANCELACION DEL CIFRADO Y EL DESCIFRADO, EXPONENCIACION DIFFIE-HELLMAN, EMPAREJAMIENTOS BILINEALES O O-EXCLUSIVO Y ALGUNAS APROXIMACIONES DEL CIFRADO HOMOMORFICO. EL PROYECTO TIENE COMO OBJETIVO EL ANALISIS FORMAL DE PROTOCOLOS CRIPTOGRAFICOS POST-CUANTICOS CENTRANDOSE EN LOS BASADOS EN RETICULOS Y EN CODIGO. POR LO QUE SABEMOS, NO EXISTE UNA HERRAMIENTA DE ANALISIS FORMAL CONOCIDA PARA ESTOS PROTOCOLOS. ADEMAS, SE SABE QUE EL ANALISIS FORMAL DE LOS CRIPTOSISTEMAS POST-CUANTICOS NO SE HA ESTUDIADO EN PROFUNDIDAD. EN EL ALCANCE DEL PROYECTO, UTILIZAREMOS MAUDE-NPA PARA EL ANALISIS DE PROTOCOLOS CRIPTOGRAFICOS POST-CUANTICOS. LOS METODOS QUE SE UTILIZARAN EN EL PROYECTO SE BASAN EN EL ESTUDIO DE PROBLEMAS DE BUSQUEDA Y DECISION, Y DIFERENTES INTERPRETACIONES DE TECNICAS ALGEBRAICAS. ADOPTAREMOS ESTAS METODOLOGIAS PARA CODIFICAR Y (SEMI)-AUTOMATICAMENTE ANALIZAR CRIPTOSISTEMAS POST-CUANTICOS EN UN MAUDE-NPA EXTENDIDO. OST-CUANTICO\COMPUTACION\PROTOCOLOS\CRIPTOGRAFIA

Conecta tu I+D

Entra hoy

¿Olvide mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores