Resumo Técnico: WATSON - Aproveitando Pontos de Vigilância de Dados para Proteção de Pilha Sombra em Sistemas Embarcados

Declaração do Problema

Dispositivos embarcados e da Internet das Coisas (IoT), frequentemente programados em linguagens inseguras quanto à memória como C, são altamente suscetíveis a ataques de sequestro de fluxo de controle, particularmente Programação Orientada a Retornos (ROP). Esses ataques exploram transbordamentos de buffer baseados em pilha para sobrescrever endereços de retorno, redirecionando a execução para sequências de código malicioso. Embora pilhas sombra sejam um mecanismo de defesa comprovado que armazena endereços de retorno em uma região de memória separada e protegida, soluções existentes para sistemas embarcados enfrentam limitações significativas:

1. Cobertura Incompleta: Muitas soluções falham em proteger fluxos de controle de borda reversa em todo o sistema, deixando especificamente manipuladores de interrupção e exceção desprotegidos.
2. Alta Sobrecarga de Desempenho: Soluções que dependem de extensões de segurança como TrustZone (por exemplo, CaRE, TzmCFI) incorrem em sobrecargas massivas em tempo de execução (até 513%) devido a trocas de contexto frequentes entre estados seguros e não seguros.
3. Dependências de Hardware: Muitas abordagens dependem de recursos de hardware não universalmente disponíveis em dispositivos embarcados, como Ambientes de Execução Confiáveis (TEE) ou unidades específicas de proteção de memória (MPU).
4. Problemas de Compatibilidade: Soluções que dependem da MPU para restringir o acesso à pilha sombra consomem regiões de memória configuráveis limitadas, potencialmente entrando em conflito com outros mecanismos de segurança como compartimentalização.

Metodologia: WATSON

Os autores propõem o WATSON, uma solução baseada em compilador que fornece uma pilha sombra protegida para sistemas embarcados sem depender de TEEs ou hardware complexo de gerenciamento de memória. A inovação central é o reaproveitamento de unidades de depuração de hardware padrão — especificamente Pontos de Vigilância de Dados (DWT) encontrados em ARM Cortex-M e gatilhos de depuração em RISC-V — que são amplamente disponíveis, mas subutilizados para segurança.

Componentes Arquitetônicos Chave

1. Transformação de Pilha Sombra Compacta:

   • Em vez de duplicar toda a pilha principal (pilha sombra paralela), o WATSON implementa uma pilha sombra compacta que armazena apenas endereços de retorno.
   • O compilador instrumenta os prólogos de função para salvar endereços de retorno na pilha sombra e os epílogos para recuperá-los.
   • Para evitar reservar Registradores de Propósito Geral (GPRs) escassos, o WATSON armazena o Ponteiro da Pilha Sombra (SSP) em um registrador mapeado em memória (especificamente, um registrador comparador DWT reaproveitado). Isso evita pressão sobre registradores em microcontroladores com recursos limitados.

2. Proteção contra Escrita via Pontos de Vigilância de Dados:

   • O WATSON configura comparadores DWT para monitorar a região de memória da pilha sombra.
   • Estado Padrão: A pilha sombra é configurada como somente leitura. Qualquer tentativa de escrita não autorizada aciona uma exceção DebugMon, levando a um reinício do sistema ou relatório de segurança.
   • Aplicação em Tempo de Execução: Durante prólogos de função legítimos, o compilador desabilita temporariamente a proteção contra escrita, atualiza a pilha sombra e o SSP, e depois reabilita a proteção antes que o corpo da função seja executado. Isso garante que apenas caminhos de código autorizados possam modificar a pilha sombra.

3. Manipulação de Exceções e Interrupções:

   • O WATSON aborda a lacuna na proteção de manipuladores de exceção. Ao entrar em uma exceção, ele captura uma cópia parcial do Quadro de Pilha de Exceção (ESF) e o armazena na pilha sombra.
   • Ao retornar, ele restaura o ESF e verifica o endereço de retorno contra a pilha sombra.
   • Este design garante que mesmo manipuladores de exceção maliciosos não possam comprometer o fluxo de controle ou escalar privilégios.

