Hardware-Efficient Compound IC Protection with Lightweight Cryptography

논문 요약: 경량 암호화를 활용한 하드웨어 효율적인 복합 IC 보호 기법

1. 문제 정의 (Problem)

글로벌화된 IC 제조 공급망에서 **과잉 생산 (Overproduction)**과 **불법 복제 (Piracy)**는 심각한 보안 위협으로 대두되었습니다. 기존에 제안된 보호 기술들은 다음과 같은 한계를 가지고 있습니다:

• 보안성 부족: 많은 기존 기술 (논리 잠금, 하드웨어 오프스큐레이션 등) 은 수학적으로 증명된 안전한 알고리즘에 의존하지 않아, 다양한 공격 (SAT 공격, 구조 분석 공격 등) 에 의해 쉽게 우회당했습니다.
• 하드웨어 오버헤드: 기존 암호학 알고리즘 (예: AES) 을 IC 보호에 적용한 기술들은 하드웨어 복잡도 (면적, 지연, 전력) 를 급격히 증가시켰습니다.
• 새로운 공격 취약점: 특정 암호 기반 잠금 기술은 제거 공격 (Removal Attack) 이나 전력 분석 공격 (Power Analysis Attack) 에 취약하여 설계가 유출되거나 키가 탈취될 수 있습니다.

따라서, 작은 면적 오버헤드로 과잉 생산과 불법 복제를 방지하면서도, 기존 및 새로운 공격 (제거, 대수적, 논리 잠금 공격 등) 에 견고한 방어 메커니즘이 필요합니다.

2. 제안된 방법론 (Methodology)

저자들은 경량 암호화 (Lightweight Cryptography, LWC) 알고리즘, 논리 잠금 (Logic Locking), 그리고 **하드웨어 오프스큐레이션 (Hardware Obfuscation)**을 결합한 복합 IC 보호 메커니즘을 제안했습니다. 이 기술은 CAD 도구인 SOHNI를 통해 자동화됩니다.

• 핵심 구성 요소:

  1. LWC 블록 암호 (LWC Block Cipher): AES 대신 SIMON, PRESENT, ASCON과 같은 경량 암호 알고리즘을 사용합니다. 이는 하드웨어 복잡도를 크게 낮추면서도 암호학적 안전성을 제공합니다.
  2. 이중 플립 잠금 기술 (Double Flip Locking Technique, DFLT): **TTLock (SFLL-HD0)**을 사용하여 원본 설계를 잠급니다. DFLT 는 SAT 기반 공격에 강인하며, 잘못된 키 입력 시 특정 입력 패턴에서만 출력을 왜곡하고 올바른 키로 복구하는 구조를 가집니다.
  3. LUT 기반 오프스큐레이션: 블록 암호의 출력과 DFLT 의 잠금 키 입력 간의 연결을 숨기기 위해 **Look-Up Table (LUT)**을 사용합니다. 이는 공격자가 블록 암호와 원본 설계 간의 연결 관계를 파악하거나 키를 추출하는 것을 어렵게 만듭니다.

• 작동 프로세스 (Algorithm 1):

  1. LWC 암호의 입력 (X) 과 키 (K) 를 무작위로 결정하고 고정된 출력 (Y) 을 계산합니다.
  2. 원본 회로를 합성하고 DFLT 를 적용하여 잠깁니다.
  3. LWC 블록 암호를 추가하여, 고정된 입력 X 를 사용하여 암호를 실행하고 그 출력 Y 를 DFLT 의 잠금 키 입력으로 연결합니다.
  4. 블록 암호와 DFLT 복구 유닛 (Restore Unit) 간의 연결을 LUT 로 오프스큐레이션합니다.
  5. 최종적으로 논리 합성을 거쳐 잠긴 회로를 생성합니다.

3. 주요 기여 (Key Contributions)

1. 새로운 보호 기법 제안: 경량 암호 알고리즘, TTLock, LUT 기반 오프스큐레이션을 결합하여 과잉 생산과 불법 복제를 동시에 방어하는 복합 메커니즘을 개발했습니다.
2. 오픈 소스 CAD 도구 (SOHNI): 보안이 강화된 IC 설계를 자동 생성하는 도구를 개발하여 공개했습니다.
3. 새로운 공격 기법 제안:
   • 제거 공격 (Removal Attack): 기존 암호 기반 잠금 기술 [8] 에서 블록 암호를 식별하여 제거하고, 남은 회로를 SAT 공격으로 풀어 원본 설계를 복원하는 공격을 제안했습니다.
   • 대수적 공격 (Algebraic Attack): 블록 암호의 키를 찾기 위해 제거 공격을 수행한 후, 암호의 입력/출력 패턴을 제약 조건으로 설정하여 SAT 솔버를 사용하는 공격을 제안했습니다.

4. 실험 결과 (Experimental Results)

• 하드웨어 효율성:
  • 기존 암호 기반 기술 [8] (AES 사용) 및 [9] (Trivium 사용) 에 비해 제안된 SOHNI 기술은 하드웨어 복잡도가 획기적으로 감소했습니다.
  • 대규모 ITC'99 회로 (b20_C) 에서 기존 기술 [8] 은 SOHNI 대비 11.6 배, 기술 [9] 는 59.8 배 더 큰 면적을 차지했습니다.
  • 특히 SIMON_32_64_32를 사용한 경우, 면적 오버헤드가 원본 대비 1.6% (b19_C) 에서 106.1% (b20_C) 사이로, 설계의 복잡도가 커질수록 오버헤드 비율이 감소하는 확장성을 보였습니다.
• 보안성 (공격 저항성):
  • 제거 공격 및 대수적 공격: 제안된 기술에 적용 시, 블록 암호의 출력이 LUT 로 오프스큐레이션되어 있어 블록 암호를 식별하거나 키를 추출할 수 없었습니다. (결과: NoS - 시간 제한 내 해답 없음)
  • SAT 기반 공격 및 구조 분석 공격: TTLock 의 특성상 SAT 공격이 무효화되었으며, 구조 분석 공격도 LUT 오프스큐레이션으로 인해 실패했습니다.
  • 기존 기술 [8] 은 제거 공격으로 원본 설계를 탈취당했으나, 제안된 기술은 모든 공격에 대해 견고한 것으로 확인되었습니다.

5. 의의 및 결론 (Significance)

이 논문은 IC 보안 분야에서 보안성과 하드웨어 효율성이라는 상충되는 두 가지 목표를 동시에 달성하는 새로운 패러다임을 제시했습니다.

• 실용성: 경량 암호화를 도입하여 IoT 및 센서와 같은 리소스가 제한된 환경에서도 적용 가능한 IC 보호 솔루션을 제공합니다.
• 보안 강화: 단순한 논리 잠금을 넘어 암호학적 원리를 기반으로 하여, 기존에 취약했던 다양한 공격 (제거, 대수적, SAT 등) 에 대해 강력한 방어 능력을 입증했습니다.
• 자동화: SOHNI 도구를 통해 설계자가 복잡한 보안 메커니즘을 수동으로 구현하지 않고도 자동으로 보안 회로를 생성할 수 있게 함으로써, 산업 현장에서의 적용 가능성을 높였습니다.

결론적으로, 제안된 복합 보호 메커니즘은 글로벌 공급망에서의 IC 보안 위협을 해결하기 위한 가볍고, 강력하며, 자동화된 이상적인 솔루션으로 평가됩니다.