Descripción del proyecto
LOS FUTUROS SUPERORDENADORES CUANTICOS SUPONEN UNA AMENAZA PARA LA CRIPTOGRAFIA QUE USAMOS HOY EN DIA. LOS ORDENADORES CUANTICOS MASIVOS PUEDEN ATACAR EN TIEMPO POLINOMICO LOS PROBLEMAS MATEMATICOS SUBYACENTES COMO LA FACTORIZACION, LOGARITMOS DISCRETOS Y LAS CURVAS ELIPTICAS EN CAMPOS DISCRETOS. PETER SHOR EN 1995 LO DEJO VER CON SU ALGORITMO CUANTICO QUE RESOLVIA EL PROBLEMA DE LA FACTORIZACION EN TIEMPO POLINOMICO. EN 1997 OTROS INVESTIGADORES COMO LOV GROVER O DANIEL SIMON PROPUSIERON ALGORITMOS QUE REDUCIAN LA COMPLEJIDAD DE CONOCIDOS SISTEMAS DE CIFRADO SIMETRICO A SU RAIZ CUADRADA. EN EL 2016 MARC KAPLAN ET AL. HAN PROPUESTO UNA CUANTIZACION DE UNA TECNICA DE CRIPTOANALISIS CUANTICA QUE CONLLEVA UNA ACELERACION EXPONENCIAL, REDUCIENDO LA COMPLEJIDAD DE O(2^(N/2)) A O(N), SIENDO N EL TAMAÑO DE BLOQUE DEL CIFRADO.ESTO HA MOTIVADO MUCHOS TRABAJOS POR LA CRECIENTE COMUNIDAD DE LA CRIPTOGRAFIA POST-CUANTICA (PQC, "POST-QUANTUM CRYPTOGRAPHY") PARA SUSTITUIR LOS SISTEMAS ACTUALES DE CIFRADO ASIMETRICO POR ALTERNATIVAS RESISTENTES A LOS ATAQUES CUANTICOS.ESTE SUBPROYECTO PROPONE ANALIZAR Y SELECCIONAR ALGUNAS DE LAS PROPUESTAS EXISTENTES DE PQC PARA SU INCORPORACION A LOS PROTOCOLOS DE INTERNET BASICOS Y PRESENTES EN LA MAYORIA DE LOS DISPOSITIVOS CONECTADOS. JUNTO CON LOS CRIPTOGRAFOS DEL CSIC ANALIZAREMOS Y SELECCIONAREMOS ALGORITMOS DE PQC Y COLABORAREMOS CON SU SELECCION DE ALGORITMOS LIGEROS DE GENERACION DE CLAVE Y CIFRADO Y SU RESISTENCIA POST-CUANTICA. ADEMAS ESTUDIAREMOS LA USABILIDAD DE LAS APIS PARA LOS DESARROLLADORES DE APLICACIONES Y SERVICIOS CON UNA BIBLIOTECA DE REFERENCIA DENOMINADA "OPEN QUANTUM SAFE". POR OTRA PARTE PROPONEMOS UTILIZAR HERRAMIENTAS DE DESARROLLO CUANTICO COMO QISKIT.ORG, PARA EL DESARROLLO DE PRUEBAS DE CONCEPTO SENCILLAS COMO PARTE DEL ANALISIS DE SEGURIDAD DE LOS ALGORITMOS SELECCIONADOS.TAMBIEN EXPLORAREMOS LA INTRODUCCION DE LA DISTRIBUCION CUANTICA DE CLAVES (QKD) EN DNSSEC, AUNQUE EN DOS AÑOS NO ESPERAMOS CONSEGUIR NINGUNA IMPLEMENTACION COMPLETA, SINO UNA PRUEBA DE CONCEPTO BASICA.INTEGRAREMOS LOS ALGORITMOS SELECCIONADOS EN UNA BIBLIOTECA DE CODIGO ABIERTO, POSIBLEMENTE OPENSSL, DADAS NUESTRAS EXPERIENCIAS DESDE EL 2000, QUE SOPORTA COMPLETAMENTE TLS Y DTLS, Y QUE SE UTILIZA EN LOS CLIENTES Y SERVIDORES MAS POPULARES EN DISTINTOS SISTEMAS OPERATIVOS, COMPLEMENTANDO EL SOPORTE DE OQS CON TLS. ESTO PERMITIRA SU ANALISIS EN ESCENARIOS REALES, CON EVALUACIONES DE RENDIMIENTO Y CONSUMO ENERGETICO PARA DISTINTOS PARAMETROS DE SEGURIDAD. ESPERAMOS QUE LAS CONCLUSIONES Y RESULTADOS OBTENIDOS FACILITEN A DIFERENTES ORGANIZACIONES DE LA ADMINISTRACION DEL ESTADO Y COMUNIDADES AUTONOMAS, Y COMPAÑIAS DE INFRAESTRUCTURAS CRITICAS EN SU TRANSICION A LA SEGURIDAD POST-CUANTICA.FINALMENTE, TAMBIEN VAMOS A COLABORAR CON UVIGO Y EL CSIC EN LAS TAREAS DE INTEGRACION RELACIONADAS CON EL DESPLIEGUE Y GESTION DE QKD Y EL DESARROLLO DE LA QKD COMO SERVICIO (QKDAAS), Y EN LA APROXIMACION PARA HIBRIDAR LA PQC Y LA QKD SOBRE SDN. QKD ES UNA ALTERNATIVA A LOS METODOS DE ENCAPSULACION DE CLAVES (KEM) EN ALGORITMOS PQC. LA COMBINACION DE QKD CON PQC LIGERA PUEDE SER MUY ATRACTIVA PARA FUTUROS DISPOSITIVOS LIMITADOS, CON INTERFACES CUANTICAS PERO CAPACIDADES INSUFICIENTES PARA PQC COSTOSAS. NOSOTROS APORTAREMOS LAS IMPLEMENTACIONES E INTEGRACIONES DE ALGORITMOS LIGEROS PQ DE CIFRADO.