La criptografía poscuántica busca esquemas que resistan a un eventual computador cuántico. Entre los candidatos basados en isogenias destaca CSIDH, un protocolo de inter cambio de claves cuya seguridad descansa en la dificultad de invertir la acción del grupo de clases de un orden cuadrático sobre un conjunto de curvas elípticas supersingulares. Este trabajo analiza el impacto del algoritmo de Grover sobre la seguridad de CSIDH dentro del marco de evaluación del NIST. Mediante un estudio teórico, complementado con una validación experimental en Sa geMath, se establece que el algoritmo de Grover no reduce la seguridad de CSIDH por debajo de su nivel clásico. La razón es que el mejor ataque clásico conocido, un encuen tro a medio camino, ya posee un coste √N = p1/4, idéntico al que ofrece Grover sobre el mismo espacio de búsqueda, ya que la aceleración cuadrática no puede aplicarse dos veces. En consecuencia, Grover no impone ningún incremento de parámetros propio y las categorías 1, 3 y 5 del NIST se alcanzan con primos de aproximadamente 512, 768 y 1024 bits, los mismos que exigiría un análisis puramente clásico. La validación experimental confirma la corrección del intercambio de claves, la coincidencia de costes entre el ataque clásico y el cuántico y la dinámica óptima del algoritmo de Grover. Se concluye que la verdadera amenaza cuántica sobre CSIDH no proviene de Grover, sino de los ataques es tructurados de tipo Kuperberg, cuyo análisis cuantitativo se identifica como la principal línea de trabajo futuro.
La criptografía poscuántica busca esquemas que resistan a un eventual computador cuántico. Entre los candidatos basados en isogenias destaca CSIDH, un protocolo de inter cambio de claves cuya seguridad descansa en la dificultad de invertir la acción del grupo de clases de un orden cuadrático sobre un conjunto de curvas elípticas supersingulares. Este trabajo analiza el impacto del algoritmo de Grover sobre la seguridad de CSIDH dentro del marco de evaluación del NIST. Mediante un estudio teórico, complementado con una validación experimental en Sa geMath, se establece que el algoritmo de Grover no reduce la seguridad de CSIDH por debajo de su nivel clásico. La razón es que el mejor ataque clásico conocido, un encuen tro a medio camino, ya posee un coste √N = p1/4, idéntico al que ofrece Grover sobre el mismo espacio de búsqueda, ya que la aceleración cuadrática no puede aplicarse dos veces. En consecuencia, Grover no impone ningún incremento de parámetros propio y las categorías 1, 3 y 5 del NIST se alcanzan con primos de aproximadamente 512, 768 y 1024 bits, los mismos que exigiría un análisis puramente clásico. La validación experimental confirma la corrección del intercambio de claves, la coincidencia de costes entre el ataque clásico y el cuántico y la dinámica óptima del algoritmo de Grover. Se concluye que la verdadera amenaza cuántica sobre CSIDH no proviene de Grover, sino de los ataques es tructurados de tipo Kuperberg, cuyo análisis cuantitativo se identifica como la principal línea de trabajo futuro.
Este proyecto de titulación se centra en la aplicación de la computación cuántica a través del entorno Qiskit, con el objetivo de analizar la seguridad criptográfica en relación con la comparación entre cifrados clásicos y cuánticos. El análisis se desarrolla mediante el estudio del espacio de búsqueda de claves en esquemas criptográficos simétricos, considerando escenarios de tamaño reducido que permiten evaluar su comportamiento bajo modelos de cómputo clásico y cuántico. Para el enfoque cuántico, se emplea el algoritmo de Grover, el cual es implementado en un simulador cuántico mediante la construcción de circuitos que incluyen la inicialización en superposición uniforme, el oráculo de fase para marcar el estado objetivo y el operador de difusión encargado de la amplificación de amplitudes. Las simulaciones se ejecutan para diferentes cantidades de iteraciones, lo que permite analizar la evolución de la probabilidad de éxito en función del tamaño del espacio de búsqueda y del número de repeticiones del algoritmo. Las ejecuciones se realizan utilizando una semilla fija, lo que garantiza la reproducibilidad de los resultados y facilita la comparación entre los valores teóricos y los obtenidos mediante simulación. Se registran las probabilidades asociadas al estado marcado, así como el crecimiento del tamaño del circuito cuántico conforme aumenta el número de iteraciones. Los escenarios analizados corresponden a registros de tres y cuatro qubits, lo que permite un análisis detallado del comportamiento del algoritmo. Finalmente, se incorpora la comparación con la búsqueda clásica en los mismos espacios de búsqueda, permitiendo establecer una referencia directa entre ambos enfoques y evidenciar la ventaja del algoritmo de Grover en términos de eficiencia.
El objetivo de esta investigación es proponer una implementación del algoritmo de Grover, un método cuántico que permite reducir significativamente el tiempo de búsqueda en bases de datos no estructuradas. Se aplicó una metodología que integró diferentes experimentos en simuladores y una computadora cuántica en el cual se incluyó el análisis del algoritmo cuántico, y se compara con los algoritmos clásicos deterministas en diferentes escenarios de búsquedas. Se estructura la arquitectura del algoritmo ajustando los parámetros que lo constituyen y tipo de búsqueda. Por ende, dando una versión de los fundamentos de la computación cuántica, destacando los principios de superposición y entrelazamiento como elementos clave para abordar problemas de búsquedas en listas no ordenadas con tecnologías cuánticas. Asimismo, se introducen los conceptos de qubits, compuertas cuánticas, circuitos cuánticos, y se describe la interpretación geométrica de su acción sobre los estados cuánticos mediante la esfera de Bloch. Se detalla el funcionamiento del algoritmo de Grover con la utilización de simuladores cuánticos y su escalabilidad en la computadora cuántica ibmbrisbane, para la estructuración de la solución a problemas de búsqueda en listas no ordenadas, explicando cómo logra una aceleración cuadrática al reducir la complejidad de búsqueda de ( O(N) ) a ( O(sqrt{N}) ). Esta investigación siguió un enfoque cuantitativo, experimental y comparativo, visualizando como este algoritmo representa una ventaja computacional significativa en la resolución de problemas de búsqueda en estructuras de datos no organizadas y con el objeto experimental del tamaño de la búsqueda.
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.
El objetivo de esta investigación es proponer una implementación del algoritmo de Grover, un método cuántico que permite reducir significativamente el tiempo de búsqueda en bases de datos no estructuradas. Se aplicó una metodología que integró diferentes experimentos en simuladores y una computadora cuántica en el cual se incluyó el análisis del algoritmo cuántico, y se compara con los algoritmos clásicos deterministas en diferentes escenarios de búsquedas. Se estructura la arquitectura del algoritmo ajustando los parámetros que lo constituyen y tipo de búsqueda. Por ende, dando una versión de los fundamentos de la computación cuántica, destacando los principios de superposición y entrelazamiento como elementos clave para abordar problemas de búsquedas en listas no ordenadas con tecnologías cuánticas. Asimismo, se introducen los conceptos de qubits, compuertas cuánticas, circuitos cuánticos, y se describe la interpretación geométrica de su acción sobre los estados cuánticos mediante la esfera de Bloch. Se detalla el funcionamiento del algoritmo de Grover con la utilización de simuladores cuánticos y su escalabilidad en la computadora cuántica ibm_brisbane, para la estructuración de la solución a problemas de búsqueda en listas no ordenadas, explicando cómo logra una aceleración cuadrática al reducir la complejidad de búsqueda de O(N) a O(N). Esta investigación siguió un enfoque cuantitativo, experimental y comparativo, visualizando como este algoritmo representa una ventaja computacional significativa en la resolución de problemas de búsqueda en estructuras de datos no organizadas y con el objeto experimental del tamaño de la búsqueda.
El presente trabajo de integración curricular tiene como objetivo analizar y comparar el desempeño de un algoritmo de búsqueda clásico y de un cuántico, en específico el algoritmo de Grover, con el fin de analizar y contrastar la ventaja computacional teórica y asintótica que proporciona la computación cuántica frente a los algoritmos clásicos, considerando las limitaciones del hardware cuántico actual. Se analizan las bases teóricas de estos dos enfoques, su complejidad temporal y su comportamiento frente a conjuntos de datos de tamaño distinto. La metodología que se emplea es la simulación de ambos algoritmos, es experimental, ya que permite observar y realizar comparaciones de tiempo y eficiencia para la localización de un elemento objetivo. En el caso del algoritmo cuántico, se implementa el algoritmo de Grover mediante simuladores cuánticos, analizando el impacto del número de qubits y de las iteraciones en los resultados obtenidos. Los resultados muestran que para la búsqueda clásica la complejidad de tiempo es O(n) en cambio en el caso del algoritmo de Grover esta se reduce a O(√n) siendo una mejora interesante que se centra en un n grande. A pesar de esto, existen limitaciones en la implementación de ordenadores cuánticos en la actualidad. Por último, se concluyó que el algoritmo de Grover es una alternativa bastante interesante para resolver problemas de búsqueda no estructurada y se muestra el potencial de la computación cuántica como una tecnología emergente con aplicaciones en la ingeniería.