Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

CIENCIA ergo sum

Teoría de números en criptografía y su debilidad ante la posible era de las computadoras cuánticas

Marco Antonio Castillo Rubí, Nancy Santana de la Cruz, Alicia Mercedes Díaz Lobaton, Germán Almanza Rodríguez, Felipe Castillo Rubí

Published Jan 1, 2011• 0 citations
OpenAlex

Abstract

La principal aplicación de la criptografía es la de proteger información para evitar que sea accesible a observadores no autorizados. Sin embargo, también tiene otras aplicaciones, por ejemplo verificar que un mensaje no haya sido modificado intencionadamente por un tercero, verificar que alguien es quien realmente dice ser, etc. El objetivo del presente trabajo es mostrar cómo la matemática juega un papel importante en la criptografía moderna y como ésta aprovecha los problemas difíciles (en el sentido computacional) que existen en la teoría de números para desarrollar protocolos criptográficos. Asimismo se menciona lo que pasaría con los protocolos criptográficos basados en la teoría de números si existiera una computadora cuántica.

Related papers

Criptografía cuántica como solución para comunicaciones seguras en el ámbito de la defensa

Juan Manuel Gutiérrez Sánchez, Óscar de La Iglesia Pedraza

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.

•Jan 1, 2025•0 citations

Fundamentos de criptografía cuántica

Hernán Ortiz Rojas

¿QUÉ ES LA CRIPTOGRAFÍA?Esta sección aborda el tema de la criptografía.La criptología incluye dos técnicas complementarias: la Criptografía y el criptoanálisis [Martorell 00].El criptoanálisis, es el estudio de técnicas matemáticas para tratar de vulnerar técnicas criptográficas, y en general, servicios de seguridad de la información [Menezes, Oorshot y Vanstone 96].La criptografía es: "... el estudio de técnicas matemáticas relacionadas con aspectos de la seguridad de la información tales como la confidencialidad, integridad de datos, autenticación de entidades, y autenticación de origen de los datos.La criptografía no es el único medio de proveer seguridad de la información, sino un conjunto de técnicas" [Menezes, Oorshot y Vanstone 96].Otra definición, un poco más precisa, es "Rama inicial de las Matemáticas y en la actualidad también de la Informática y la Telemática, que hace uso de métodos y técnicas con el objeto principal de cifrar, y por tanto proteger, un mensaje o archivo por medio de un algoritmo, usando una o más claves" [Ramió 06].Es importante mencionar que los esquemas de cifrado no son invulnerables.Por ejemplo, un espía, después de invertir un periodo de tiempo atacando el código, podría descifrar los datos.Este periodo de tiempo es importante porque la vida útil de la clave debe estar correlacionada con la vida útil de los datos que están siendo protegidos.En algunos casos un día es suficiente, mientras que en otros debería permanecer invulnerable de manera indefinida.El ataque más simple que puede realizar un atacante para saber cuál clave se está usando en una comunicación, es hacer una búsqueda exhaustiva o de

•Jan 1, 2007•0 citations

Metaanálisis del estado actual de la criptografía cuántica identificando las áreas de desarrollo e implementación

Alexander Hernández Niño, Alexander Reyes Quintero

