Esquemas criptográficos avanzados e implementaciones criptográficas de alta velocidad y alta seguridad

Resultado esperado:

Se espera que las propuestas contribuyan a uno o más de los siguientes:

• Primitivas criptográficas resistentes a la computación cuántica, también otras que no sean enfoques basados en retículos si son relevantes, que mejoren la seguridad y la privacidad de las carteras digitales, tanto para personas físicas como para carteras, así como el diseño e implementación de soluciones post-cuánticas para la autenticación de entidades y el establecimiento de claves autenticadas sobre redes inseguras;
• Herramientas de verificación formal, enfoques mejorados de Software Criptográfico de Alta Seguridad (HACS) y su integración en flujos de trabajo de software, para proporcionar fuertes garantías de seguridad en la migración post-cuántica, y permitir una evaluación simplificada basada en evidencia de sistemas seguros que utilizan criptografía.

Alcance:

El desarrollo de nuevas firmas digitales y esquemas criptográficos avanzados, adaptados específicamente a los casos de uso y requisitos en el contexto de carteras/eIDs, para aplicaciones de privacidad y negocios es altamente relevante hoy en día. Además, estos dispositivos necesitan conexiones seguras sobre redes inseguras que requieren protocolos para la autenticación de entidades, el establecimiento de claves autenticadas, así como esquemas de Intercambio de Claves Autenticadas por Contraseña (PAKE) para garantizar la autenticación de usuarios a través de contraseñas en diferentes casos de uso y para protocolos de recuperación de datos de carteras.

Otra área clave es el desarrollo de Software Criptográfico de Alta Seguridad (HACS), incluyendo métodos de evaluación automatizados.

Considerando lo anterior, las propuestas deben abordar una de las siguientes áreas tecnológicas:

• Diseño e implementación de esquemas y protocolos avanzados de PQC para una seguridad y privacidad mejoradas, incluyendo también esquemas que no sean enfoques basados en retículos si son relevantes. Las propuestas también deben incluir recomendaciones que equilibren la seguridad, el rendimiento y la usabilidad en aplicaciones prácticas y basarse en bibliotecas de software reutilizables de código abierto.
• Desarrollo de un lenguaje de especificación unificado para formalizar y documentar las condiciones de seguridad criptográfica en implementaciones de software; desarrollo y mejora de herramientas y metodologías que puedan utilizarse para evaluar tanto la implementación como el uso de la criptografía en aplicaciones de software y proporcionar garantías formales verificadas por máquina de corrección y seguridad. Las propuestas también deben considerar la mejora de las herramientas HACS existentes y su integración en dichas implementaciones de software.