Pre-Characterization of Electromagnetic Side-Channel Leakage Using Publicly Available Information: A Case Study on E-Voting Interfaces

Resumen Técnico: Pre-caracterización de Fugas por Canal Lateral Electromagnético Utilizando Información Públicamente Disponible

Planteamiento del Problema
Este trabajo aborda la vulnerabilidad de los sistemas de votación electrónica ante ataques de canal lateral inalámbricos, específicamente ataques TEMPEST, donde la información sensible de la pantalla se reconstruye a partir de emanaciones electromagnéticas no intencionadas. Los autores se centran en la Máquina de Votación Electrónica Brasileña (BVM), investigando si la información públicamente disponible sobre el diseño y funcionamiento del sistema puede aprovecharse para pre-caracterizar su fuga electromagnética. El problema central es que las decisiones de diseño tomadas por razones de usabilidad y transparencia —como interfaces de alto contraste, información mínima en pantalla y reglas estrictas en las mesas de votación que prohíben otros dispositivos electrónicos— pueden crear inadvertidamente una firma espectral distintiva y fácilmente identificable, facilitando la escucha remota sin acceso físico previo al hardware.

Metodología
El estudio emplea un modelo de amenaza de "TEMPEST Público", donde un atacante utiliza información del sistema divulgada públicamente para identificar características estructurales de la señal ex ante, antes de la adquisición física de la señal. La metodología implica los siguientes pasos:

1. Emulación del Sistema: Los autores emulan la interfaz de la BVM utilizando un monitor VGA estándar configurado con parámetros derivados de especificaciones técnicas públicas (específicamente los modelos UE2020/UE2022) y reglas operativas. La emulación utiliza una resolución de 1280×720@60Hz, resultando en una tasa de píxeles de 1650×750@60 (incluyendo intervalos de borrado).
2. Modelado de la Señal: El documento modela la señal de video VGA como una secuencia de pulsos rectangulares asociados a las intensidades de los píxeles. El análisis teórico indica que la transformada de Fourier de esta señal contiene energía sustancial alrededor del reloj de píxeles y sus armónicos, con transiciones rectangulares agudas que producen armónicos de orden superior que decaen lentamente y se irradian eficientemente.
3. Configuración Experimental: Se utilizó una Radio Definida por Software (SDR), específicamente un Ettus USRP B200, para interceptar las emisiones electromagnéticas. La configuración involucró un dispositivo objetivo y la SDR colocados en habitaciones separadas, divididas por un muro de mampostería. La SDR se configuró con una tasa de muestreo de 54 MS/s utilizando una antena convencional de TV digital HD y el paquete de software gr-tempest.
4. Análisis de Datos: Las señales interceptadas se analizaron utilizando una representación de Transformada Discreta de Fourier (DFT) línea por línea (Raster de Tiempo) para identificar componentes espectrales y reconstruir la interfaz de votación.

Resultados Clave
Los experimentos arrojaron los siguientes hallazgos:

• Firma Espectral Distintiva: El diseño de alto contraste y mínima información de la interfaz de la BVM resultó en una firma espectral simple y altamente distintiva.
• Penetración de Muros: La firma específica, caracterizada por un componente de CC fuerte centrado en un instante de tiempo de aproximadamente 11.11 µs (derivado de la duración de la línea y la tasa de muestreo), permaneció observable incluso después de que la señal se propagó a través de un muro de mampostería.
• Reconstrucción: Los autores reconstruyeron con éxito la interfaz de votación escuchada a partir de la señal interceptada, demostrando que el patrón espectral único permite la identificación del sistema objetivo sin necesidad de inferir las tasas de píxeles únicamente a partir de la correlación de señales.
• Información Pública como Facilitador: El estudio confirmó que los datos públicos (especificaciones técnicas, reglas operativas y diseños de interfaz) permiten a un atacante mapear parámetros específicos a la firma espectral, reduciendo la complejidad computacional requerida para la estimación de la tasa de fotogramas y la identificación de armónicos.

Significado y Afirmaciones
El documento afirma ser el primer estudio en la literatura que investiga ataques TEMPEST específicamente en el contexto de un sistema de votación electrónica adoptado oficialmente por un país. Los autores destacan que, aunque sus experimentos utilizaron una emulación en lugar del hardware oficial de la BVM, los resultados plantean preocupaciones significativas sobre la susceptibilidad del sistema a este tipo de ataques.

El significado del trabajo radica en dos áreas principales:

1. Vulnerabilidad de Seguridad: Demuestra que las medidas de transparencia (publicación de diseños de interfaz y especificaciones) combinadas con restricciones de usabilidad (alto contraste, texto mínimo) pueden crear un canal lateral "público" que facilita la escucha remota.
2. Potencial de Mitigación: Los autores sugieren que estas propiedades pre-caracterizadas podrían apoyar el diseño de jammers automáticos capaces de dirigirse adaptativamente a frecuencias comprometedoras, ofreciendo una estrategia potencial de contramedida.

El trabajo está motivado por un llamado público de la autoridad electoral brasileña para anticipar problemas de seguridad y por decisiones judiciales recientes relacionadas con violaciones de la privacidad en la votación, enfatizando la necesidad de más investigación sobre contramedidas protectoras para el proceso electoral nacional.