ATLAS TI: programa informático para el análisis cualitativo de datos para una descripción objetiva y sistemática del contenido manifiesto o implícito de una fuente de datos como lo son diarios, revistas, libros, videos y artículos electrónicos.CRIPTOGRAFÍA: se define como la parte de la criptología que se ocupa de las técnicas, bien sea aplicadas al arte o la ciencia, que alteran las representaciones lingüísticas de mensajes, mediante técnicas de cifrado o codificado, para hacerlos ininteligibles a intrusos (lectores no autorizados) que intercepten esos mensajes.Por tanto el único objetivo de la criptografía era conseguir la confidencialidad de los mensajes.CRIPTOGRAFÍA CUÁNTICA: es la criptografía que utiliza principios de la mecánica cuántica para garantizar la absoluta confidencialidad de la información transmitida.La criptografía cuántica permite a dos personas crear, de forma segura una comunicación, con una propiedad única de la física cuántica para cifrar y descifrar mensajes.Utiliza como medio de transmisión los fotones.La criptografía cuántica como idea se propuso en 1970, pero no es hasta 1984 que se publica el primer protocolo.ENTRELAZAMIENTO: Dos partículas cuánticas pueden tener estados fuertemente correlacionados, debido a que se generaron al mismo tiempo o a que interactuaron, por ejemplo, durante un choque.Cuando esto ocurre se dice que sus estados están entrelazados, lo que provoca que la medición sobre una de ellas determina inmediatamente el estado de la otra, sin importar la distancia que las separe.Este fenómeno se explica aplicando las leyes de conservación del momento y de la energía.FOTÓN: es la partícula elemental responsable de las manifestaciones cuánticas del fenómeno electromagnético.Es la partícula portadora de todas las formas de radiación electromagnética, incluyendo los rayos gamma, los rayos X, la luz ultravioleta, la luz visible (espectro electromagnético), la luz infrarroja, las microondas y las ondas de radio.METAANÁLISIS: es la síntesis formal, cualitativa y cuantitativa, de diferentes investigaciones, agrupándolas con la intención de sintetizar la evidencia científica con respecto a la dirección del efecto producido por la intervención del análisis, Expresado de otra manera, el Metaanálisis es una estrategia de revisión sistemática que pretender responder a diversas cuestiones y que es especialmente útil cuando

•Oct 1, 2014•0 citations

Protocolos cuánticos par la autenticación de información en sistemas de telecomunicación

Marcos Curty Alonso

Cuando se aplican los metodos de analisis propios de la Mecanica Cuantica al estudio de la informacion , se obtienen resultados no reconciliables con la Teoria de la informacion.Clasica.Suge asi un nuevo paradigma de descripcion formal de la informacion:el proporcionado por la Teoria de la Informacion Cuantica. En los ultimos anos esta reciente disciplina ha experimentado un enorme progreso que ha puesto en evidencia sus grande ventejas potenciales , respecto a su analogo clasico, en el tratamiento, transmision y especialmente proteccion de informacion clasica. Sin embargo, del mismo modo que este ultimo recurso (la proteccion de informacion clasica)es imprescindible para la sociedad actual, debido a la expansion y popularizacion de las redes abiertas de ordenadores, el problema cuantico analogo (la proteccion de informacion puramente cuantica)tambien podria tener gran importancia en los futuros sistemas cuanticos de comunicacion. La proteccion de la informacion esta fuertemente relacionada con dos de lso principales servicios criptograficos:La confidencialiddad y la integridad o autenticacion de informacion.El proposito de esta tesis es estudiar la viabilidad de la version cuantica del segundo de estos servicios y desarrollar protocolos eficientes par la autenticacion de informacion cuantica,es decir , sistemas criptograficos que garanticen que un mensaje de naturaleza cuantica no ha sido modificado o reemplazddo sin aautorizacion en el canal de comunicaciones.Asimismo , se estudian las posibles ventajas del prceso cuantico de la informacion , respecto al clasico, en la autenticacion de informacion exclusivamente clasica.

•Jan 1, 2004•0 citations

Desarrollo de un simulador para el protocolo de criptografía cuántica E91 en un ambiente distribuido

Luis Cáceres Alvarez, Roberto Fritis Palacios, Patricio Collao Caiconte

El objetivo del presente trabajo de investigación, consiste en el desarrollo de una aplicación que sea capaz de simular el comportamiento de uno de los principales protocolos de criptografía cuántica desarrollados, el protocolo E91.Para lograr dicho objetivo fue fundamental una investigación exhaustiva de los principales conceptos, principios y teoremas de la mecánica cuántica, como además del estudio de otros protocolos de criptografía cuántica y su desarrollo en la actualidad.Con toda la información recopilada se procede al desarrollo de la aplicación, empezando por la definición de los requerimientos, luego se continúa con la implementación y las posteriores pruebas de la aplicación, que permite compilar todo el trabajo de análisis y diseño realizado.Los resultados obtenidos, demostraron las fortalezas y debilidades de la aplicación para la distribución segura de una clave final cuántica.Si bien este trabajo es principalmente de investigación, el desarrollo de la aplicación que simula el comportamiento del protocolo E91, es de carácter esencialmente demostrativo.

