ANTMAN: An Efficient and Interpretable RTL-Level Run-Time Detection Framework for Stealthy Branch Predictor Attacks on BOOM

Imagine o processador do seu computador como um chef superveloz e hiperorganizado em uma cozinha movimentada. Para economizar tempo, este chef não espera que cada pedido seja totalmente confirmado antes de começar a cozinhar; em vez disso, ele adivinha o que o cliente pode querer a seguir e começa a picar vegetais ou aquecer panelas com base nessa suposição. Isso é chamado de "execução especulativa" e torna os computadores incrivelmente rápidos. No entanto, assim como um chef que acidentalamente deixa um rastro de cebolas picadas no balcão, essas suposições deixam pegadas minúsculas e invisíveis na memória da máquina.

Hackers aprenderam a ler essas pegadas. Ao observar quanto tempo o chef leva para perceber que uma suposição estava errada e recomeçar, eles podem descobrir receitas secretas (como senhas ou chaves de criptografia) sem nunca chegar a ver os ingredientes. Isso é conhecido como um "ataque de canal lateral". Por muito tempo, especialistas em segurança tentaram pegar esses hackers contando quantas vezes o chef pegava uma faca ou abria uma gaveta (usando contadores de hardware). Mas os hackers tornaram-se muito espertos; eles aprenderam a esconder suas pegadas tão bem que os contadores não consegam vê-las, especialmente nos novos processadores RISC-V de código aberto que estão se tornando populares em tudo, desde telefones até satélites.

Apresentamos o ANTMAN, um novo framework de segurança projetado por pesquisadores para pegar esses intrusos invisíveis. Pense no ANTMAN não como um contador, mas como um inspetor de cozinha superobservador que não apenas conta ações, mas entende a história do que está acontecendo. Em vez de olhar para eventos isolados, o ANTMAN observa toda a cozinha em busca de uma dança caótica específica que só acontece quando um hacker está tentando roubar segredos.

Os pesquisadores construíram este sistema no processador BOOM, um famoso design de código aberto que atua como uma cozinha de testes para chips RIS_V. Primeiro, eles deixaram o computador executar milhares de tarefas de cozimento normais (cargas de trabalho benignas) e depois deixaram um hacker tentar roubar segredos usando dois truques diferentes: um simples e um complexo. Ao registrar cada sinal dentro do cérebro do processador, eles usaram uma técnica de mineração de dados chamada "mineração de regras de associação". Imagine isso como ensinar um computador a reconhecer que, sempre que o chef deixa cair uma colher, o forno apita e as luzes piscam ao mesmo tempo, não é um acidente — é um sinal de que há um ladrão na cozinha.

O artigo constata que essas "danças secretas" são incrivelmente consistentes. Quando um hacker tenta explorar o mecanismo de suposição do processador, isso desencadeia uma reação em cadeia específica: o processador percebe que errou a suposição, tenta corrigir seu caminho e, então, tem que limpar toda a sua lousa mental para recomeçar. Isso acontece em várias partes diferentes do processador simultaneamente. Os pesquisadores descobriram 16 regras específicas que descrevem esse padrão caótico. Por exemplo, se o sinal de "erro de previsão de desvio" (branch misprediction) na unidade principal coincide com o sinal de "limpeza" (flush) na unidade de memória e o sinal de "redirecionamento" (redirect) na unidade de busca ao mesmo tempo, é quase certamente um ataque.

Quando construíram um monitor minúsculo e não intrusivo dentro do design do processador para observar essas 16 regras, os resultados foram impressionantes. Em suas simulações, o ANTMAN pegou os hackers 100% das vezes. Não importava se o hacker estava usando um truque simples ou um complexo; o sistema detectou o ataque após apenas 25% do ataque estar completo para a versão simples, e até mesmo pegou as variações complexas e invisíveis antes que o segredo fosse totalmente roubado. Crucialmente, ele nunca gritou "lobo" durante as tarefas de cozimento normais, alcançando zero alarmes falsos.

Os pesquisadores observam cuidadosamente que isso foi testado em um ambiente simulado (um modelo digital perfeito do processador), não em um chip físico em um dispositivo do mundo real ainda. No entanto, a simulação mostra que, ao projetar a segurança diretamente no projeto do processador (nível RTL), em vez de tentar corrigi-la mais tarde, eles podem deter esses ataques furtivos muito mais rápido do que os métodos anteriores. Eles argumentam que, enquanto os métodos antigos que dependem de contadores de hardware são como tentar pegar um fantasma contando quantas vezes uma porta range, o ANTMAN é como reconhecer o padrão de sombra específico de um fantasma. Esta abordagem oferece um caminho promissor de "segurança por design" para proteger a próxima geração de computadores de código aberto contra ameaças invisíveis.