Resumen Técnico: Gerrymandering del Warp: Ataques de Datos de No-Control sobre Decisiones Colectivas de CUDA

Declaración del Problema

Este artículo identifica una nueva clase de vulnerabilidades de seguridad en aplicaciones CUDA denominada Corrupción Semántica Colectiva (CSC). Mientras que los ataques tradicionales de datos de no-control (NCD) corrompen valores como identidades o banderas de políticas para subvertir la lógica de seguridad sin alterar el flujo de control, la CSC se dirige a los metadatos de participación dentro de las operaciones colectivas de CUDA.

En CUDA, las decisiones colectivas (por ejemplo, votos, reducciones, intercambios/shuffles, barreras) suelen situarse en rutas de seguridad críticas, tales como la aceptación de lotes, la agregación de evidencia o la selección de representantes. Estas decisiones dependen no solo de los valores computados, sino también de quién participa, qué contribuyen, cuál carril representa al grupo y qué estado validado se establece. El artículo argumenta que la máscara de sincronización de CUDA (que dicta la ejecución para el comportamiento definido por el hardware) es distinta del conjunto de autoridad semántica de la aplicación (que dicta qué sujetos representan la decisión).

Un atacante puede corromper los metadatos de participación (máscaras, predicados, carriles de origen, descriptores, etiquetas de grupo o épocas) de tal manera que:

1. El kernel ejecute la primitiva de CUDA prevista en el punto de programa esperado.
2. Se cumpla la disciplina de la llamada de CUDA (todos los carriles requeridos ejecutan).
3. La operación colectiva, sin embargo, autorice una decisión sobre la membresía, contribución, rol o estado de validación-a-uso incorrectos.

Esto resulta en un "fallo de integridad silencioso" donde el programa produce una ejecución de CUDA válida pero una decisión de seguridad no autorizada (por ejemplo, aceptar un lote porque un carril de rechazo fue excluido del conjunto de participantes semánticos).

Metodología

El Contrato de Participación-Autoridad

Los autores modelan la CSC utilizando un contrato de participación-autoridad local al sitio. Para cualquier sitio colectivo relevante para la seguridad, el contrato define cuatro dimensiones de confianza que deben ser derivadas, verificadas, recalculadas o congeladas antes de la autorización:

1. Membresía ($I_\ell$): Qué carriles están representados (por ejemplo, lane < n, dominios de filas verificados).
2. Contribución ($P_\ell$): Qué evidencia contribuyen esos carriles (por ejemplo, verificaciones de validez recalculadas).
3. Rol ($R_\ell$): Qué carril habla o se compromete por el grupo (por ejemplo, reglas de líder canónico, anchos de intercambio fijos).
4. Vinculación Temporal ($\Phi_\ell$): Si el estado verificado antes del colectivo permanece vinculado al sitio de uso (por ejemplo, descriptores congelados, épocas).

Una instancia de CSC ocurre cuando los metadatos observados ($O_\ell$) se desvían del contrato de confianza ($C_\ell$) de una manera que cambia la observación de seguridad ($SecObs$), aun cuando la llamada de CUDA sigue siendo conforme.

Canales de Ataque

El artículo identifica tres canales a través de los cuales los metadatos de participación pueden corromperse:

• Metadatos Adversariales: Solicitudes del host que contienen descriptores, conteos o etiquetas sintácticamente válidos que el kernel trata incorrectamente como autoridad.
• Estado Estancado/Lógico: Escenarios donde los metadatos son validados en una fase pero recargados como estado cambiado en un colectivo posterior (deriva de Tiempo de Verificación a Tiempo de Uso).
• Disparadores de Corrupción de Memoria: Errores de memoria del lado del dispositivo (desbordamientos, sobrescrituras intra-objeto) que corrompen los objetos de participación antes de que el colectivo los consuma.

Estrategia de Evaluación

Los autores construyeron una suite de conformidad de contrato para evaluar la CSC a través de las primitivas de NVIDIA CUDA.

• Suite Principal: 102 instancias que cubren las cuatro dimensiones de autoridad (membresía, contribución, rol, temporal).
• Sensible a la Sincronización: 13 instancias adicionales reportadas por separado.
• Fortalecimiento: Implementación de Contratos de Integridad Colectiva (CIC), una disciplina de envoltorio (wrapper) que vincula los metadatos de participación con el contrato de confianza.
• Validación: La evaluación compara ejecuciones vulnerables, ejecuciones fortalecidas y referencias de confianza utilizando fuzzers, armazones de servicio (service harnesses) y controles negativos.