4. Integração com CFI de Borda Direta:

   • Para impedir que atacantes desabilitem a proteção contra escrita por meio de ataques de borda direta (por exemplo, pulando para código que modifica a configuração do DWT), o WATSON integra-se à opção -fsanitize=cfi-icall do LLVM para impor integridade de fluxo de controle de borda direta.

Contribuições Principais

1. Proteção Agnóstica de Hardware: O WATSON é a primeira solução a aproveitar unidades de depuração padrão (Pontos de Vigilância de Dados) para proteção de pilha sombra, eliminando a necessidade de TEEs ou configurações específicas de MPU. Isso garante compatibilidade com outros mecanismos de segurança existentes, como separação de privilégios e compartimentalização.
2. Integridade em Todo o Sistema: Diferentemente de trabalhos anteriores, o WATSON fornece proteção abrangente tanto para chamadas de função normais quanto para manipuladores de exceção/interrupção, impedindo a escalada de privilégios por meio de manipuladores comprometidos.
3. Implementação Eficiente: Ao utilizar registradores mapeados em memória para o SSP e uma pilha sombra compacta, o WATSON minimiza a pressão sobre registradores e a pegada de memória, tornando-o adequado para sistemas embarcados bare-metal.
4. Protótipo e Avaliação: Os autores implementaram um protótipo na arquitetura ARM Cortex-M4 usando LLVM e o avaliaram contra conjuntos de benchmarks padrão e aplicações do mundo real.

Resultados

A avaliação foi conduzida na arquitetura ARM Cortex-M usando os conjuntos de benchmarks BEEBS e CoreMark-Pro, bem como duas aplicações do mundo real (Pinlock e FatFS RAM).

• Sobrecarga de Desempenho:
  • BEEBS: Sobrecarga média em tempo de execução de 7,33% (média geométrica 0,90%).
  • CoreMark-Pro: Sobrecarga média em tempo de execução de 1,81% (média geométrica 0,59%).
  • Manipulação de Exceções: Sobrecarga em tempo de execução negligenciável (aprox. 9e-06%) para o tratamento de exceções de Falha de Uso.
  • Aplicações do Mundo Real: A sobrecarga foi de 0,2% para o Pinlock e negligenciável para o FatFS RAM.
• Sobrecarga de Tamanho de Código:
  • BEEBS: Aumento médio de 8,58% (média geométrica 7,36%).
  • CoreMark-Pro: Aumento médio de 2,54% a 3,53%.
  • Aplicações do Mundo Real: 0,88% para o Pinlock e 2,11% para o FatFS RAM.
• Eficácia de Segurança:
  • O WATSON impediu com sucesso ataques que tentavam sobrescrever endereços de retorno na pilha principal.
  • Bloqueou efetivamente modificações diretas não autorizadas à pilha sombra, acionando exceções quando atacantes tentaram manipular a região de memória protegida.

Significado e Alegações

O artigo afirma que o WATSON oferece uma alternativa prática e eficiente às soluções existentes de pilha sombra para sistemas embarcados. Seu significado principal reside em:

• Compatibilidade: Funciona perfeitamente com outros mecanismos de segurança (por exemplo, compartimentalização) porque não consome regiões limitadas de MPU nem requer extensões de hardware raras como TEE.
• Acessibilidade: Ao usar unidades de depuração padrão disponíveis na maioria dos microcontroladores modernos (ARM Cortex-M, RISC-V), reduz a barreira para implantar integridade de fluxo de controle robusta em uma ampla gama de dispositivos embarcados.
• Completude: Aborda a vulnerabilidade frequentemente negligenciada de manipuladores de exceção, fornecendo proteção real de borda reversa em todo o sistema.

Os autores reconhecem limitações, como a dificuldade de instrumentar bibliotecas de terceiros pré-compiladas e o limite de memória de 32 KB para a pilha sombra no ARMv7-M com um único comparador. No entanto, argumentam que essas restrições são gerenciáveis para cargas de trabalho embarcadas típicas e que o compromisso entre pegada de memória e desempenho é favorável para ambientes com recursos limitados.