💻 ciencias de la computación

Limiting Cross-Session Reuse of Table-Specific Attack Information: Session Diversification of S-Boxes with Per-Instance Cryptographic Guarantees

Este artículo presenta QSD-SBox, un esquema de diversificación de sesiones que construye S-boxes (cajas S) únicas de $(8\times8)$ para cada sesión utilizando permutaciones afines derivadas de semillas para prevenir eficazmente la reutilización entre sesiones de información de ataque específica de la tabla, manteniendo al mismo tiempo rigurosas garantías criptográficas por instancia sin sobrecarga de búsqueda en tiempo de ejecución.

Autores originales: Annas Malik, Ghulam Mustafa, You-Rak Choi, Ki-Il Kim

Publicado 2026-10-19

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Annas Malik, Ghulam Mustafa, You-Rak Choi, Ki-Il Kim

Artículo original bajo licencia CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el mundo de la seguridad digital, la forma más común de ocultar un mensaje se basa en un libro de reglas específico e inalterable para el cifrado de letras. Imagine un diccionario gigante y fijo donde cada letra del alfabeto se intercambia permanentemente por otra letra específica. Esta herramienta, conocida en criptografía como una caja de sustitución (S-Box), es el motor que hace que el cifrado moderno sea difícil de descifrar. Durante décadas, la versión más confiable de esta herramienta ha sido una tabla única y estática utilizada por miles de millones de dispositivos. El problema es que, debido a que esta tabla nunca cambia, un atacante hábil que la estudie una vez puede construir un mapa detallado de sus debilidades. Una vez trazado ese mapa, este puede reutilizarse una y otra vez para romper diferentes mensajes, incluso si la clave secreta utilizada para bloquearlos cambia. La tabla en sí permanece igual, por lo que las vulnerabilidades que contiene permanecen abiertas.

Un equipo de investigadores ha propuesto una solución que mantiene la fuerza de la herramienta original mientras elimina el peligro de reutilizar mapas antiguos. Desarrollaron un sistema llamado QSD-SBox, que genera una tabla de cifrado completamente nueva y única para cada sesión de comunicación. En lugar de depender de un único diccionario fijo, el sistema crea uno nuevo cada vez que dos dispositivos comienzan a hablar. Crucialmente, estas nuevas tablas no son conjeturas aleatorias; están garantizadas matemáticamente para ser tan fuertes como la versión original y confiable. Al cambiar la tabla concreta con cada sesión, los investigadores descubrieron que cualquier conocimiento detallado que un atacante haya reunido sobre una sesión previa resulta inútil. Las debilidades específicas de la tabla anterior no se transfieren a la nueva, obligando al atacante a empezar su trabajo desde cero cada vez.

El equipo construyó este sistema tomando el núcleo matemático de la tabla estática y confiable y envolviéndolo en una capa de aleatoriedad que cambia con cada sesión. Utilizaron una fuente de aleatoriedad derivada de la física cuántica —específicamente, el comportamiento de las partículas subatómicas— para asegurar que las nuevas tablas sean verdaderamente impredecibles. Este proceso consiste en tomar los datos brutos de estos eventos cuánticos, limpiarlos para eliminar cualquier pequeño sesgo y luego utilizarlos para barajar la entrada y la salida del proceso de cifrado. El resultado es una nueva tabla que se ve diferente en la superficie pero conserva la misma armadura matemática profunda de la original. El equipo probó este enfoque generando casi un millón de pares de sesiones para ver si los patrones encontrados en una podían utilizarse para romper la siguiente. Los resultados fueron claros: los patrones de ataque específicos que funcionaron en la primera sesión fallaron por completo en la segunda, no rindiendo mejor que un simple azar.

Para demostrar que este método funciona en el mundo real, el equipo construyó un prototipo de sistema para asegurar llamadas de audio. En esta prueba, dos dispositivos establecieron una conexión segura y comenzaron a intercambiar datos de voz. Cada pocos segundos, cambiaban automáticamente a una nueva tabla de cifrado, sincronizándose perfectamente sin que el usuario lo notara. El sistema protegió con éxito el audio, incluso cuando la red perdía paquetes o introducía retrasos. Los investigadores midieron cuánto tiempo tomaba crear una nueva tabla y descubrieron que una computadora estándar podía generar una nueva en solo 136 microsegundos, una velocidad lo suficientemente rápida como para manejar conversaciones en tiempo real sin ningún retraso. Esto demostró que la actualización de seguridad no conlleva un costo en el rendimiento o la usabilidad.

