Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
Este artigo apresenta o Kestrel, uma ferramenta de análise estática que detecta de forma confiável algoritmos criptográficos pós-quânticos padronizados (ML-KEM e ML-DSA) em binários sem símbolos e otimizados, identificando tabelas de constantes de transformada de número-teórica únicas, permitindo, assim, um exame forense eficaz, inspeção de cadeia de suprimentos e garantia de migração, mesmo quando os sinais de detecção tradicionais estão obscurecidos.
Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo
No mundo da segurança digital, uma revolução silenciosa está em curso. Durante décadas, as fechaduras que protegem nossos dados mais sensíveis — registros bancários, segredos de estado, mensagens privadas — dependeram de enigmas matemáticos que são fáceis de criar, mas quase impossíveis de resolver sem uma chave específica. Esses enigmas, conhecidos como criptografia de chave pública, são o fundamento da confiança na internet. No entanto, cientistas há muito preveem que um novo tipo de computador, um que utiliza as estranhas leis da física quântica, será eventualmente poderoso o suficiente para quebrar essas fechaduras instantaneamente. Quando isso acontecer, as velhas fechaduras se tornarão inúteis. Para se preparar, especialistas estão projetando novas fechaduras baseadas em uma matemática diferente que nem mesmo um computador quântico consegue quebrar facilmente. Esses novos sistemas são chamados de criptografia pós-quântica. O desafio agora não é apenas construir essas novas fechaduras, mas encontrá-las. À medida que as organizações correm para substituir seus sistemas antigos, elas precisam saber exatamente onde as novas estão escondidas dentro do complexo software que faz o seu mundo funcionar. Mas há um problema: uma vez que o software é compilado em um programa final para uso, os rótulos e nomes que normalmente nos dizem o que há dentro são frequentemente removidos para tornar o programa menor e mais rápido. Sem esses nomes, encontrar uma nova fechadura específica dentro de um monte de código tem sido como tentar encontrar um grão de areia específico em uma praia sem saber como é esse grão de areia.
Um pesquisador chamado Muhammad Shaheer Bin Junaid desenvolveu uma nova maneira de resolver este problema. Ele criou uma ferramenta chamada Kestrel, que pode identificar essas novas fechaduras seguras contra ataques quânticos dentro de softwares com os símbolos removidos (stripped), mesmo quando todos os pistas usuais foram apagadas. O método baseia-se em uma observação simples, mas poderosa: embora os nomes do código possam ser apagados, os números brutos de que o código precisa para funcionar não podem. Os novos sistemas criptográficos, especificamente aqueles baseados em uma estrutura chamada lattice (rede), devem usar um conjunto fixo de números pré-calculados para realizar seus cálculos. Esses números atuam como uma impressão digital permanente. Não importa o quanto o software seja otimizado, comprimido ou renomeado, esses números específicos devem permanecer no arquivo para que o programa funcione. Se os números estiverem faltando, o programa simplesmente não funcionará. O Kestrel varre os dados brutos de um programa, procurando por esses padrões específicos de números. Ele não se importa com os nomes das funções ou das bibliotecas que o programa utiliza; ele se importa apenas com a presença desses constantes matemáticas essenciais.
O pesquisador testou essa abordagem em uma ampla variedade de softwares, incluindo programas construídos com diferentes ferramentas e submetidos a todo tipo de processamento padrão que os torna mais difíceis de analisar. Eles descobriram que a ferramenta funcionou perfeitamente. Em testes envolvendo 128 versões diferentes do software, o Kestrel identificou os novos algoritmos criptográficos em todos os casos, mesmo quando os programas foram desprovidos de todos os seus nomes e interligados de formas complexas. Crucialmente, a ferramenta não cometeu erros. Quando o pesquisador escaneou mais de 6.000 programas do mundo real de um sistema de computador padrão, a ferramenta não encontrou falsos positivos. Ela não confundiu softwares comuns com os novos sistemas criptográficos. Esse nível de precisão é vital para a perícia digital, onde um especialista deve ter absoluta certeza sobre o que encontra antes de apresentar algo em um ambiente jurídico.
Talvez a descoberta mais surpreendente tenha ocorrido quando a ferramenta foi aplicada a um sistema de computador ao vivo. A varredura revelou doze programas diferentes que continham essas novas fechaduras seguras contra ataques quânticos, embora ninguém soubesse que elas estavam lá. Isso incluía o software que gerencia conexões de internet para logins seguros e os sistemas que executam aplicações em contêineres. Em muitos casos, a nova criptografia entrou nesses programas automaticamente através das linguagens de programação utilizadas para construí-los, sem que os desenvolvedores desses programas sequer percebessem. Essa descoberta destaca uma lacuna significativa nas práticas atuais de segurança: as organizações podem acreditar que estão usando sistemas antigos e vulneráveis, ou podem pensar que fizeram o upgrade, mas sem uma maneira de inspecionar o código real, elas não podem ter certeza. O Kestrel oferece essa certeza. Ele pode distinguir entre um programa que genuinamente usa as novas fechaduras e um que apenas afirma fazer isso. Em um teste, um programa alegava ter proteção segura contra ataques quânticos, mas a ferramenta não encontrou evidências disso, identificando corretamente a afirmação como falsa.
A ferramenta também provou seu valor em um cenário forense, simulando a recuperação de dados de um arquivo danificado ou excluído. Quando um arquivo é excluído, o sistema operacional frequentemente marca o espaço como disponível para novos dados, mas os dados antigos permanecem no disco até serem sobrescritos. Ferramentas de recuperação padrão tentam reconstruir a estrutura do arquivo, o que frequentemente falha se o cabeçalho do arquivo estiver danificado. No entanto, como o Kestrel procura pelos números específicos dentro dos dados, em vez da estrutura do arquivo, ele foi capaz de encontrar a impressão digital criptográfica mesmo no espaço bruto e desorganizado da imagem do disco. Ele identificou com sucesso a presença do novo algoritmo em um arquivo que outras ferramentas não conseguiram recuperar. Essa capacidade significa que investigadores podem confirmar o uso de métodos criptográficos específicos mesmo quando os arquivos originais foram perdidos ou corrompidos.
A pesquisa também esclareceu o que a ferramenta não pode fazer. Ela foi projetada para encontrar os tipos específicos de novas fechaduras que dependem dessas tabelas de números fixos. Ela não pode encontrar outros tipos de novas fechaduras que não utilizam este método, nem pode encontrar um programa que calcula esses números "on-the-fly" (em tempo real) toda vez que é executado, em vez de armazená-los. No entanto, o pesquisador observou que nenhum software conhecido atualmente utiliza este método "on-the-fly", pois é ineficiente e desnecessário. A ferramenta é construída para a realidade de como o software é realmente fabricado e distribuído hoje. Ao focar nos números imutáveis que o código exige para funcionar, o Kestrel oferece uma maneira confiável de verificar a presença desses novos sistemas de segurança. Ele torna o invisível visível, permitindo que auditores e investigadores vejam exatamente o que há dentro de um programa, garantindo que a transição para um futuro seguro contra ataques quânticos seja baseada em fatos, e não em suposições.
Afogado em artigos na sua área?
Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.