Hardware Trojans from Invisible Inversions: On the Trojanizability of Standard Cell Libraries

1. O Problema: A Ameaça de Trojans de Hardware Invisíveis

O artigo aborda a crescente ameaça de Trojans de Hardware (cavalos de troia) em nível de silício, especificamente aqueles inseridos através da substituição de células de biblioteca padrão (standard cells) em circuitos integrados (ICs).

• Contexto da Cadeia de Suprimentos: A separação entre o design (ferramentas EDA) e a fabricação (foundries terceirizadas) cria vulnerabilidades. Um adversário pode modificar os dados de layout (GDS II) ou as máscaras para substituir uma célula lógica por outra funcionalmente diferente, mas visualmente similar.
• Limitação das Técnicas Atuais: A detecção física baseada em Microscopia Eletrônica de Varredura (SEM) é o padrão-ouro, mas enfrenta desafios críticos. Estudos anteriores (Puschner et al., S&P 2023) indicaram que a detecção piora em nós tecnológicos menores (ex: 28 nm), mas não conseguiram distinguir se isso era devido à qualidade da imagem (ruído, resolução) ou a uma propriedade intrínseca das bibliotecas de células (células diferentes que parecem idênticas).
• Conceito de "Trojanizability": Os autores definem a "Trojanizabilidade" como a extensão em que células funcionalmente distintas podem ser trocadas em chips fabricados sem serem distinguíveis visualmente sob inspeção SEM convencional. O foco não é a troca de células equivalentes (que não alteram a função), mas sim a troca de células com funções lógicas opostas ou diferentes (ex: XOR vs. XNOR).

2. Metodologia

Os autores desenvolveram uma nova metodologia para avaliar a Trojanizabilidade e melhorar a detecção, utilizando o conjunto de dados público da S&P 2023 (contendo imagens SEM e layouts GDS II de 4 nós tecnológicos: 90 nm, 65 nm, 40 nm e 28 nm).

A. Métrica de Similaridade Robusta (Baseada em Vias)

Em vez de depender de correspondência de templates ou máscaras de via simples, os autores propuseram uma métrica baseada em posições de vias:

1. Extração de Vias: Utilizaram análise de persistência topológica (para o nó 28 nm, devido ao alto ruído) e limiarização binária (para nós maiores) para extrair as vias como conjuntos de pontos 2D.
2. Representantes de Tipo de Célula: Para mitigar ruídos de imagem e variações de alinhamento, amostraram 50 instâncias de cada tipo de célula, alinharam-nas e aplicaram uma votação majoritária para determinar a posição exata e a quantidade de vias de um "representante" ideal para cada tipo de célula.
3. Cálculo de Similaridade: Compararam representantes de células funcionalmente diferentes (mas com a mesma largura) usando a Distância de Jaccard adaptada para conjuntos de vias. Uma pontuação de 0 indica indistinguibilidade perfeita.

B. Avaliação de Detecção (Beta Error)

Para testar a eficácia da detecção, os autores simularam trocas de células em todas as instâncias dos pares mais similares. Eles calcularam a taxa de Falsos Negativos (probabilidade de um Trojan passar despercebido) comparando sua nova métrica com os métodos anteriores (correspondência de template e máscara de via).

C. Estudo de Caso: Backdoor de Escalação de Privilégios

Os autores implementaram um Trojan real em um núcleo Ibex RISC-V (65 nm e 28 nm).

• Mecanismo: Substituição de células específicas (ex: XNOR por XOR, ou INV por BUF) que alteram a lógica de verificação de privilégios do processador.
• Efeito: O chip passa a tratar todo o código como se estivesse em nível de privilégio máximo, permitindo acesso a recursos protegidos, bypass de secure boot e exfiltração de segredos.
• Invisibilidade: Como as células substituídas tinham padrões de vias idênticos ou quase idênticos, o Trojan era funcionalmente ativo, mas visualmente indistinguível nas imagens SEM fornecidas.

3. Resultados Principais

