Resumo Técnico: Gerrymandering da Warp: Ataques de Dados Não-Controle em Decisões Coletivas CUDA

Declaração do Problema

Este artigo identifica uma nova classe de vulnerabilidades de segurança em aplicações CUDA denominada Corrupção Semântica Coletiva (CSC - Collective Semantic Corruption). Enquanto os ataques tradicionais de dados não-controle (NCD) corrompem valores como identidades ou flags de política para subverter a lógica de segurança sem alterar o fluxo de controle, a CSC visa metadados de participação dentro de operações coletivas CUDA.

No CUDA, decisões coletivas (ex: votos, reduções, shuffles, barreiras) frequentemente residem em caminhos de segurança críticos, tais como aceitar lotes, agregar evidências ou selecionar representantes. Essas decisões dependem não apenas de valores computados, mas também de quem participa, o que eles contribuem, qual lane representa o grupo e qual estado validado é comprometido. O artigo argumenta que a máscara de sincronização do CUDA (que dita a execução para o comportamento definido pelo hardware) é distinta do conjunto de autoridade semântica da aplicação (que dita quais principais representam a decisão).

Um atacante pode corromper metadados de participação (máscaras, predicados, lanes de origem, descritores, rótulos de grupo ou épocas) de tal forma que:

1. O kernel executa a primitiva CUDA pretendida no ponto de programa esperado.
2. A disciplina de chamada do CUDA é satisfeita (todas as lanes necessárias executam).
3. A operação coletiva, entretanto, autoriza uma decisão sobre a participação, contribuição, papel ou estado de validação-para-uso errados.

Isso resulta em uma "falha de integridade silenciosa", onde o programa produz uma execução CUDA válida, mas uma decisão de segurança não autorizada (ex: aceitando um lote porque uma lane de rejeição foi excluída do conjunto de participantes semânticos).

Metodologia

O Contrato de Participação-Autoridade

Os autores modelam a CSC usando um contrato de participação-autoridade local ao sítio. Para qualquer sítio coletivo relevante à segurança, o contrato define quatro dimensões de confiança que devem ser derivadas, verificadas, recomputadas ou congeladas antes da autorização:

1. Membro ($I_\ell$): Quais lanes são representadas (ex: lane < n, domínios de linhas verificados).
2. Contribuição ($P_\ell$): O que essas lanes contribuem (ex: verificações de validade recomputadas).
3. Papel ($R_\ell$): Qual lane fala ou compromete para o grupo (ex: regras de líder canônico, larguras de shuffle fixas).
4. Vinculação Temporal ($\Phi_\ell$): Se o estado verificado antes do coletivo permanece vinculado ao sítio de uso (ex: descritores congelados, épocas).

Uma instância de CSC ocorre quando os metadados observados ($O_\ell$) divergem do contrato de confiança ($C_\ell$) de uma forma que altera a observação de segurança ($SecObs$), mesmo que a chamada CUDA permaneça conforme.

Canais de Ataque

O artigo identifica três canais através dos quais os metadados de participação podem ser corrompidos:

• Metadados Adversariais: Solicitações do host contendo descritores, contagens ou rótulos sintaticamente válidos que o kernel trata incorretamente como autoridade.
• Estado Estagnado/Lógico: Cenários onde os metadados são validados em uma fase, mas recarregados como estado alterado em um coletivo posterior (derivação de Tempo-de-Verificação para Tempo-de-Uso - TOCTOU).
• Gatilhos de Corrupção de Memória: Bugs de memória do lado do dispositivo (overflows, sobrescritas intra-objeto) que corrompem objetos de participação antes do coletivo consumi-los.

Estratégia de Avaliação

Os autores construíram uma suíte de conformidade de contrato para avaliar a CSC através de primitivas NVIDIA CUDA.

• Suíte Principal: 102 instâncias cobrindo as quatro dimensões de autoridade (membro, contribuição, papel, temporal).
• Sensível à Sincronização: 13 instâncias adicionais relatadas separadamente.
• Endurecimento (Hardening): Implementação de Contratos de Integridade Coletiva (CIC - Collective Integrity Contracts), uma disciplina de wrapper que vincula os metadados de participação ao contrato de confiança.
• Validação: A avaliação compara execuções vulneráveis, execuções endurecidas e referências confiáveis usando fuzzers, harnesses de serviço e controles negativos.