El estudio también abordó una preocupación común en los sistemas dinámicos: que el hecho de hacer que las cosas cambien pudiera, accidentalmente, debilitarlas. Los investigadores verificaron rigurosamente las propiedades matemáticas de cada nueva tabla que generaron. Confirmaron que cada una mantenía los niveles más altos posibles de resistencia contra tipos conocidos de ataques matemáticos. Las nuevas tablas no eran solo diferentes; eran igualmente robustas. Lo único que cambiaba era la disposición específica de los números, lo que significaba que las "huellas dactilares" detalladas de la tabla anterior no podían aplicarse a la nueva. Este enfoque efectivamente limita el valor del trabajo previo de un atacante, convirtiendo una ventaja a largo plazo en una serie de desafíos cortos y aislados.

Si bien el sistema mostró una gran promesa en simulaciones y pruebas controladas, los investigadores fueron cuidadosos al señalar sus límites. La seguridad de las nuevas tablas depende del secreto de la semilla utilizada para generarlas, y el prototipo actual asume que la fuente cuántica utilizada para crear estas semillas es confiable. El equipo también señaló que, si bien el sistema derrota los ataques basados en el diseño específico de la tabla, no protege contra los ataques que se dirigen a los datos de entrada antes de ser cifrados. Además, las pruebas se realizaron en un entorno simulado, y los investigadores planean verificar los resultados en dispositivos de hardware físico en el futuro. A pesar de estas limitaciones, el trabajo proporciona un camino claro hacia un tipo de seguridad que evoluciona con cada conversación, asegurando que las herramientas utilizadas para proteger nuestras vidas digitales se mantengan un paso por delante de aquellos que intentarían romperlas.

Resumen Técnico: Limitación de la Reutilización Trans-Sesión de Información de Ataque Específica de la Tabla

Declaración del Problema
Las cajas de sustitución (S-boxes) fijas, como la utilizada en AES, permiten un análisis criptográfico exhaustivo pero crean una vulnerabilidad con respecto a la reutilización trans-sesión de la información de ataque. Una vez que un atacante perfila una S-box específica —generando características diferenciales, aproximaciones lineales, trayectorias favorables o plantillas de canales laterales— esta información permanece válida en todas las sesiones y claves subsiguientes, siempre que la S-box permanezca sin cambios. El cambio de clave (rekeying) por sí solo no mitiga este riesgo. Aunque existen esquemas de S-boxes dinámicas para diversificar las tablas, muchos dependen de mapas caóticos, heurísticas o búsquedas en tiempo de ejecución que a menudo comprometen la calidad criptográfica (por ejemplo, la no linealidad o la uniformidad diferencial) o no proporcionan garantías por instancia. Existe una brecha en los esquemas que ofrecen simultáneamente garantías criptográficas demostrables para cada instancia generada y evalúan explícitamente la reducción de la transferencia de datos de ataque específicos de la tabla entre sesiones.

Metodología: QSD-SBox
El artículo presenta QSD-SBox, un esquema de diversificación de sesión para S-boxes de 8×8. La construcción central genera una S-box distinta para cada sesión utilizando la fórmula $S = A_{out} \circ I \circ A_{in}$ , donde:

$I$ es la inversión multiplicativa en $GF(2^8)$ (el primitivo subyacente de la S-box de AES).
$A_{in}$ y $A_{out}$ son permutaciones afines invertibles derivadas de una semilla de sesión.
La semilla se deriva de un Generador de Números Aleatorios Cuánticos (QRNG) basado en el marco OTQuSbox, aunque el esquema es agnóstico a la fuente de la semilla (validado contra CSPRNGs).

Características Técnicas Clave:

Equivalencia Afín: Al construir la S-box como una transformación afín de la función de inversión, el esquema asegura que cada instancia generada pertenece a la misma clase de equivalencia afín que la S-box de AES.
Garantías por Instancia: Debido a que las propiedades criptográficas son invariantes bajo equivalencia afín, cada S-box de sesión garantiza matemáticamente:
- No linealidad (NL) = 112
- Uniformidad Diferencial ( $\delta$ ) = 4
- Grado Algebraico = 7
- Uniformidad Boomerang = 6
  Estas propiedades se logran sin búsqueda ni optimización en tiempo de ejecución.
