💻 computer science

Trojan-Resilient NTT: Protecting Against Control Flow and Timing Faults on Reconfigurable Platforms

Este artículo presenta una arquitectura segura de Transformación Teórica de Números (NTT) para plataformas reconfigurables que detecta y corrige eficazmente las alteraciones del flujo de control, los retrasos temporales inusuales y los Ataques Analíticos Suaves por Canal Lateral (SASCA) inducidos por troyanos de hardware, manteniendo al mismo tiempo sobrecargas bajas de área y tiempo en implementaciones de Criptografía Post-Cuántica.

Autores originales: Rourab Paul, Krishnendu Guha, Amlan Chakrabarti

Publicado 2026-04-28

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Rourab Paul, Krishnendu Guha, Amlan Chakrabarti

Artículo original bajo licencia CC BY 4.0 (http://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

Imagina que estás dirigiendo una bóveda bancaria de alta seguridad (la NTT, o Transformada Numérica Teórica). Esta bóveda es el corazón de un nuevo tipo de cerradura digital llamada Criptografía Post-Cuántica (utilizada por sistemas como Kyber). Su función es realizar matemáticas increíblemente complejas con gran rapidez para proteger tus datos de futuros superordenadores.

Sin embargo, existen dos formas principales en que los criminales pueden entrar:

El "Caballo de Troya" Saboteador: Una pequeña pieza de hardware oculta (un Caballo de Troya de Hardware) plantada dentro de la maquinaria de la bóveda. No roba dinero directamente; en su lugar, manipula los interruptores y palancas (señales de control) para detener el funcionamiento de la bóveda, hacerla correr demasiado lento o forzarla a abrir las puertas incorrectas.
El "Espía Escuchador": Un espía que observa cuánto tarda la bóveda en abrirse o cuánta energía consume (Ataques por Canal Lateral) para adivinar el código secreto.

Este artículo presenta una versión nueva y ultra segura del motor de la bóveda llamada NTT Resistente a Caballos de Troya. Así es como funciona, utilizando analogías simples:

1. El Sistema de "Doble Verificación" (Integridad del Flujo de Control)

Imagina que la bóveda tiene un gerente principal (la Unidad de Control) que da órdenes como "Abrir Puerta A" o "Iniciar Cálculo".

El Problema: Un saboteador podría colarse y cambiar las órdenes del gerente, indicando a la bóveda que omita pasos o ejecute en el orden incorrecto.
La Solución: Los autores construyeron un Gerente Sombrío (un registro de respaldo ligero). Este Gerente Sombrío no realiza ningún trabajo real; solo vigila al gerente principal.
- Si el gerente principal dice "Abrir Puerta A", el Gerente Sombrío espera ver "Abrir Puerta A" exactamente al mismo tiempo.
- Si el gerente principal de repente dice "Abrir Puerta B" o se queda atascado, el Gerente Sombrío levanta inmediatamente una bandera roja: "¡Oye! ¡Las órdenes no coinciden con el plan!"
- Por qué es genial: El Gerente Sombrío está completamente separado de la maquinaria principal. Incluso si el saboteador hackea al gerente principal, no puede hackear fácilmente al Gerente Sombrío porque está construido de manera diferente y se encuentra en un lugar distinto.

2. El "Cronómetro" (Contador de Ciclos de Reloj)

Imagina que la bóveda debería tardar exactamente 10 segundos en procesar una transacción.

El Problema: Un saboteador podría intentar ralentizar la bóveda atascando un engranaje, haciendo que tarde 15 segundos. Este retraso puede usarse para robar secretos o simplemente colapsar el sistema.
La Solución: La bóveda tiene un Cronómetro integrado (Contador de Ciclos de Reloj). Cuenta cada tic individual del reloj.
- Si la bóveda termina en 10 tics, todo está bien.
- Si tarda 11 tics (porque un saboteador atascó un engranaje), el Cronómetro grita: "¡Demasiado lento! ¡Algo va mal!"
- Esto detecta cualquier intento de retrasar el proceso, ya sea un accidente o un ataque deliberado.

3. La "Máscara Mágica" (Máscara Local)

Imagina que la bóveda está procesando un número secreto. Un espía fuera observa el medidor de energía para adivinar el número basándose en lo duro que trabaja la máquina.

El Problema: El espía ve patrones en el consumo de energía y descifra el secreto.
La Solución: La bóveda utiliza una Máscara Mágica. Cada vez que escribe un número secreto, lo mezcla primero con un número aleatorio y falso.
- Para el espía, el consumo de energía parece ruido aleatorio. No puede decir cuál es el secreto real porque siempre está oculto detrás de una capa de "estática".
- La bóveda sabe cómo quitar la máscara al final para obtener la respuesta real, pero el espía solo ve caos.

4. El Mecanismo de "Autocuración" (Corrección Adaptativa de Fallos)

Esta es la parte más única. Si la bóveda detecta un problema (una bandera roja del Gerente Sombrío o del Cronómetro), no se apaga simplemente. Intenta repararse a sí misma utilizando tres niveles de "reparación":

Nivel 1: "Intentémoslo de nuevo."
Si el error fue un pequeño fallo, la bóveda simplemente descarta el mal resultado y ejecuta ese paso específico nuevamente de inmediato. Es como un corredor que tropieza con una piedra, se levanta y termina la vuelta sin detenerse.
Nivel 2: "Reinicia la misma habitación."
Si el fallo ocurre de nuevo, la bóveda vuelve a cargar sus propias instrucciones (el flujo de bits) en exactamente el mismo lugar del chip. Es como cuando una computadora se cuelga y reinicia el mismo programa para eliminar un error temporal.
Nivel 3: "Muevete a una nueva habitación."
Si el problema sigue ocurriendo en el mismo lugar, la bóveda se da cuenta de que esa área específica del chip podría estar "envenenada" por un saboteador. Toma un nuevo conjunto de instrucciones y mueve toda la operación a un área completamente diferente y limpia del chip.
- La Parte Inteligente: El sistema mantiene una "Puntuación de Riesgo" para cada habitación del chip. Si una habitación tiene un historial de fallos, el sistema la evita. Si una habitación está limpia, envía el trabajo allí.

Los Resultados

Los autores probaron este sistema en un chip real (un FPGA) utilizando el estándar de cifrado Kyber.

Tasa de Éxito: Simularon miles de ataques (como atascar engranajes o cambiar interruptores). El sistema detectó el 100% de los problemas.
Costo: El "Gerente Sombrío", el "Cronómetro" y la "Máscara Mágica" solo hicieron que la bóveda fuera ligeramente más grande (aproximadamente un 20% más de espacio) y ligeramente más lenta (una pequeña cantidad de energía).
Conclusión: Demostraron que se puede construir una bóveda que no solo cierra la puerta, sino que también vigila a sus propios guardias, cronometra sus propios movimientos y puede mudarse a una nueva habitación si la actual está comprometida, todo sin arruinar el presupuesto.

En resumen, este artículo construye un motor matemático autoconsciente y autocurativo que se niega a ser engañado por saboteadores que intentan manipular sus controles o su temporización.

A continuación se presenta un resumen técnico detallado del artículo "NTT Resiliente a Troyanos: Protección contra Fallos de Flujo de Control y Temporización en Plataformas Reconfigurables."

1. Planteamiento del Problema

La Transformada Numérica Teórica (NTT) es un componente crítico en los algoritmos de Criptografía Post-Cuántica (PQC) basados en retículos (por ejemplo, Kyber, Dilithium, NTRU), reduciendo la complejidad de la multiplicación de polinomios de $O(n^2)$ a $O(n \log n)$ . Sin embargo, las implementaciones de NTT en plataformas reconfigurables como los FPGA son vulnerables a:

Troyanos de Hardware: Modificaciones maliciosas insertadas durante la cadena de suministro (etapas de RTL, síntesis, fundición o bitstream) que atacan las señales de control en lugar de los datos. Una única señal de control corrupta puede interrumpir todo el flujo de control o introducir retardos no convencionales, provocando fallos catastróficos o fugas de información.
Ataques de Canal Lateral (SCA): Específicamente, Ataques de Canal Lateral Analíticos Suaves (SASCA), donde los adversarios explotan fugas de energía o temporización para recuperar partes secretas.
Limitaciones de las Soluciones Existentes: Trabajos anteriores se centran principalmente en detectar fallos en las señales de datos (requiriendo una recomputación pesada) o utilizan lógica duplicada para el flujo de control que está estrechamente acoplada al diseño principal, haciéndola susceptible a los mismos Troyanos. Existe una falta de soluciones que detecten simultáneamente interrupciones del flujo de control, anomalías de temporización y SASCA, ofreciendo al mismo tiempo una corrección adaptativa sin una sobrecarga de rendimiento significativa.

2. Metodología

Los autores proponen una Arquitectura NTT Segura que integra tres mecanismos de detección principales y un sistema de corrección de fallos adaptativo.

A. Mecanismos de Detección de Fallos

Integridad del Flujo de Control (CFI) mediante un Registro de Soporte (CSR) Independiente:
- En lugar de duplicar el Registro de Estado y Control (CSR) principal dentro de la lógica (lo que un Troyano podría corromper), los autores introducen un Registro de Desplazamiento a la Derecha (RSR) ligero que es totalmente independiente de la lógica principal de NTT.
- El CSR principal genera señales de control (por ejemplo, rd_en, wr_en, barrett_strt). El RSR monitorea estas señales.
- Lógica: El RSR desplaza bits al mismo ritmo que el CSR principal. Si la lógica principal es manipulada (por ejemplo, un Troyano bloquea un reloj o invierte un reinicio), el estado esperado del RSR se desviará de las señales de control reales, activando un cfi_fault.
- Esto verifica la integridad de bloques específicos: poly_mem, Reducción de Barrett y uv_add/sub.
Integridad de Temporización mediante Contador de Ciclos de Reloj (CCC):
- Un CCC monitorea la duración activa de los módulos críticos.
- Para un polinomio de grado $n-1$ , la NTT requiere un número fijo de ciclos: $(\log n \times n/2) + (p-1)$ , donde $p$ es la profundidad de la tubería.
- Si un Troyano introduce retardos (deteniendo la tubería) o acelera las operaciones, el CCC detecta la desviación del recuento de ciclos esperado, activando un ccc_fault.
Mitigación de SASCA mediante Enmascaramiento Local (LM):
- Para prevenir SASCA, la arquitectura randomiza los factores de giro ( $\omega$ ) durante las operaciones de escritura en la memoria de polinomios (poly_mem).
- En lugar de escribir $(U+V)$ y $(U-V)$ directamente, el sistema escribe $(U+V)\omega_r$ y $(U-V)\omega_r$ , donde $\omega_r$ es un factor aleatorio.
- Esto enmascara el perfil de consumo de energía asociado con los datos reales, previniendo fugas. En la NTT Inversa, los factores se multiplican por $\omega_r^{-1}$ para recuperar los coeficientes originales.

B. Corrección Adaptativa de Fallos

Al detectar un fallo (cfi_fault o ccc_fault), el sistema emplea un Parche de Bits (software del lado del host) y Reconfiguración Parcial (PR) para corregir el error sin detener el sistema permanentemente. La estrategia de corrección es adaptativa basada en un Factor de Riesgo ( $R_i$ ):

Cálculo del Factor de Riesgo ( $R_i$ ): El sistema calcula una puntuación de riesgo para cada ubicación de bitstream de PR disponible basada en la frecuencia de fallos detectados normalizada por el número de ejecuciones. Esto evita el sesgo hacia núcleos de uso frecuente.
Tres Medidas de Corrección:
1. Repetir Bucle Anterior (Bajo Riesgo): Si la cuenta de fallos es baja, el sistema descarta el resultado de la iteración actual y reejecuta el bucle utilizando el mismo bitstream.
2. Recargar Bit PR (Riesgo Medio): Si la cuenta de fallos supera un umbral inferior, el sistema recarga el mismo bitstream PR a la misma ubicación del FPGA (reiniciando posibles estados transitorios).
3. Reubicar Bit PR (Alto Riesgo): Si la cuenta de fallos supera un umbral superior, el sistema selecciona un bitstream PR con el $R_i$ más bajo (menor riesgo) y reconfigura la NTT a una ubicación física diferente en el plano del FPGA.
Interconexiones Dinámicas: Las interconexiones de bus enrutan dinámicamente las señales de control y las interfaces de memoria hacia la instancia de NTT actualmente activa, permitiendo un cambio fluido entre ubicaciones de PR.

3. Contribuciones Clave

Primera Defensa Centrada en el Flujo de Control: A diferencia de trabajos anteriores centrados en señales de datos, este es el primer diseño que ataca específicamente los Troyanos de señales de control utilizando un registro de respaldo ligero e independiente (RSR) para garantizar la Integridad del Flujo de Control (CFI).
Estrategia de Corrección Adaptativa: Introduce un algoritmo de corrección de fallos novedoso que elige dinámicamente entre reejecución, recarga o reubicación basado en un factor de riesgo calculado ( $R_i$ ), en lugar de un enfoque estático de "siempre reubicar".
Protección Integral: Aborda simultáneamente la Integridad del Flujo de Control, Fallos de Temporización (vía CCC) y SASCA (vía Enmascaramiento Local) en una sola arquitectura.
Sobrecarga Mínima: La solución está diseñada para alta eficiencia, evitando los altos costos de recursos de la recomputación completa o la duplicación masiva.

4. Resultados y Evaluación

El sistema fue implementado en un FPGA Artix-7 utilizando el algoritmo PQC Kyber (variantes 512, 768 y 1024).

Eficiencia de Detección y Corrección de Fallos:
- 100% de Tasa de Detección: Todos los fallos emulados "Atascado en 0" y "Atascado en 1" en las señales de control fueron detectados por los módulos CFI y CCC.
- 100% de Tasa de Corrección: Todos los fallos detectados fueron corregidos exitosamente utilizando el módulo adaptativo, asegurando una salida criptográfica correcta.
Análisis de Sobrecarga:
- Área: Los módulos de detección y corrección de fallos incurren en una sobrecarga de slices del 19.7% en comparación con una NTT base. El módulo solo de detección añade solo un 8.7%.
- Energía: La sobrecarga total de energía es del 3%.
- Temporización:
  - La detección añade cero sobrecarga de temporización.
  - La sobrecarga de corrección depende de la medida:
    - Repetir Bucle: ~10 ns (1 ciclo de reloj).
    - Recargar PR: ~150 µs (tiempo de transferencia ICAP).
    - Reubicar PR: ~256 µs (incluye la búsqueda del mejor bitstream).
Escenarios de Troyanos: El sistema mitiga eficazmente los Troyanos ubicados en las rutas de datos aguas arriba/aguas abajo, dentro del núcleo NTT e incluso dentro de la lógica de monitoreo (aunque se señala que esta última es un punto crítico de fallo si el propio monitor se ve comprometido).

5. Significado

Este artículo presenta un avance significativo en la seguridad de hardware para la Criptografía Post-Cuántica. Al desplazar el enfoque de la integridad de datos a la integridad del flujo de control, aborda un vector de ataque de alto impacto y bajo costo a menudo ignorado por la detección tradicional de fallos. El mecanismo de corrección adaptativa ofrece un equilibrio práctico entre seguridad y rendimiento, permitiendo que los sistemas se recuperen de troyanos de hardware sofisticados con una latencia y penalización de recursos mínimas. Este trabajo allana el camino para el despliegue de aceleradores PQC resilientes en infraestructuras críticas (defensa, aeroespacial, telecomunicaciones) donde la seguridad de la cadena de suministro no puede garantizarse totalmente.