Contribuciones Clave

1. Identificación de la Autoridad de Participación: El artículo establece que los metadatos de participación de CUDA son una categoría distinta de datos de no-control en la toma de decisiones. Demuestra que un colectivo puede ser conforme a CUDA y, aun así, representar un conjunto de sujetos no autorizados.
2. Modelo de Contrato Formal: Introduce un modelo formal para los contratos de participación-autoridad, separando los metadatos "de rango válido" de los "de autoridad válida". Este modelo define las fuentes de confianza para la membresía, contribución, rol y vinculación temporal.
3. Evidencia Empírica de CSC: A través de una suite de 102 instancias principales, los autores demuestran que los metadatos de participación corrompidos causan un desajuste con la referencia de confianza en 102/102 casos. Por el contrario, las variantes fortalecidas usando CIC preservan la referencia de confianza en 102/102 casos.
4. Contratos de Integridad Colectiva (CIC): El artículo propone el CIC como un mecanismo de defensa. Los envoltorios CIC derivan, verifican, recalculan o congelan los metadatos de participación antes del uso del colectivo, asegurando que la decisión sea autorizada solo por el contrato previsto.

Resultados

• Hallazgos Principales: En las 102 instancias principales de CUDA, los metadatos de participación corrompidos causaron consistentemente un desajuste con la referencia de confianza (por ejemplo, aceptación inválida, selección de representante errónea) mientras preservaban la disciplina de la llamada de CUDA. Las variantes fortalecidas (CIC) previnieron con éxito estos desajustes.
• Canales de Disparo: El estudio confirmó que los tres canales de ataque (metadatos adversariales, estado estancado, corrupción de memoria) pueden alcanzar los mismos objetos de autoridad y producir fallos de seguridad idénticos.
• Impacto en el Servicio: En un escenario de guardia de recuperación/admisión, el código vulnerable aceptó 12/16 solicitudes inválidas (debido a máscaras corrompidas que incluían carriles erróneos). Con CIC, 0/16 solicitudes inválidas fueron aceptadas y todos los desajustes fueron detectados.
• Limitaciones de las Herramientas: Las herramientas estándar como Compute Sanitizer, las comprobaciones de rango e integridad de flujo de control fallaron en detectar estos problemas porque las ejecuciones eran sintácticamente válidas y libres de errores de memoria o condiciones de carrera. El fallo fue puramente semántico respecto a quién participó.
• Fuzzing: Los fuzzers generaron 65,536 estados por dimensión, confirmando que el modelo de contrato es robusto y no está ligado a ejemplos manuales específicos. No se encontraron falsos negativos en las variantes fortalecidas.

Significado y Reivindicaciones

El artículo sostiene que la seguridad para las decisiones colectivas de CUDA depende tanto de los valores computados como de los participantes representados. Argumenta que los mecanismos de seguridad actuales de GPU (seguridad de memoria, defensas contra inyección de código) abordan las causas de la corrupción, pero fallan en abordar la consecuencia cuando los metadatos corrompidos son tratados como autoridad.

Los autores posicionan la CSC como un fallo a nivel de programa específico de cómo las aplicaciones de CUDA interpretan los metadatos de participación. El significado radica en:

• Redefinición de la Superficie de Ataque: Resaltar que las llamadas de CUDA "válidas" aún pueden ser inseguras si el conjunto de autoridad semántica es objeto de gerrymandering.
• Mecanismo de Defensa: Proporcionar una disciplina concreta e implementable (CIC) que vincula los metadatos a contratos de confianza, mitigando efectivamente la superficie de ataque identificada.
• Limitación del Alcance: El artículo reivindica modestamente la identificación y el modelado de este modo de fallo específico dentro del comportamiento definido de CUDA. No pretende resolver todos los problemas de seguridad de GPU, ni afirma que todos los colectivos de CUDA sean vulnerables, sino que cualquier colectivo utilizado para decisiones de seguridad es vulnerable si los metadatos de participación no están vinculados a un contrato de confianza.

El trabajo concluye que, sin vincular los metadatos de participación a un contrato derivado independientemente, las decisiones colectivas de CUDA siguen siendo susceptibles de fallos de integridad silenciosos donde la autoridad incorrecta es autorizada.