Ingeniare. Revista chilena de ingeniería•Apr 1, 2015•1 citation

On the hardness of the hidden subspaces problem with and without noise. Cryptanalysis of Aaronson-Christiano’s quantum money scheme

Marta Conde Pena

[ES] El boom de internet ha marcado el comienzo de la era digital y ésta ha traído consigo un desarrollo espectacular de las tecnologías de la información y de las comunicaciones, entre las que la criptografía es la reina. La criptografía de clave pública actual está basada principalmente en dos problemas que la comunidad criptográfica asume como difíciles: la factorización y el logaritmo discreto. Sin embargo, si se llegase a construir un computador cuántico lo suficientemente potente, esta dificultad no sería tal. Así pues, la computación cuántica pondría en un grave aprieto a la criptografía moderna y, puesto que la trayectoria reciente del campo sugiere que ésta podría convertirse en una realidad en un futuro no muy lejano, la comunidad criptográfica ha comenzado a explorar otras opciones para estar lista en caso de que se logre construir un computador cuántico eficiente. Esto ha dado un im- pulso a lo que se conoce como criptografía post-cuántica, aquella cuya dificultad no se vería afectada por este nuevo paradigma de computación y que está basada en los llamados problemas resistentes a la computación cuántica. La criptografía post-cuántica ha suscitado mucho interés recientemente y actualmente está en proceso de estandarización, por lo que en el momento de iniciar esta tesis resultaba relevante estudiar problemas supuestamente resistentes al computador cuántico. La parte central de esta tesis es el análisis de la dificultad del problema de los subespacios ocultos (HSP por sus siglas en inglés) y del problema de los subespacios ocultos con ruido (NHSP), dos problemas resistentes al computador cuántico según sus autores. Además de la relevancia que su supuesta resistencia a la computación cuántica les confiere, estos dos problemas son también importantes porque en su dificultad se sustenta la seguridad de las dos versiones del primer esquema de dinero cuántico de clave pública que cuenta con una prueba de seguridad. Este primer esquema es el de Aaronson-Christiano, que implementa dinero cuántico — un tipo de dinero que explota las leyes de la mecánica cuántica para crear dinero infalsificable — que cualquiera puede verificar. Los resultados obtenidos acerca de la dificultad del HSP y del NHSP tienen un impacto directo sobre la seguridad del esquema de Aaronson-Christiano, lo cual nos motivó a centrar esta tesis en estos dos problemas. El Capítulo 3 contiene nuestros resultados acerca del problema de los subespacios ocultos y está fundamentalmente basado en nuestro trabajo [Conde Pena et al.,2015]. Los autores del HSP lo definieron originalmente sobre el cuerpo binario, pero nosotros extendemos la definición a cualquier otro cuerpo finito de orden primo, siempre considerando que la instanciación es la que los autores proponen. Después de modelar el HSP con un sistema de ecuaciones con buenas propiedades, usamos técnicas de criptoanálisis algebraico para explorar el sistema en profundidad. Para el HSP sobre cualquier cuerpo que no sea el binario diseñamos un algoritmo que resuelve de manera eficiente instancias que satisfacen una cierta condición. Utilizando técnicas distintas, construimos un algoritmo heurístico, sustentado por argumentos teóricos, que resuelve eficientemente instancias del HSP sobre el cuerpo binario. Ambos algo-ritmos comprometen la dificultad del HSP siempre que las instancias del problema sean escogidas como Aaronson-Christiano proponen. Como consecuencia, nuestros algoritmos vulneran la seguridad de la versión del esquema sin ruido. El capítulo 4 contiene nuestros resultados acerca del problema de los subespacios ocultos con ruido y está fundamentalmente basado en nuestro trabajo [Conde Pena et al., 2018]. Al igual que con el HSP, extendemos la definición del NHSP a cualquier otro cuerpo de orden primo y consideramos instancias generadas como especifi- can Aaronson-Christiano. Mostramos que el NHSP se puede reducir al HSP sobre cualquier cuerpo primo que no sea el binario para ciertas instancias, mientras que el NHSP sobre el cuerpo binario se puede resolver con una probabilidad mayor de la asumida por los autores en la conjetura sobre la que la seguridad de su esquema con ruido se sustenta. Aunque nuestros resultados se obtienen desde un punto de vista puramente no cuántico, durante el desarrollo de esta tesis otro autor demostró que existe una reducción cuántica del NHSP al HSP también en el caso binario. Por tanto, la dificultad del NHSP y la seguridad del esquema de Aaronson-Christiano con ruido se han visto comprometidas por nuestros descubrimientos acerca del HSP.

