El objetivo de este Trabajo de Fin de Máster es, comenzando desde los fundamentos de la Criptografía, presentar las principales familias de esquemas poscuánticos y realizar una comparativa señalando el estado actual de las mismas. En primer lugar, se presentará un capítulo introductorio que repasa los conceptos esenciales de la criptografía clásica, incluyendo cifrados simétricos y asimétricos. A continuación, se analizará el impacto de la computación cuántica en estos sistemas, exponiendo las vulnerabilidades de los algoritmos actuales frente a ataques como el de Shor y el de Grover. El trabajo presentará diferentes familias de algoritmos que, por su diseño, se cree que resisten ataques provenientes de un usuario con ordenador cuántico. Se estudiarán las construcciones basadas en problemas de retículos, criptografía basada en códigos, funciones hash y en curvas elípticas. Para cada una de estas familias, se analizarán sus fundamentos matemáticos, ventajas y desafíos, así como su viabilidad en implementaciones prácticas. Como conclusión, se realizará un pequeño estado del arte, comparando la viabilidad de las mismas y su potencial estandarización por organismos como el NIST.
El objetivo de este Trabajo de Fin de Máster es, comenzando desde los fundamentos de la Criptografía, presentar las principales familias de esquemas poscuánticos y realizar una comparativa señalando el estado actual de las mismas. En primer lugar, se presentará un capítulo introductorio que repasa los conceptos esenciales de la criptografía clásica, incluyendo cifrados simétricos y asimétricos. A continuación, se analizará el impacto de la computación cuántica en estos sistemas, exponiendo las vulnerabilidades de los algoritmos actuales frente a ataques como el de Shor y el de Grover. El trabajo presentará diferentes familias de algoritmos que, por su diseño, se cree que resisten ataques provenientes de un usuario con ordenador cuántico. Se estudiarán las construcciones basadas en problemas de retículos, criptografía basada en códigos, funciones hash y en curvas elípticas. Para cada una de estas familias, se analizarán sus fundamentos matemáticos, ventajas y desafíos, así como su viabilidad en implementaciones prácticas. Como conclusión, se realizará un pequeño estado del arte, comparando la viabilidad de las mismas y su potencial estandarización por organismos como el NIST.
En un futuro cercano, la computación cuántica tendrá mucha influencia sobre la seguridad de las comunicaciones, con relevancia en entornos críticos como por ejemplo en defensa. Por esta razón cobra gran importancia plantear posibles soluciones como la criptografía cuántica y poscuántica. Surge entonces una pregunta; ¿Corre peligro la seguridad de las comunicaciones militares? Lo cierto es que con la cada vez más cercana llegada de la computación cuántica, la respuesta a esta pregunta es clara. Por ello es necesario anticiparse a la futura obsolescencia de los sistemas criptográficos actuales, sobre los que se sustenta toda la protección de datos clasificados y de operaciones estratégicas. En este Trabajo de Fin de Grado se exponen los fundamentos de la criptografía moderna para estudiar su evolución, las amenazas emergentes derivadas de la computación cuántica y las líneas de investigación que permitirán mantener la seguridad de las comunicaciones en defensa. El TFG se estructura en tres grandes bloques: criptografía clásica, cuántica y poscuántica. En primer lugar, se han tratado los principales algoritmos clásicos empleados actualmente, tanto simétricos como asimétricos, destacando sus vulnerabilidades frente a los algoritmos cuánticos de Shor y Grover. En segundo lugar, se ha analizado la criptografía cuántica (QKD), siendo una posible alternativa, cuya fortaleza se basa en leyes físicas. Sin embargo, aunque estos sistemas ofrecen un nivel de seguridad teóricamente inquebrantable, su implementación práctica sigue limitada por la necesidad de equipos específicos, la dependencia de autenticación clásica y los elevados costes de despliegue. Por último, se ha estudiado la criptografía poscuántica (PQC). Una gran alternativa, que propone algoritmos matemáticos resistentes a ataques cuánticos, con la ventaja de ser compatibles con la infraestructura existente. Además, se ha realizado una entrevista al experto Luis Fernando Hernández Encinas, cuyos resultados serán incluidos junto con la revisión bibliográfica en un análisis DAFO que permite identificar las fortalezas, debilidades, oportunidades y amenazas de ambas tecnologías. De este análisis se concluye que, la criptografía clásica se encuentra en fase de obsolescencia estratégica, mientras que la criptografía cuántica y la poscuántica representan los pilares de la seguridad futura. La primera ofrece una protección teórica total, aunque todavía no es viable a gran escala. La segunda, en cambio, constituye una solución práctica e inmediata para iniciar la transición.
La aparición de la computación cuántica plantea una amenaza directa sobre los sistemas criptográficos actualmente desplegados, poniendo en riesgo la confidencialidad y autenticidad de la información. En tal contexto, la criptografía postcuántica surge como una alternativa diseñada para resistir ataques basados en ordenadores cuánticos, empleando como base problemas matemáticos considerados intratables incluso para este escenario. El objetivo de este trabajo es evaluar la viabilidad práctica de los algoritmos criptográficos de tipo postcuántico propuestos por el proceso de estandarización del NIST, comparándolos con algoritmos clásicos muy conocidos. Con tal fin, se ha llevado a cabo un análisis teórico del estado del arte y un estudio experimental basado en microbenchmarks criptográficos y pruebas sobre el protocolo TLS 1.3, usando implementaciones reales y plataformas hardware heterogéneas. La metodología empleada permite estudiar métricas relevantes como tiempos de ejecución, latencias o escalabilidad, tanto en operaciones atómicas como en escenarios de comunicación más amplios. Los resultados muestran que los algoritmos basados en retículos, como ML-KEM y ML-DSA, ofrecen un rendimiento competitivo frente a algoritmos clásicos con nivel de seguridad equivalente, de manera especial en hardware moderno. No obstante se observa un impacto significativo en dispositivos con recursos limitados y en el proceso de handshake TLS. Se concluye que este trabajo demuestra que la criptografía postcuántica es técnicamente viable en numerosos entornos reales, aunque su adopción debe abordarse de forma progresiva y contextualizada, considerando las limitaciones físicas y requisitos de cada sistema.
Este documento se ha presentado en julio de 2015 como trabajo final para el Máster Universitario en Modelización e Investigación Matemática, Estadística y Computación de la Universidad de Oviedo. El trabajo comienza con una introducción a los principios matemáticos de la computación cuántica y continúa con una descripción de los principales algoritmos cuánticos. A continuación, se abordan las repercusiones de estos algoritmos sobre la criptografía actual y las dificultades tecnológicas que impiden hoy en día el desarrollo de ordenadores cuánticos. La segunda mitad del trabajo aborda uno de los campos de estudio más relevantes desde un punto de visto matemático de estas dificultades prácticas, que es la necesidad de mecanismos de corrección de errores, mucho más críticos que en la computación basada en la física clásica. Finalmente, se concluye que pese a los progresos de las últimas dos décadas son aún muchas las dificultades tanto prácticas como teóricas para desarrollar ordenadores cuánticos.
Este trabajo estudia el criptoanálisis diferencial de criptosistemas simétricos por bloques y su aceleración mediante computación cuántica. Se formalizan los conceptos de criptografía y criptoanálisis necesarios para describir el procedimiento de recuperación parcial de subclaves en funciones de cifrado por bloques iteradas y, en particular, se presenta este procedimiento para redes de sustitución-permutación (SPN). Se estudia la propagación probabilística de diferencias XOR a lo largo de las rondas de la función de cifrado, partiendo de pares de textos planos con una diferencia XOR de entrada fija y cuya primera componente se distribuye uniformemente. A partir de este análisis, el ataque diferencial clásico se formula mediante una función de conteo definida sobre el espacio de candidatas de subclave, siendo una presentación del procedimiento poco usual con respecto de su presentación habitual y adecuada para su posterior reformulación cuántica. Sobre esta formulación se construye un procedimiento basado en el algoritmo de búsqueda de mínimo/máximo de Dürr-Høyer que emplea subrutinas de conteo y búsqueda cuántica para acelerar la identificación de la candidata de subclave con mayor conteo. Se presentan los fundamentos necesarios para comprender los algoritmos utilizados, así como el análisis de su correctitud y de sus complejidades. Finalmente, se comparan las complejidades de datos, tiempo y memoria de los ataques clásico y cuántico, mostrando las mejoras obtenidas mediante el procesamiento cuántico. La exposición busca ser autocontenida, introduciendo progresivamente los conceptos matemáticos, criptográficos y cuánticos necesarios para el desarrollo y análisis de ambos procedimientos.
Los avances en el campo de la computación cuántica obligan a desarrollar e implementar algoritmos criptográficos resistentes a ataques en ordenadores cuánticos (criptografía pos-cuántica) de forma urgente. La seguridad de los criptosistemas asimétricos actuales se basa en la dificultad de factorizar números enterosgrandes o resolver problemas de logaritmos discretos. Sin embargo, estos problemas matemáticos se puedenresolver en tiempo polinomial (eficientemente) usando ordenadores cuánticos. En respuesta, se realiza una intensa investigación sobre la criptografía pos-cuántica. Esta ciencia es el estudio de los esquemas criptográficos que serían seguros contra los adversarios que tienen computadoras cuánticas y clásicas y que a su vez pueden implementarse sin cambios drásticos en las redes y protocolos de comunicación existentes. Este artículo ofrece una descripción general del estado del arte de los esquemas asimétricos alternativos que tienen la capacidad de resistir ataques en ordenadores cuánticos y considera sus principales características.
La criptografía cuántica emerge como un paradigma disruptivo en la seguridad informática, aprovechando los principios de la mecánica cuántica, como el entrelazamiento, la superposición y la no clonación, para garantizar confidencialidad y autenticación incondicional frente a amenazas clásicas y cuánticas. Este artículo explora los fundamentos matemáticos que sustentan los protocolos cuánticos (e.g., BB84, E91 y QHE), analizando su resistencia teórica frente a ataques basados en el algoritmo de Shor y la computación cuántica. Mediante una metodología dual (revisión sistemática de literatura y modelado teórico), se evalúan las limitaciones prácticas de implementación, como la decoherencia, los ataques por canales laterales y la escalabilidad en redes de distribución cuántica de claves (QKD). Los resultados destacan que, aunque protocolos como la criptografía homomórfica cuántica (QHE) y las redes de repetidores cuánticos prometen seguridad incluso en entornos con dispositivos realistas, su eficiencia depende críticamente de avances en óptica integrada y corrección de errores cuánticos. Asimismo, se discute el papel de la criptografía poscuántica (lattices, códigos basados en hash) como puente transicional ante la inminente obsolescencia de sistemas clásicos como RSA y ECC. La conclusión subraya la urgencia de estandarizar marcos híbridos (cuántico-clásicos) y políticas de migración, respaldados por colaboraciones globales, para asegurar infraestructuras críticas en la era cuántica. Este trabajo sintetiza el estado del arte, identificando brechas tecnológicas y proponiendo direcciones futuras para una adopción práctica y segura.