Condicionamiento de la Semilla: El proceso de generación de la semilla involucra pruebas de salud (SP 800-90B), blanqueo por XOR para reducir el sesgo y condicionamiento mediante SHAKE-256 para producir una semilla de 128 bytes. Esta semilla impulsa la derivación de los mapas afines y las constantes ( $\alpha, \beta$ ).
Implementación: Una implementación en C genera una S-box en aproximadamente 136 $\mu$ s. El esquema se integró en un cifrado (QSD-BC) que refleja la estructura de AES-128 y un estudio de caso de viabilidad (QSD-Audio) para audio autenticado post-cuántico.

Contribuciones Clave

Diversificación de Sesión con Garantías Demostrables: A diferencia de las S-boxes dinámicas previas, QSD-SBox proporciona una tabla distinta para cada sesión manteniendo los límites criptográficos establecidos de la construcción de inversión.
Evaluación Cuantitativa de la Transferencia Trans-Sesión: El artículo mide explícitamente cuánta información "específica de la tabla" se transfiere entre sesiones. Distingue entre información invariante (que permanece transferible por diseño) e información específica de la tabla (posiciones de mejores características, trayectorias específicas, plantillas de canales laterales).
Validación Empírica:
- Límites Criptográficos: Verificado sobre 1,000 sesiones simuladas y 488 sesiones con semilla de hardware.
- Análisis Trans-Sesión: Evaluado sobre 999,000 pares ordenados de sesiones.
- Simulación de Canales Laterales: Se realizaron ataques de plantilla comparando S-boxes estáticas de AES contra QSD-SBox.

Resultados

Fortaleza Criptográfica: Cada S-box generada mantuvo NL=112, $\delta$ =4, grado=7 y uniformidad boomerang=6. El número mínimo de S-boxes activas en dos rondas coincidió con el límite de AES (5 S-boxes activas) en todas las sesiones probadas.
Transferencia Trans-Sesión:
- Las características diferenciales, aproximaciones lineales y trayectorias de dos rondas perfiladas en una sesión se transfirieron a otra solo al "nivel de azar".
- En un ataque de plantilla simulado usando una S-box de AES estática, 50 trazas fueron suficientes para recuperar una clave completa. Al usar QSD-SBox, un perfil construido en una sesión no recuperó más bytes de clave que el azar en la siguiente sesión, incluso con 2,000 trazas.
- El artículo señala que los ataques que dependen únicamente de invariantes afines o de la fuga de entrada de la S-box (que no involucra la tabla) siguen siendo efectivos, tal como se pretende; el objetivo es específicamente invalidar el perfilado específico de la tabla.
Rendimiento: La implementación en C genera una S-box en 136 $\mu$ s. En el prototipo QSD-Audio, la sobrecarga de la rotación de la S-box fue insignificante (factor de tiempo real de $6.1 \times 10^{-4}$ en C), aunque las implementaciones en Python fueron significativamente más lentas.
Verificación Formal: El intercambio y la lógica de fotogramas de QSD-Audio fueron verificados usando ProVerif, demostrando propiedades de autenticación, secreto y secreto hacia adelante (forward secrecy). Se identificó y corrigió durante este proceso un fallo de repetición (respecto al manejo del índice de fotograma) en el prototipo.

Significancia y Reivindicaciones
El artículo afirma modestamente que QSD-SBox no es una nueva primitiva no lineal diseñada para ser más fuerte que la S-box de AES. En su lugar, su significancia radica en ser un mecanismo de diversificación de sesión que:

Preserva las garantías criptográficas establecidas por instancia para cada sesión.
Limita eficazmente la reutilización de la información de ataque específica de la tabla (perfiles diferenciales, lineales, de trayectoria y de canales laterales) entre sesiones al nivel del azar.
Demuestra que tal diversificación puede lograrse de manera práctica con un bajo costo computacional y sin depender de heurísticas que comprometan la seguridad.

Los autores enfatizan que el objetivo de seguridad es más estrecho que reclamar un cifrado "más fuerte"; más bien, es asegurar que el conocimiento obtenido sobre la tabla concreta de una sesión no se aplique automáticamente a la siguiente, obligando al atacante a volver a perfilar para cada sesión mientras la fuerza algebraica subyacente permanece constante.

Más como este