Descripción del proyecto
PROPONEMOS TRABAJAR EN LOS CINCO TEMAS SIGUIENTES DE LAS AREAS DE CIBERSEGURIDAD, APRENDIZAJE AUTOMATICO (INTELIGENCIA ARTIFICIAL) Y SERVICIOS EN LA NUBE, UTILES TANTO PARA EMPRESAS COMO PARA CIUDADANOS. -PROPORCIONAREMOS CODIGOS RECUPERABLES LOCALES (LRC) MAS EFICIENTES Y SEGUROS PARA CODIFICAR INFORMACION EN UN ALMACENAMIENTO DE DATOS DISTRIBUIDO (SERVICIOS EN LA NUBE). SE REDUCIRA LA COMUNICACION PARA RESTAURAR UN SERVIDOR QUE FALLE. NUESTRO OBJETIVO ES PROPORCIONAR LRC EN UN CUERPO PEQUEÑO, IDEALMENTE BINARIO, LO CUAL ES DESEABLE PARA IMPLEMENTACIONES PRACTICAS. TAMBIEN CONSIDERAMOS EL CASO EN EL QUE VARIOS SERVIDORES PUEDEN FALLAR SIMULTANEAMENTE, OBTENIENDO CODIGOS CAPACES DE RECUPERAR LOCALMENTE UN NUMERO ARBITRARIO DE ERRORES. ESTOS CODIGOS TENDRAN MAYOR POTENCIA Y FIABILIDAD QUE LOS LRC CONOCIDOS. -ESQUEMAS DE RECUPERACION DE INFORMACION PRIVADA (PIR) MAS EFICIENTES Y SEGUROS UTILIZADOS PARA PROTEGER AL USUARIO DE UN OPERADOR DE BASE DE DATOS CURIOSO SERAN DADOS. ESTO ES DE ESPECIAL IMPORTANCIA EN ESTOS DIAS DONDE LA PRIVACIDAD DE LOS USUARIOS ESTA EN RIESGO. PROPORCIONAREMOS ESQUEMAS PIR SOBRE UN CUERPO PEQUEÑO, IDEALMENTE BINARIO. TAMBIEN CONSIDERAREMOS EL CASO EN EL QUE LA INFORMACION SE ALMACENA SOLO EN UN SERVIDOR. EN ESTE CASO, NO SE PUEDE PROPORCIONAR PRIVACIDAD TOTAL, PERO PODEMOS PROPORCIONAR PRIVACIDAD COMPUTACIONAL. OTRO DESAFIO ES DETERMINAR LA SEGURIDAD DE LA INFORMACION PARCIAL, ES DECIR, CUANDO SE PERMITE QUE SE FILTRE ALGUNA INFORMACION INSIGNIFICANTE, MEJORANDO EL RENDIMIENTO Y LA VELOCIDAD DEL PROTOCOLO. -PROPORCIONAREMOS UNA FORMA MAS EFICIENTE Y CONFIABLE DE CALCULAR MULTIPLICACIONES DE MATRICES DE FORMA DISTRIBUIDA, QUE ES LA PRINCIPAL OPERACION EN LA MAYORIA DE LOS ALGORITMOS DE APRENDIZAJE AUTOMATICO (INTELIGENCIA ARTIFICIAL). HOY EN DIA SE UTILIZAN CODIGOS REED-SOLOMON, PERO TIENEN UN ALGORITMO DE CORRECCION INEFICIENTE Y DE UN CRECIMIENTO DESCONTROLADO DE LOS COEFICIENTES. ABORDAREMOS ESTOS PROBLEMAS CON OTROS CODIGOS MULTIPLICATIVOS. TAMBIEN VEREMOS LAS PROPIEDADES NECESARIAS DE UN CODIGO PARA DAR FIABILIDAD, SEGURIDAD Y PRIVACIDAD EN UN ESQUEMA DE FORMA SIMULTANEA. -ABORDAMOS LA CIBERSEGURIDAD EN UN ESCENARIO BAJO EL SUPUESTO DE QUE EL ATACANTE TIENE UN ORDENADOR CUANTICO. ESTUDIAREMOS POSIBLES ATAQUES BASADOS EN EL USO DE FAMILIAS DE CODIGOS ESPECIFICAS PARA CRIPTOSISTEMAS TIPO MCELIECE O NIEDERREITER. TAMBIEN PROPONDREMOS NUEVOS ESQUEMAS CON UN TAMAÑO DE CLAVE MAS PEQUEÑO Y ESTUDIAREMOS SU SEGURIDAD FRENTE A ATAQUES CONOCIDOS Y ESPERADOS. ADEMAS, EN EL TEMA DE LA CRIPTOGRAFIA SIMETRICA, ENCONTRAREMOS EJEMPLOS CONCRETOS DE ATAQUES DE FUNCIONES HASH COMPROBABLES NO ADITIVAS O MULTIPLICATIVAS. -LA COMPUTACION CUANTICA REQUIERE CODIGOS DE CORRECCION DE ERRORES CUANTICOS PARA ATENUAR EL EFECTO DE LA DECOHERENCIA Y LOS ERRORES CUANTICOS. CONSTRUIREMOS CODIGOS ESTABILIZADORES NO BINARIOS ADECUADOS PARA COMPUTADORAS CUANTICAS Y REALIZAREMOS UN ESTUDIO PROFUNDO DE CODIGOS NO BINARIOS CLASICOS O ADITIVOS AUTO-ORTOGONALES CON RESPECTO A LA TRAZA SIMPLECTICA PARA OBTENER CODIGOS CUANTICOS CON PARAMETROS MEJORES QUE LOS ACTUALES. LA FORMA DE ABORDAR LOS OBJETIVOS ES USANDO ALGEBRA, GEOMETRIA ALGEBRAICA Y TEORIA ALGEBRAICA DE CODIGOS PARA PRODUCIR CODIGOS LINEALES QUE SE PUEDEN USAR PARA LAS 5 LINEAS MENCIONADAS ANTERIORMENTE. EN CONCRETO, LA EXPERIENCIA DEL EQUIPO ES AMPLIA EN ALGEBRA TEORICA Y APLICADA (SEMIGRUPOS, GEOMETRIA ALGEBRAICA, SINGULARIDADES, BASE DE GROBNER, RESOLUCIONES, LIBRES...). EORIA ALGEBRAICA DE CODIGOS\ALGEBRA CONMUTATIVA\GEOMETRIA ALGEBRAICA\APRENDIZAJE AUTOMATICO\CODIFICACION CUANTICA\CRIPTOSISTEMA DE MCELIECE\CRITOGRAFIA POSTCUANTICA\MULTIPLICACION MATRICIAL DISTRIBUIDA\RECUPERACION DE INFORMACION PRIVADA\CODIGOS LOCALMENTE RECUPERABLES