Half-Moon Cookie: Private, Similarity-Based Blocklisting with TOCTOU-Attack Resilience

Resumo Técnico: Half-Moon Cookie

1. O Problema

O blocklisting (listagem de bloqueio) é uma técnica fundamental na segurança cibernética para prevenir o uso de conteúdo malicioso (como malware, spam ou materiais abusivos). No entanto, as infraestruturas convencionais enfrentam dois dilemas principais:

1. Privacidade: Para verificar se um item pertence a uma lista de bloqueio proprietária (mantida por um servidor) sem revelar o item ao servidor ou a lista ao cliente, são necessários protocolos criptográficos complexos e custosos.
2. Vulnerabilidade TOCTOU (Time-of-Check vs. Time-of-Use): Realizar a verificação de bloqueio imediatamente antes do uso do item (ex: abrir um anexo de e-mail) adiciona latência crítica. Se a verificação for feita anteriormente (por um remetente) para evitar essa latência no receptor, surge uma janela de oportunidade para ataques TOCTOU, onde o conteúdo é alterado ou uma nova ameaça é descobrida entre a verificação e o uso.

Existe uma necessidade de um sistema que permita:

• Verificações de similaridade (não apenas correspondência exata) para detectar variantes de malware.
• Privacidade total (o servidor não vê o arquivo, o cliente não vê a lista).
• Uma verificação rápida e eficiente para receptores que confirmem que um item já foi verificado anteriormente, mitigando riscos TOCTOU.

2. Metodologia: O Framework Half-Moon Cookie

Os autores propõem o Half-Moon Cookie (ou "Half Moon"), um framework de três partes (Cliente Remetente $C_{snd}$, Servidor $S$, Cliente Receptor $C_{rcv}$) que divide o processo em duas fases distintas:

Fase 1: Verificação Explícita (Explicit Check)
Realizada pelo remetente ($C_{snd}$) antes de enviar o conteúdo.

• Objetivo: Verificar se o arquivo $w$ é similar a algum item na lista de bloqueio do servidor.
• Tecnologia: Utiliza Circuitos Garbled (Garbled Circuits) e Oblivious Linear Evaluation (OLE).
• Otimização de Custo: O grande desafio é que os circuitos garbled tradicionais escalam linearmente com o tamanho do arquivo e da lista. O Half Moon resolve isso:
  • Decomposição de Circuitos: Separa a etapa de "embedding" (hashing do arquivo) da etapa de verificação.
  • Circuitos Garbled Reutilizáveis (CRGC): Utiliza o framework CRGC para permitir que o remetente execute a parte de hashing do arquivo localmente em um circuito reutilizável, sem revelar a chave de embedding ao servidor. Isso reduz drasticamente a comunicação e o tempo de resposta para arquivos grandes.
  • Verificação de Distância: Utiliza uma técnica de Private Set Intersection (PSI) sensível à distância (baseada em Hamming) para permitir verificações de similaridade (fuzzy hashing) em vez de apenas correspondência exata.
• Resultado: Se o arquivo passar, o servidor gera um token de permissão (allowlist) oculto e vinculante ($\gamma$) para aquele arquivo específico e o armazena. O remetente recebe um nonce e o token para passar ao receptor.

Fase 2: Verificação Implícita (Implicit Check)
Realizada pelo receptor ($C_{rcv}$) antes de usar o conteúdo.

• Objetivo: Confirmar rapidamente que o arquivo recebido foi previamente verificado pelo remetente e ainda é válido.
• Mecanismo: O receptor recalcula o token localmente usando o arquivo e o nonce recebidos, e interage com o servidor para verificar se o token recalculado corresponde a um token na lista de permissão do servidor.
• Vantagem: Esta verificação é extremamente rápida (complexidade constante em relação ao tamanho da lista de bloqueio) e não requer a execução do pesado circuito garbled novamente.
• Resiliência TOCTOU: Se a lista de bloqueio for atualizada, a lista de permissão (allowlist) é limpa, forçando os receptores a realizarem uma nova verificação explícita, fechando a janela de ataque TOCTOU.