•Jan 1, 2018•0 citations
La principal aplicación de la criptografía es la de proteger información para evitar que sea accesible a observadores no autorizados. Sin embargo, también tiene otras aplicaciones, por ejemplo verificar que un mensaje no haya sido modificado intencionadamente por un tercero, verificar que alguien es quien realmente dice ser, etc. El objetivo del presente trabajo es mostrar cómo la matemática juega un papel importante en la criptografía moderna y como ésta aprovecha los problemas difíciles (en el sentido computacional) que existen en la teoría de números para desarrollar protocolos criptográficos. Asimismo se menciona lo que pasaría con los protocolos criptográficos basados en la teoría de números si existiera una computadora cuántica.
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.
¿QUÉ ES LA CRIPTOGRAFÍA?Esta sección aborda el tema de la criptografía.La criptología incluye dos técnicas complementarias: la Criptografía y el criptoanálisis [Martorell 00].El criptoanálisis, es el estudio de técnicas matemáticas para tratar de vulnerar técnicas criptográficas, y en general, servicios de seguridad de la información [Menezes, Oorshot y Vanstone 96].La criptografía es: "... el estudio de técnicas matemáticas relacionadas con aspectos de la seguridad de la información tales como la confidencialidad, integridad de datos, autenticación de entidades, y autenticación de origen de los datos.La criptografía no es el único medio de proveer seguridad de la información, sino un conjunto de técnicas" [Menezes, Oorshot y Vanstone 96].Otra definición, un poco más precisa, es "Rama inicial de las Matemáticas y en la actualidad también de la Informática y la Telemática, que hace uso de métodos y técnicas con el objeto principal de cifrar, y por tanto proteger, un mensaje o archivo por medio de un algoritmo, usando una o más claves" [Ramió 06].Es importante mencionar que los esquemas de cifrado no son invulnerables.Por ejemplo, un espía, después de invertir un periodo de tiempo atacando el código, podría descifrar los datos.Este periodo de tiempo es importante porque la vida útil de la clave debe estar correlacionada con la vida útil de los datos que están siendo protegidos.En algunos casos un día es suficiente, mientras que en otros debería permanecer invulnerable de manera indefinida.El ataque más simple que puede realizar un atacante para saber cuál clave se está usando en una comunicación, es hacer una búsqueda exhaustiva o de
ATLAS TI: programa informático para el análisis cualitativo de datos para una descripción objetiva y sistemática del contenido manifiesto o implícito de una fuente de datos como lo son diarios, revistas, libros, videos y artículos electrónicos.CRIPTOGRAFÍA: se define como la parte de la criptología que se ocupa de las técnicas, bien sea aplicadas al arte o la ciencia, que alteran las representaciones lingüísticas de mensajes, mediante técnicas de cifrado o codificado, para hacerlos ininteligibles a intrusos (lectores no autorizados) que intercepten esos mensajes.Por tanto el único objetivo de la criptografía era conseguir la confidencialidad de los mensajes.CRIPTOGRAFÍA CUÁNTICA: es la criptografía que utiliza principios de la mecánica cuántica para garantizar la absoluta confidencialidad de la información transmitida.La criptografía cuántica permite a dos personas crear, de forma segura una comunicación, con una propiedad única de la física cuántica para cifrar y descifrar mensajes.Utiliza como medio de transmisión los fotones.La criptografía cuántica como idea se propuso en 1970, pero no es hasta 1984 que se publica el primer protocolo.ENTRELAZAMIENTO: Dos partículas cuánticas pueden tener estados fuertemente correlacionados, debido a que se generaron al mismo tiempo o a que interactuaron, por ejemplo, durante un choque.Cuando esto ocurre se dice que sus estados están entrelazados, lo que provoca que la medición sobre una de ellas determina inmediatamente el estado de la otra, sin importar la distancia que las separe.Este fenómeno se explica aplicando las leyes de conservación del momento y de la energía.FOTÓN: es la partícula elemental responsable de las manifestaciones cuánticas del fenómeno electromagnético.Es la partícula portadora de todas las formas de radiación electromagnética, incluyendo los rayos gamma, los rayos X, la luz ultravioleta, la luz visible (espectro electromagnético), la luz infrarroja, las microondas y las ondas de radio.METAANÁLISIS: es la síntesis formal, cualitativa y cuantitativa, de diferentes investigaciones, agrupándolas con la intención de sintetizar la evidencia científica con respecto a la dirección del efecto producido por la intervención del análisis, Expresado de otra manera, el Metaanálisis es una estrategia de revisión sistemática que pretender responder a diversas cuestiones y que es especialmente útil cuando
Cuando se aplican los metodos de analisis propios de la Mecanica Cuantica al estudio de la informacion , se obtienen resultados no reconciliables con la Teoria de la informacion.Clasica.Suge asi un nuevo paradigma de descripcion formal de la informacion:el proporcionado por la Teoria de la Informacion Cuantica. En los ultimos anos esta reciente disciplina ha experimentado un enorme progreso que ha puesto en evidencia sus grande ventejas potenciales , respecto a su analogo clasico, en el tratamiento, transmision y especialmente proteccion de informacion clasica. Sin embargo, del mismo modo que este ultimo recurso (la proteccion de informacion clasica)es imprescindible para la sociedad actual, debido a la expansion y popularizacion de las redes abiertas de ordenadores, el problema cuantico analogo (la proteccion de informacion puramente cuantica)tambien podria tener gran importancia en los futuros sistemas cuanticos de comunicacion. La proteccion de la informacion esta fuertemente relacionada con dos de lso principales servicios criptograficos:La confidencialiddad y la integridad o autenticacion de informacion.El proposito de esta tesis es estudiar la viabilidad de la version cuantica del segundo de estos servicios y desarrollar protocolos eficientes par la autenticacion de informacion cuantica,es decir , sistemas criptograficos que garanticen que un mensaje de naturaleza cuantica no ha sido modificado o reemplazddo sin aautorizacion en el canal de comunicaciones.Asimismo , se estudian las posibles ventajas del prceso cuantico de la informacion , respecto al clasico, en la autenticacion de informacion exclusivamente clasica.
El objetivo del presente trabajo de investigación, consiste en el desarrollo de una aplicación que sea capaz de simular el comportamiento de uno de los principales protocolos de criptografía cuántica desarrollados, el protocolo E91.Para lograr dicho objetivo fue fundamental una investigación exhaustiva de los principales conceptos, principios y teoremas de la mecánica cuántica, como además del estudio de otros protocolos de criptografía cuántica y su desarrollo en la actualidad.Con toda la información recopilada se procede al desarrollo de la aplicación, empezando por la definición de los requerimientos, luego se continúa con la implementación y las posteriores pruebas de la aplicación, que permite compilar todo el trabajo de análisis y diseño realizado.Los resultados obtenidos, demostraron las fortalezas y debilidades de la aplicación para la distribución segura de una clave final cuántica.Si bien este trabajo es principalmente de investigación, el desarrollo de la aplicación que simula el comportamiento del protocolo E91, es de carácter esencialmente demostrativo.
[ES] El boom de internet ha marcado el comienzo de la era digital y ésta ha traído consigo un desarrollo espectacular de las tecnologías de la información y de las comunicaciones, entre las que la criptografía es la reina. La criptografía de clave pública actual está basada principalmente en dos problemas que la comunidad criptográfica asume como difíciles: la factorización y el logaritmo discreto. Sin embargo, si se llegase a construir un computador cuántico lo suficientemente potente, esta dificultad no sería tal. Así pues, la computación cuántica pondría en un grave aprieto a la criptografía moderna y, puesto que la trayectoria reciente del campo sugiere que ésta podría convertirse en una realidad en un futuro no muy lejano, la comunidad criptográfica ha comenzado a explorar otras opciones para estar lista en caso de que se logre construir un computador cuántico eficiente. Esto ha dado un im- pulso a lo que se conoce como criptografía post-cuántica, aquella cuya dificultad no se vería afectada por este nuevo paradigma de computación y que está basada en los llamados problemas resistentes a la computación cuántica. La criptografía post-cuántica ha suscitado mucho interés recientemente y actualmente está en proceso de estandarización, por lo que en el momento de iniciar esta tesis resultaba relevante estudiar problemas supuestamente resistentes al computador cuántico. La parte central de esta tesis es el análisis de la dificultad del problema de los subespacios ocultos (HSP por sus siglas en inglés) y del problema de los subespacios ocultos con ruido (NHSP), dos problemas resistentes al computador cuántico según sus autores. Además de la relevancia que su supuesta resistencia a la computación cuántica les confiere, estos dos problemas son también importantes porque en su dificultad se sustenta la seguridad de las dos versiones del primer esquema de dinero cuántico de clave pública que cuenta con una prueba de seguridad. Este primer esquema es el de Aaronson-Christiano, que implementa dinero cuántico — un tipo de dinero que explota las leyes de la mecánica cuántica para crear dinero infalsificable — que cualquiera puede verificar. Los resultados obtenidos acerca de la dificultad del HSP y del NHSP tienen un impacto directo sobre la seguridad del esquema de Aaronson-Christiano, lo cual nos motivó a centrar esta tesis en estos dos problemas. El Capítulo 3 contiene nuestros resultados acerca del problema de los subespacios ocultos y está fundamentalmente basado en nuestro trabajo [Conde Pena et al.,2015]. Los autores del HSP lo definieron originalmente sobre el cuerpo binario, pero nosotros extendemos la definición a cualquier otro cuerpo finito de orden primo, siempre considerando que la instanciación es la que los autores proponen. Después de modelar el HSP con un sistema de ecuaciones con buenas propiedades, usamos técnicas de criptoanálisis algebraico para explorar el sistema en profundidad. Para el HSP sobre cualquier cuerpo que no sea el binario diseñamos un algoritmo que resuelve de manera eficiente instancias que satisfacen una cierta condición. Utilizando técnicas distintas, construimos un algoritmo heurístico, sustentado por argumentos teóricos, que resuelve eficientemente instancias del HSP sobre el cuerpo binario. Ambos algo-ritmos comprometen la dificultad del HSP siempre que las instancias del problema sean escogidas como Aaronson-Christiano proponen. Como consecuencia, nuestros algoritmos vulneran la seguridad de la versión del esquema sin ruido. El capítulo 4 contiene nuestros resultados acerca del problema de los subespacios ocultos con ruido y está fundamentalmente basado en nuestro trabajo [Conde Pena et al., 2018]. Al igual que con el HSP, extendemos la definición del NHSP a cualquier otro cuerpo de orden primo y consideramos instancias generadas como especifi- can Aaronson-Christiano. Mostramos que el NHSP se puede reducir al HSP sobre cualquier cuerpo primo que no sea el binario para ciertas instancias, mientras que el NHSP sobre el cuerpo binario se puede resolver con una probabilidad mayor de la asumida por los autores en la conjetura sobre la que la seguridad de su esquema con ruido se sustenta. Aunque nuestros resultados se obtienen desde un punto de vista puramente no cuántico, durante el desarrollo de esta tesis otro autor demostró que existe una reducción cuántica del NHSP al HSP también en el caso binario. Por tanto, la dificultad del NHSP y la seguridad del esquema de Aaronson-Christiano con ruido se han visto comprometidas por nuestros descubrimientos acerca del HSP.