Principais Contribuições

1. Identificação da Autoridade de Participação: O artigo estabelece que os metadados de participação do CUDA são uma categoria distinta de dados não-controle para tomada de decisão. Demonstra que um coletivo pode ser conforme ao CUDA, mas representar um conjunto de principais não autorizado.
2. Modelo de Contrato Formal: Introduz um modelo formal para contratos de participação-autoridade, separando metadados "válidos no intervalo" de metadados "válidos na autoridade". Este modelo define as fontes confiáveis para membro, contribuição, papel e vinculação temporal.
3. Evidência Empírica de CSC: Através de uma suíte de 102 instâncias principais, os autores demonstram que metadados de participação corrompidos causam uma divergência da referência confiável em 102/102 casos. Inversamente, variantes endurecidas usando CIC preservam a referência confiável em 102/102 casos.
4. Contratos de Integridade Coletiva (CIC): O artigo propõe o CIC como um mecanismo de defesa. Os wrappers CIC derivam, verificam, recomputam ou congelam os metadados de participação antes do uso do coletivo, garantindo que a decisão seja autorizada apenas pelo contrato pretendido.

Resultados

• Principais Descobertas: Nos 102 casos principais de CUDA, metadados de participação corrompidos causaram consistentemente uma divergência da referência confiável (ex: aceitação inválida, seleção errada de representante), enquanto preservavam a disciplina da chamada CUDA. As variantes endurecidas (CIC) preveniram com sucesso essas divergências.
• Canais de Gatilho: O estudo confirmou que todos os três canais de ataque (metadados adversariais, estado estagnado, corrupção de memória) podem atingir os mesmos objetos de autoridade e produzir falhas de segurança idênticas.
• Impacto no Serviço: Em um cenário de guarda de recuperação/admissão, o código vulnerável aceitou 12/16 requisições inválidas (devido a máscaras corrompidas incluindo lanes ruins). Com o CIC, 0/16 requisições inválidas foram aceitas, e todas as divergências foram detectadas.
• Limitações de Ferramentas: Ferramentas padrão como Compute Sanitizer, verificações de intervalo e integridade de fluxo de controle falharam em detectar esses problemas porque as execuções eram sintaticamente válidas e livres de erros de memória ou condições de corrida. A falha foi puramente semântica em relação a quem participou.
• Fuzzing: Fuzzers geraram 65.536 estados por dimensão, confirmando que o modelo de contrato é robusto e não está preso a exemplos manuais específicos. Nenhum falso negativo foi encontrado nas variantes endurecidas.

Significância e Alegações

O artigo alega que a segurança para decisões coletivas CUDA depende de tanto dos valores computados quanto dos participantes representados. Argumenta que os mecanismos atuais de segurança de GPU (segurança de memória, defesas contra injeção de código) abordam as causas da corrupção, mas falham em abordar a consequência quando metadados corrompidos são tratados como autoridade.

Os autores posicionam a CSC como uma falha de nível de programa específica de como as aplicações CUDA interpretam metadados de participação. A significância reside em:

• Redefinição da Superfície de Ataque: Destacar que chamadas CUDA "válidas" ainda podem ser inseguras se o conjunto de autoridade semântica for alvo de gerrymandering.
• Mecanismo de Defesa: Fornecer um disciplina concreta e implementável (CIC) que vincula metadados a contratos de confiança, mitigando efetivamente a superfície de ataque identificada.
• Limitação de Escopo: O artigo modestamente alega identificar e modelar este modo de falha específico dentro do comportamento definido do CUDA. Não afirma resolver todos os problemas de segurança de GPU, nem que todos os coletivos CUDA sejam vulneráveis, mas sim que qualquer coletivo usado para decisões de segurança é vulnerável se os metadados de participação não forem vinculados a um contrato de confiança.

O trabalho conclui que, sem vincular os metadados de participação a um contrato derivado independentemente, as decisões coletivas do CUDA permanecem suscetíveis a falhas de integridade silenciosas onde o conjunto de autoridade errado é autorizado.