Resumo Técnico: O Sono Revela o Nonce

Declaração do Problema

A segurança do Algoritmo de Assinatura Digital de Curva Elíptica (ECDSA) depende fundamentalmente do segredo do nonce ($k$) por assinatura. Mesmo o vazamento parcial do nonce pode permitir que um atacante recupere a chave de assinatura de longo prazo usando criptoanálise baseada em redes (especificamente, o Problema do Número Oculto). Embora o ECDSA determinístico (RFC 6979) mitigue falhas de aleatoriedade, ele introduz uma nova vulnerabilidade: mensagens idênticas produzem nonces idênticos, amplificando padrões de vazamento de canal lateral.

Os ataques de canal lateral de potência (PSC) existentes contra o ECDSA geralmente exigem traços de alta resolução, alinhamento complexo, observabilidade privilegiada (ex: sondas EM, osciloscópios avançados) ou visam implementações não-constantes em tempo. Além disso, muitos ataques anteriores são limitados a uma única plataforma de hardware ou bibliotecas criptográficas específicas. Permanece uma lacuna na compreensão se as flutuações de potência "induzidas pelo sono", identificadas anteriormente como a vulnerabilidade SleepWalk, podem ser generalizadas entre arquiteturas e bibliotecas para quebrar implementações de ECDSA de tempo constante.

Metodologia

Os autores propõem um novo vetor de ataque que aproveita a vulnerabilidade de canal lateral SleepWalk. Diferente dos PSCs tradicionais que analisam traços de potência completos, esta abordagem baseia-se em uma medição de ponto único: a amplitude de um pico de potência gerado durante uma troca de contexto do sistema operacional disparada por uma chamada de sistema sleep.

O Vetor de Ataque

1. Mecanismo: O pico de potência durante uma troca de contexto consiste em dois componentes: uma assinatura de potência de troca de contexto (dependente do peso de Hamming dos dados dos registradores no momento da troca) e uma assinatura de potência residual (refletindo a pegada de potência remanescente das instruções executadas imediatamente antes).
2. Elo de Vulnerabilidade: Os autores hipotetizam que operações de multiplicação escalar em ECDSA, ao processar bits/nibbles iniciais zero do nonce, resultam em computações que envolvem pontos identidade (padrões de bits todos zero). Essas operações geram pesos de Hamming menores e assinaturas de potência residual distintas em comparação com operações em valores não nulos.
3. Configuração Experimental:
   • Hardware: Dois computadores de placa única foram utilizados: um Raspberry Pi 4B (ARM Cortex-A72) e um VisionFive 2 (RISC-V U74).
   • Bibliotecas: Três bibliotecas criptográficas amplamente utilizadas foram alvo: RustCrypto, BearSSL e GoCrypto.
   • Procedimento: O sistema realiza múltiplas operações de assinatura ECDSA com a mesma mensagem (para garantir nonces idênticos) seguidas de uma chamada sleep. Um osciloscópio Keysight captura a amplitude do pico de potência.
   • Coleta de Dados: O estudo variou o número de bits/nibbles iniciais zero no nonce e mediu as amplitudes de pico de potência resultantes.

Análise de Implementação

Os autores realizaram engenharia reversa nas rotinas de multiplicação escalar das bibliotecas alvo para identificar a fonte do vazamento:

• RustCrypto & BearSSL: Ambas utilizam um algoritmo de dobro-e-soma (double-and-add) de janela esquerda-para-direita de 4 bits fixos. Quando o nonce começa com nibbles zero, o loop processa pontos identidade (padrões de valor zero), resultando em menor peso de Hamming e redução da potência residual.
• GoCrypto: Utiliza um método de janela assinada de 6 bits com recodificação de Booth. Semelhante aos outros, o processamento de blocos zero resulta em computações dominadas por valores zero, criando uma assinatura de potência distinguível.

Principais Contribuições

1. Generalização entre Arquiteturas: O artigo demonstra que a vulnerabilidade SleepWalk não está confinada a uma única plataforma, mas existe através de distintas arquiteturas de processador (ARM e RISC-V).
2. Ataque Agnóstico à Biblioteca: O ataque extrai com sucesso informações do nonce de três bibliotecas criptográficas diversas (RustCrypto, BearSSL, GoCrypto), provando que a vulnerabilidade é inerente à interação entre o mecanismo de sono do SO e a lógica de multiplicação escalar, em vez de bugs específicos de bibliotecas.
3. Eficiência: O ataque proposto é significativamente mais eficiente que trabalhos anteriores. Enquanto ataques anteriores (ex: Wang et al.) exigiam aproximadamente um milhão de pontos de dados, esta abordagem requer apenas um ponto de amostra por traço e, no máximo, 1.000 traços para recuperar informações significativas do nonce.
4. Quebra de Tempo Constante: O ataque tem sucesso contra implementações projetadas para serem de tempo constante e resistentes a análises tradicionais de tempo ou potência, explorando especificamente os efeitos de potência residual de computações de valor zero.

Resultados

• Confirmação de Vazamento: Experimentos confirmaram que a amplitude do pico de potência induzido pelo sono correlaciona-se com o número de nibbles/bits iniciais zero no nonce.
  • Nonces com mais zeros iniciais exibiram menor potência média de pico.
  • Nonces com menos zeros iniciais exibiram maior potência média de pico.
• Recuperação de Bits: O ataque recuperou com sucesso 20 bits do nonce do ECDSA em todas as configurações testadas (6 combinações de 3 bibliotecas e 2 arquiteturas).
• Variância de Plataforma:
  • RISC-V (VisionFive 2): Mostrou vulnerabilidades claras e consistentes em todas as três bibliotecas.
  • ARM (Raspberry Pi 4B): Mostrou vulnerabilidades em RustCrypto e BearSSL. No entanto, experimentos com GoCrypto em ARM exibiram flutuações substanciais, tornando a montagem do ataque confiável desafiadora nessa plataforma específica.
• Viabilidade de Recuperação de Chave: Os autores observam que recuperar 20 bits do nonce é suficiente para recuperar a chave privada completa usando técnicas de rede (Problema do Número Oculto), conforme estabelecido na literatura criptanalítica prévia.

Significância e Alegações

O artigo afirma ser o primeiro trabalho a demonstrar que picos de potência induzidos pelo sono constituem uma vulnerabilidade de canal lateral geral e multiplataforma capaz de quebrar o ECDSA.

• Expansão do Modelo de Ameaça: As descobertas expandem a superfície de ataque para ataques físicos de canal lateral. Adversários podem agora potencialmente recuperar segredos usando hardware mínimo (uma única sonda de potência) e sem a necessidade de alinhamento de traços complexos ou equipamentos de alto nível.
• Implicações de Design: Os resultados desafiam a suposição de que implementações de tempo constante e determinísticas são suficientes para a segurança. O artigo destaca como os efeitos de "potência residual" de computações de valor zero, combinados com trocas de contexto no nível do SO, criam um canal de vazamento que persiste mesmo em softwares endurecidos.
• Praticidade: Ao exigir apenas um único ponto de amostra por execução e um número relativamente pequeno de traços (até 1.000), o ataque é apresentado como uma ameaça prática para sistemas criptográficos reais rodando em hardware comercial.

Os autores concluem que as escolhas de design nos sistemas criptográficos devem ser reconsideradas para levar em conta o vazamento induzido pelo sono, pois as contramedidas atuais não abordam este vetor específico.