A. Trojanizabilidade Intrínseca das Bibliotecas

A análise revelou que a dificuldade de detecção é, em grande parte, uma propriedade intrínseca das bibliotecas de células, não apenas um limite da imagem:

• Nó 28 nm: Apresentou a maior suscetibilidade. Foram identificadas 5 pares de células funcionalmente distintas que são visualmente indistinguíveis (pontuação de similaridade = 0) nas imagens SEM.
• Nós 90 nm e 40 nm: Também contêm pares indistinguíveis (ex: XOR/XNOR em 90 nm; TIE-HIGH/TIE-LOW em 40 nm).
• Nó 65 nm: Não teve pares com pontuação 0, mas ainda apresentou alta similaridade.
• Padrão de "Inversões Invisíveis": A maioria dos pares indistinguíveis envolve células que são inversões lógicas uma da outra (ex: Buffer vs. Inversor, XOR vs. XNOR). Isso permite que um atacante altere a lógica do circuito sem alterar a geometria física ou o roteamento.

B. Desempenho da Nova Métrica de Detecção

• Redução de Falsos Negativos: A nova métrica baseada em vias e representantes alcançou zero falsos negativos em 3 dos 4 nós tecnológicos, superando significativamente os métodos anteriores de Puschner et al.
• Limitação no 65 nm: O desempenho foi menor no nó de 65 nm devido a artefatos brilhantes nas imagens SEM que foram erroneamente classificados como vias, afetando a precisão da extração.
• Conclusão: Mesmo com a melhor métrica possível, se as células forem intrinsecamente indistinguíveis (pontuação 0), a detecção visual é impossível.

C. Viabilidade de Mitigação

• Custo Negligenciável: Os autores demonstraram que excluir os pares de células problemáticos (indistinguíveis) durante a síntese e place-and-route resulta em um overhead extremamente baixo: 0,013% de área, 0,047% de timing e 0,022% de potência no design de 28 nm.
• Isso prova que a defesa é prática e economicamente viável.

4. Contribuições Chave

1. Definição e Quantificação da Trojanizabilidade: Introduziram um conceito métrico para avaliar o risco inerente de bibliotecas de células padrão, independentemente da qualidade da imagem.
2. Métrica de Similaridade Determinística: Desenvolveram um método robusto baseado em vias e análise de persistência que supera as técnicas anteriores de detecção de Trojans.
3. Prova de Conceito de Ataque: Demonstraram a viabilidade de um Trojan de escalação de privilégios que é funcionalmente eficaz, mas invisível para inspeção SEM de alta fidelidade, explorando "inversões invisíveis".
4. Recomendações Práticas: Propuseram que a avaliação de Trojanizabilidade se torne parte obrigatória do fluxo de design de ICs críticos e que as foundries projetem bibliotecas com regras de design que garantam a distinção visual entre células.

5. Significado e Implicações

O trabalho muda o paradigma da segurança de hardware:

• Não é apenas um problema de imagem: Melhorar a resolução do microscópio ou a preparação da amostra não resolverá o problema se as células forem projetadas de forma a serem indistinguíveis.
• Risco Sistêmico: A tendência de miniaturização (nós menores) parece aumentar a Trojanizabilidade, tornando os nós mais avançados (como 28 nm e abaixo) mais vulneráveis a ataques sutis.
• Defesa Proativa: A solução não é apenas detectar, mas prevenir. Designers de ICs de alta confiança devem auditar suas bibliotecas de células (PDKs) e excluir pares indistinguíveis antes da fabricação.
• Recomendação Final: As bibliotecas de células futuras devem ser projetadas com "marcas d'água" visuais intrínsecas (padrões de vias únicos para cada função lógica) para garantir que qualquer substituição maliciosa seja detectável.

Em resumo, o artigo alerta que a segurança física de chips modernos está comprometida por falhas de design nas bibliotecas de células padrão, mas oferece um caminho claro e de baixo custo para mitigar esse risco através da seleção inteligente de células e da melhoria dos processos de design das foundries.