GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models

En el mundo digital, la seguridad de nuestros secretos depende de cerraduras matemáticas que son increíblemente difíciles de forzar. Durante décadas, los expertos han intentado medir la resistencia de estas cerraduras con un solo número, generalmente expresado como una cierta cantidad de "bits". Este número pretende indicar cuánto esfuerzo, en términos de tiempo y potencia de cálculo, necesitaría un atacante para romper el código. Sin embargo, este número único oculta una complicación crucial: el valor depende enteramente de cómo decidamos contar ese esfuerzo. Si consideramos que la memoria de la computadora es gratuita, una cerradura podría parecer muy fuerte. Si decidimos que la memoria es costosa de usar, esa misma cerradura podría de repente parecer débil. Diferentes organizaciones, como los organismos de estándares gubernamentales y las agencias de seguridad, utilizan diferentes formas de contar esos costos. Cuando lo hacen, a menudo terminan con respuestas diferentes sobre qué cerradura es más segura, lo que genera confusión sobre qué sistemas confiar y cuándo cambiar a los nuevos.

Un nuevo estudio introduce un marco llamado GAUGE, que cambia la forma en que vemos este problema. En lugar de forzar cada sistema de seguridad a un único número rígido, los investigadores tratan la seguridad como un perfil flexible que cambia según las reglas del juego. Imagine un mapa donde el terreno cambia de forma según el precio de los recursos; un camino que parece seguro bajo unos precios podría volverse peligroso bajo otros. Al mapear estos paisajes enteros, el equipo puede ver exactamente dónde y por qué diferentes sistemas de seguridad se cruzan. Descubrieron que para muchas de las nuevas cerraduras avanzadas que se preparan para el futuro, la respuesta a "¿cuál es más segura?" no es un hecho simple. Es una pregunta que depende enteramente de qué método de contabilidad elijas.

Los investigadores aplicaron este nuevo método a la última generación de estándares criptográficos, específicamente aquellos diseñados para resistir ataques de futuras computadoras cuánticas. Tomaron un sistema específico y ampliamente utilizado llamado ML-KEM y lo compararon con un sistema clásico y bien comprendido llamado AES. Bajo las reglas estándar utilizadas por el Instituto Nacional de Estándares y Tecnología de los EE. UU. (NIST), que cuentan solo el tiempo que toma ejecutar un ataque, el nuevo sistema parecía ligeramente más débil que el clásico. Sin embargo, cuando los investigadores ajustaron las reglas para incluir el costo de la memoria —un factor que algunas agencias de seguridad europeas consideran crítico—, el nuevo sistema de repente pareció mucho más fuerte. El estudio demostró que un pequeño ajuste en cómo se tasa la memoria, apenas un 4.5% de diferencia en su valor relativo al tiempo, es suficiente para invertir el ranking por completo. Esto no es un error o un error de cálculo; es un hecho geomético fundamental sobre cómo se comportan estos sistemas. Los investigadores demostraron que ningún número único y perfecto puede capturar la verdad para todos, porque los sistemas genuinamente se cruzan entre sí dependiendo de la perspectiva.

Para resolver el problema de tomar decisiones cuando la respuesta depende de tu perspectiva, el equipo desarrolló una forma de clasificar estas relaciones. Crearon un sistema que puede decirte si una cerradura es estrictamente mejor que otra independientemente de las reglas, si es mejor solo bajo condiciones específicas, o si las dos son simplemente incomparables porque se cruzan. Para las nuevas cerraduras resistentes a la computación cuántica, el estudio encontró que a menudo son incomparables con sus contrapartes clásicas. Esto significa que elegir una sobre la otra no es una cuestión de encontrar la cerradura objetivamente más fuerte, sino más bien una elección consciente sobre qué modelo de costo quieres confiar. El estudio proporciona un certificado matemático que puede verificar estos cruces, permitiendo a los organismos de estándares ver exactamente dónde residen sus desacuerdos y comprender que ambos lados pueden ser matemáticamente correctos dentro de sus propios marcos elegidos.

Más allá de solo comparar cerraduras, el marco ayuda en la planificación para el futuro. Los investigadores observaron la historia de cómo la capacidad de los hackers para mejorar su habilidad para romper códigos ha aumentado durante los últimos veinte años. Encontraron que, para ciertos tipos de problemas matemáticos, el esfuerzo requerido para romperlos ha caído casi diez bits de seguridad cada año durante un período específico. Usando estos datos, construyeron un modelo de riesgo que separa la incertidumbre de "qué tan rápido mejorarán los hackers" de la incertidumbre de "qué modelo de costo es el correcto". Esto permite a las organizaciones calcular cuánto tiempo pueden mantener un secreto de forma segura. Por ejemplo, si una empresa necesita proteger un documento durante cinco años, el estudio sugiere una estrategia específica de mezcla de cerraduras antiguas y nuevas para minimizar el riesgo. Pero si necesitan protegerlo durante treinta años, las matemáticas muestran que la misma estrategia podría ser insuficiente, requiriendo un cambio mucho más temprano hacia la nueva tecnología.

El estudio también probó estas ideas en simulaciones de hardware real para asegurar que las mediciones fueran precisas. Ejecutaron experimentos en una computadora cuántica simulada para ver cómo cambia el costo de romper un código cuando se cuentan las puertas físicas de la máquina frente al tiempo que toma. La simulación confirmó que el orden de seguridad puede, de hecho, revertirse dependiendo de cómo se cuente, validando las predicciones teóricas. Los investigadores empaquetaron todas sus herramientas, datos y pasos de verificación en un conjunto de herramientas público que puede reproducir cada tabla y hallazgo en menos de siete segundos. Esta transparencia asegura que los resultados no sean solo un ejercicio teórico, sino un instrumento práctico que cualquiera puede usar para auditar las afirmaciones de seguridad.

En última instancia, este trabajo no nos dice cuál es la mejor cerradura. En cambio, nos da una mejor manera de hacer la pregunta. Revela que el debate entre diferentes agencias de seguridad es a menudo no sobre quién tiene la razón o quién está equivocado, sino sobre qué versión de la realidad están midiendo. Al hacer explícitas las reglas del juego, el marco permite a los responsables de políticas e ingenieros ver la imagen completa. Ahora pueden entender que un desacuerdo sobre los niveles de seguridad es a menudo un desacuerdo sobre cómo valorar los recursos, y pueden tomar sus decisiones con ese conocimiento en mente. El resultado es una conversación más clara y honesta sobre la seguridad digital, donde la incertidumbre no se esconde detrás de un solo número, sino que se expone claramente para que todos puedan verla.