3. Principais Contribuições

1. Definição Formal do Primitivo Half-Moon: Um protocolo de três partes que suporta uma verificação explícita (caro, mas preciso) e uma verificação implícita (barata, para confirmação), garantindo privacidade mútua.
2. Eficiência em Circuitos Garbled: Desenvolvimento de uma implementação que desacopla o custo computacional do tamanho do arquivo de entrada, utilizando circuitos garbled reutilizáveis para a fase de embedding. Isso torna a verificação viável para arquivos grandes (ex: anexos de e-mail).
3. Verificação de Similaridade Privada: Adaptação de esquemas de PSI para suportar distâncias de Hamming (fuzzy hashing), permitindo a detecção de variantes de malware sem revelar o conteúdo ou a lista.
4. Mitigação de TOCTOU: A arquitetura permite que o remetente assuma o custo da verificação pesada, enquanto o receptor realiza uma verificação leve, mas segura, garantindo que o item não foi alterado ou que a política não mudou desde a última verificação.

4. Resultados e Avaliação

Os autores implementaram o sistema em C++ e testaram com cenários de detecção de malware em anexos de e-mail (usando o conjunto de dados Enron e a lista de malware Ember).

• Desempenho da Verificação Explícita:

  • A otimização com Circuitos Garbled Reutilizáveis (RGC) reduziu o volume de comunicação em mais de duas ordens de magnitude e o tempo de resposta em pelo menos uma ordem de magnitude em comparação com circuitos garbled monolíticos tradicionais.
  • Para um arquivo de 10 kB e uma lista de bloqueio de 100 entradas, o tempo de resposta foi de aproximadamente 19 segundos (em um servidor com 12 núcleos), enquanto a abordagem monolítica levaria mais de 247 segundos.
  • O sistema escala bem com o número de clientes concorrentes até atingir um limite de saturação do servidor, mas o desempenho é robusto para listas de bloqueio de tamanho moderado.

• Desempenho da Verificação Implícita:

  • A verificação implícita é extremamente eficiente, com tempo de resposta de ~0,19 segundos e comunicação de apenas 7,2 KB.
  • Comparado a soluções de PSI fuzzy existentes (como Chakraborti et al.), a verificação implícita é 100 vezes mais rápida e 3 ordens de magnitude mais eficiente em termos de comunicação.
  • O custo da verificação implícita é independente do tamanho da lista de bloqueio, tornando-a ideal para receptores que precisam validar muitos arquivos.

• Hashing: O estudo comparou diferentes funções de hash fuzzy (TLSH, ssdeep, sdhash). O TLSH mostrou-se o mais eficiente para a implementação do Half Moon, oferecendo o melhor equilíbrio entre tempo de resposta e comunicação.

5. Significado e Impacto

O Half-Moon Cookie representa um avanço significativo na segurança privada de dados:

• Viabilidade Prática: Torna viável a verificação de malware baseada em similaridade em tempo real para grandes arquivos, algo que era proibitivo devido aos custos de computação segura.
• Segurança e Privacidade: Resolve o dilema de privacidade onde nem o cliente precisa revelar seu arquivo sensível ao servidor, nem o servidor precisa expor sua lista proprietária de ameaças.
• Defesa contra TOCTOU: Oferece uma arquitetura robusta contra ataques de corrida de tempo (TOCTOU), permitindo que a verificação de segurança seja feita no remetente (fora do caminho crítico do receptor) sem sacrificar a segurança no momento do uso.
• Aplicabilidade: É diretamente aplicável a cenários críticos como distribuição de software, e-mails corporativos, e detecção de materiais de abuso sexual infantil (CSAM), onde a privacidade do usuário e a eficácia da detecção são igualmente importantes.

Em suma, o Half-Moon Cookie equilibra eficiência, privacidade e segurança, permitindo que organizações protejam seus usuários contra ameaças desconhecidas ou variantes de malware sem comprometer a confidencialidade dos dados ou a usabilidade do sistema.