PROMETHEUS: seguridad post-cuántica mediante criptografía basada en retículos

Dentro de las diferentes técnicas matemáticas que parecen resistir ataques por ordenadores cuánticos (criptografía multivariable, criptografía basada en códigos, criptografía basada en isogenias, criptografía basada en retículos), ésta última parece la más prometedora, si hacemos caso a la cantidad de artículos publicados y también por ejemplo a los sistemas que están llegando a las últimas rondas del proceso de estandarización de NIST para cifrado y firmas post-cuánticos. En esta ponencia haremos un repaso de algunas de las dificultades técnicas a la hora de diseñar protocolos criptográficos basados en retículos que tengan la misma eficiencia que los existentes en escenarios más clásicos (basados en factorización o en logaritmo discreto). También explicaremos qué casos de uso real se han considerado dentro de PROMETHEUS, empleando herramientas criptográficas basadas en retículos: credenciales anónimas, sistemas de pago electrónico, sistemas de votación electrónica. Puesto que mi institución UPC (junto con la empresa Scytl) ha estado más involucrada en la parte de votación electrónica, haremos hincapié en ese caso de uso, describiendo qué resultados de PROMETHEUS tendrán un impacto en el futuro diseño de sistemas de voto electrónico con seguridad post-cuántica.