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

Cerrado

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 695

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.

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

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 695

Presupuesto del proyecto 150K€

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

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores