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

이 논문은 하드웨어 트로이 목마 (Hardware Trojan) 탐지의 한계를 규명하고, 표준 셀 라이브러리의 본질적인 취약성인 '트로이화 가능성 (Trojanizability)'을 정량화하는 연구를 다룹니다. 특히, 2023 년 IEEE S&P 컨퍼런스에서 공개된 SEM(주사전자현미경) 이미지 데이터셋을 심층 분석하여, 기술 노드 축소와 셀 라이브러리의 복잡성이 어떻게 은밀한 하드웨어 공격을 가능하게 하는지 입증했습니다.

다음은 논문의 주요 내용 요약입니다.

1. 문제 정의 (Problem)

현대 반도체 공급망은 설계 (Design) 와 제조 (Fabrication) 가 분리되어 있어, 파운드리 (Foundry) 단계에서 악의적인 수정이 발생할 수 있습니다. 하드웨어 트로이 목마는 칩이 제조된 후 패치할 수 없으며, 기능적 테스트나 기존 광학 검사로는 탐지하기 어렵습니다.

• 핵심 질문: 기존 연구 (Puschner et al., 2023) 에서 관찰된 탐지 성능 저하는 SEM 이미지 품질의 한계 때문인지, 아니면 표준 셀 라이브러리 자체의 고유한 특성 때문인지 구분되지 않았습니다.
• 위협 모델: 공격자가 파운드리 라이브러리 내에서 기능은 다르지만 시각적으로 구별하기 어려운 두 개의 표준 셀을 서로 교체 (Cell Substitution) 하여 트로이 목마를 삽입하는 시나리오를 가정합니다.

2. 방법론 (Methodology)

저자들은 이미지 품질의 노이즈를 최소화하고 셀 라이브러리의 본질적인 특성을 분석하기 위해 새로운 방법론을 개발했습니다.

• 새로운 유사도 지표 (Similarity Metric) 개발:
  • 기존 템플릿 매칭 방식 대신, 셀 내부의 비아 (Via, 전극 연결구) 배치를 주요 특징으로 추출했습니다.
  • 지속성 분석 (Persistence Analysis): 28nm 노드의 고노이즈 환경에서 바이어를 정확히 탐지하기 위해 위상학적 지속성 분석을 도입하여 노이즈를 제거하고 바이어 위치를 점군 (Point Cloud) 으로 변환했습니다.
  • 대표 셀 생성 (Instance Averaging): 각 셀 타입의 여러 인스턴스 (50 개) 를 정렬하고 평균화하여, 이미지 노이즈나 정렬 오차를 제거한 '대표 셀 (Representative)'을 생성했습니다.
  • 유사도 점수 계산: 생성된 대표 셀들 간의 바이어 위치를 비교하여 자카드 거리 (Jaccard distance) 를 기반으로 유사도 점수 (0: 완전히 동일, 1: 완전히 다름) 를 산출했습니다.
• 트로이화 가능성 (Trojanizability) 평가:
  • 동일한 폭 (Width) 을 가지지만 기능이 다른 셀 쌍 (예: XOR vs XNOR, BUF vs INV) 에 대해 유사도 점수를 계산했습니다.
  • 점수가 낮을수록 시각적으로 구별이 어려워 은밀한 트로이 목마 삽입이 용이함을 의미합니다.

3. 주요 기여 (Key Contributions)

1. 트로이화 가능성의 정량화: 이미지 품질의 한계가 아니라, 표준 셀 라이브러리 자체가 가진 '기능적 차이는 있으나 시각적 동일성'이 트로이 목마의 주요 원천임을 규명했습니다.
2. 새로운 탐지 알고리즘: 제안한 비아 기반 유사도 지표는 기존 방법보다 오탐지 (False Positive) 를 줄이고, 특히 28nm 노드에서 누락 (False Negative) 을 획기적으로 감소시켰습니다.
3. 실제 공격 시나리오 구현 (Case Study): Ibex RISC-V 코어에서 권한 상승 (Privilege Escalation) 백도어를 구현했습니다. 이는 XOR/XNOR 또는 INV/BUF 셀을 서로 교체하여 권한 검사 로직을 우회하는 방식으로, SEM 이미지상에서는 완전히 구별 불가능합니다.

4. 연구 결과 (Results)

• 기술 노드별 취약성:
  • 28nm 노드: 가장 취약했습니다. 기능적으로 완전히 다른 5 개의 셀 쌍이 시각적으로 **완전히 구별 불가능 (유사도 점수 0)**했습니다. 주로 INV-BUF, XOR-XNOR 쌍에서 발생했습니다.
  • 40nm, 65nm, 90nm 노드: 28nm 보다는 덜 취약했으나, 여전히 XOR-XNOR 등 기능적 역전 (Inversion) 관계의 셀 쌍에서 높은 유사도가 관찰되었습니다. 40nm 에서는 Tie-High/Tie-Low 셀이 구별 불가능했습니다.
  • 경향성: 기술 노드가 작아질수록 (Feature size 감소) 셀 구조가 더 규칙적이고 밀집되어, 서로 다른 기능의 셀이 시각적으로 더 유사해지는 경향이 뚜렷했습니다.
• 탐지 성능 비교:
  • 제안한 방법 (Via Position) 은 28nm, 40nm, 90nm 노드에서 기존 방법 (Template/Via Mask Matching) 보다 False Negative(미탐지) 를 0 에 가깝게 줄였습니다.
  • 65nm 노드에서는 SEM 이미지 내 밝은 아티팩트가 바이어로 잘못 인식되는 문제가 있어 성능이 다소 저하되었으나, 전반적으로 기존 방법보다 우수했습니다.
• 공격 사례 (Ibex RISC-V):
  • 28nm 및 65nm Ibex 코어에서 소수의 셀 교체 (XNOR→XOR 등) 만으로 권한 검사를 무력화하는 트로이 목마를 설계했습니다.
  • 이 공격은 배선 (Routing) 변경이 필요 없어 물리적 구조가 동일하며, SEM 검사로는 탐지 불가능합니다.

5. 의의 및 시사점 (Significance)

• 본질적 위험의 발견: 고해상도 장비나 이미지 처리 기술만으로는 해결할 수 없는, 라이브러리 설계 단계의 본질적 취약성이 존재함을 증명했습니다.
• 실용적 대응 방안:
  • PDK(프로세스 설계 키트) 검증: 제조 전 라이브러리의 '트로이화 가능성'을 평가해야 합니다.
  • 셀 제외 (Exclusion): 유사도가 높은 셀 쌍 (예: XOR/XNOR) 을 합성 (Synthesis) 단계에서 사용하지 않도록 제한 (dont_use 제약) 하면, 추가적인 면적/성능 오버헤드 없이 (약 0.01% 수준) 강력한 방어가 가능합니다.
  • 미래 라이브러리 설계: 차세대 표준 셀 라이브러리 설계 시, 서로 다른 기능의 셀이 시각적으로 구별 가능하도록 하는 '시각적 구별성 (Visual Distinguishability)'을 설계 규칙으로 포함해야 합니다.

결론적으로, 이 논문은 하드웨어 보안이 단순히 제조 공정의 신뢰성 문제를 넘어, 표준 셀 라이브러리의 설계 자체에서부터 시작되어야 함을 강력하게 주장하며, 구체적인 평가 지표와 대응 전략을 제시했습니다.