Evaluating PQC KEMs, Combiners, and Cascade Encryption via Adaptive IND-CPA Testing Using Deep Learning

Resumo Técnico: Avaliação de KEMs PQC, Combinadores e Criptografia em Cascata via Teste IND-CPA Adaptativo usando Deep Learning

1. Problema e Contexto

A transição para a Criptografia Pós-Quântica (PQC) é urgente devido à ameaça futura de computadores quânticos capazes de quebrar esquemas assimétricos clássicos (como RSA e Diffie-Hellman). Para mitigar riscos durante essa transição e contra ataques de "coletar agora, descriptografar depois", a comunidade adota frequentemente criptografia híbrida, combinando algoritmos clássicos e pós-quânticos.

O desafio central reside na validação empírica da propriedade de indistinguibilidade sob ataque de texto plano escolhido (IND-CPA) nessas implementações reais e composições complexas. Embora a análise formal de segurança seja teórica, ela não garante que implementações práticas ou combinações específicas não apresentem vazamentos de informação exploráveis. Métodos tradicionais de criptoanálise podem não capturar padrões sutis em grandes volumes de dados de cifragem.

2. Metodologia

Os autores propõem um framework baseado em Deep Learning (Redes Neurais Profundas - DNN) para testar empiricamente a segurança IND-CPA. A abordagem modela o jogo de segurança IND-CPA como um problema de classificação binária.

• Modelagem do Jogo IND-CPA:

  • Classe 0: Cifras geradas a partir de textos planos uniformemente aleatórios.
  • Classe 1: Cifras geradas a partir de um texto plano fixo (ex: todos os bits zerados).
  • Objetivo: Treinar uma DNN para distinguir entre essas duas classes. Se a DNN atingir uma acurácia significativamente maior que 50% (chute aleatório), isso indica uma falha na indistinguibilidade do esquema.

• Algoritmos e Configurações:

  • KEMs PQC: Testados os mecanismos subjacentes (PKE) de ML-KEM (Kyber), BIKE e HQC.
  • KEMs Híbridos: Utilizou-se um combinador provável-mente seguro da forma $k = F(k_1, c) \oplus F(k_2, c)$, combinando KEMs PQC com cifras assimétricas clássicas (RSA-OAEP, RSA sem preenchimento) e até com texto plano puro (cenário de pior caso).
  • Criptografia Simétrica em Cascata: Testaram-se combinações de cifras em cascata (ex: AES-CTR sobre AES-CBC), incluindo modos inseguros como AES-ECB e DES-ECB.
  • Arquitetura da Rede: Duas configurações de DNN (pequena e grande) treinadas com Stochastic Gradient Descent (SGD) e função de perda de Entropia Cruzada Binária (BCE).
  • Validação Estatística: Para evitar falsos positivos, os resultados foram submetidos a um teste binomial bilateral com nível de significância $\alpha = 0.01$. A hipótese nula ($H_0$) assume que a acurácia é 0.5 (chute aleatório).

3. Principais Contribuições

1. Extensão do Framework DNN para PQC: Aplicação bem-sucedida da modelagem IND-CPA baseada em DNN (originalmente proposta para cifras simétricas reduzidas) aos esquemas de encapsulamento de chaves (KEMs) pós-quânticos padrão (ML-KEM, HQC, BIKE).
2. Novo Método para KEMs Híbridos: Desenvolvimento de um algoritmo adaptado (Algoritmo 2) para testar combinadores híbridos. A rede recebe a concatenação das cifras dos componentes e tenta distinguir se as chaves compartilhadas subjacentes são idênticas ou independentes, validando a segurança do combinador XOR.
3. Generalidade Metodológica: Demonstração de que a mesma abordagem pode ser aplicada a criptografia em cascata simétrica, testando a robustez de combinações de algoritmos (ex: AES + ChaCha20).
4. Análise Estatística Rigorosa: Diferente de trabalhos anteriores que apenas reportam acurácias, este estudo introduz testes de hipóteses estatísticos formais para determinar se qualquer vantagem da rede neural é não-negligível.

4. Resultados

• KEMs PQC (ML-KEM, BIKE, HQC): As redes neurais não conseguiram distinguir as cifras com acurácia superior ao acaso. As acurácias ficaram próximas de 50% (ex: 50.10% para ML-KEM) e os valores-p foram altos, falhando em rejeitar a hipótese nula. Isso confirma empiricamente a segurança IND-CPA desses algoritmos sob o modelo de adversário DNN.
  • Nota: O RSA sem preenchimento (Plain RSA) foi classificado com 100% de acurácia, validando a metodologia, pois o RSA puro é determinístico e inerentemente inseguro contra IND-CPA.
• KEMs Híbridos: Mesmo quando combinados com algoritmos inseguros (como RSA sem preenchimento ou texto plano puro), as construções híbridas usando o combinador seguro não apresentaram vantagens significativas para a rede neural. A segurança foi preservada, consistente com a teoria de que a segurança é herdada do componente mais forte.
• Criptografia em Cascata: Todas as combinações de cifras simétricas (incluindo aquelas contendo modos inseguros como ECB) resultaram em acurácias indistinguíveis do chute aleatório (faixa de 49.74% a 50.27%). Isso sugere que a cascata de cifras, quando pelo menos um componente é seguro, mantém a indistinguibilidade.

5. Significado e Conclusão

O trabalho demonstra que o Deep Learning pode servir como um estimador empírico adaptativo, prático e versátil para validar a segurança IND-CPA em implementações reais e composições complexas de criptografia.

• Validação Prática: O método complementa a análise de segurança formal, oferecendo uma ferramenta para detectar falhas de implementação ou vazamentos de padrões que a teoria pura poderia não prever.
• Confiança em Híbridos: Os resultados empíricos reforçam a segurança das construções híbridas recomendadas para a transição PQC, mostrando que a combinação de algoritmos não degrada a segurança sob o modelo de adversário considerado.
• Limitações e Futuro: Os autores reconhecem que o modelo de adversário DNN é mais restrito que o modelo IND-CPA padrão (a rede não tem acesso a oráculos de criptografia ou chaves públicas). No entanto, um classificador neural que supera significativamente o acaso seria um forte indicador de vulnerabilidade. Trabalhos futuros visam integrar esses oráculos ao modelo de aprendizado.

Em suma, o estudo fornece evidências empíricas robustas de que os algoritmos PQC selecionados e suas combinações híbridas mantêm a propriedade de indistinguibilidade, validando a eficácia da criptografia híbrida como uma estratégia de transição segura.