[논문 리뷰] Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking

Benjamin Tan, Ramesh Karri외 34명|arXiv (Cornell University)|2020. 06. 11.

Physical Unclonable Functions (PUFs) and Hardware Security참고 문헌 27인용 수 29

한 줄 요약

이 논문은 하드웨어 보안을 위한 논리 락킹 기법을 철저히 평가하기 위해 공동체 기반의 벤치마크 프레임워크를 도입하며, 이전 평가 방법의 결함을 해결한다. 기존 공격 기반으로는 SFLL-rem 및 상태 기반 락킹이 여전히 무결한 것으로 밝혀졌으며, 향후 IC 공급망에서 실용적이고 신뢰할 수 있는 IP 보호를 향한 분야 발전을 위해 표준화되고 개방적이며 재현 가능한 평가가 필요하다는 점을 강조한다.

ABSTRACT

Integrated circuits (ICs) are the foundation of all computing systems. They comprise high-value hardware intellectual property (IP) that are at risk of piracy, reverse-engineering, and modifications while making their way through the geographically-distributed IC supply chain. On the frontier of hardware security are various design-for-trust techniques that claim to protect designs from untrusted entities across the design flow. Logic locking is one technique that promises protection from the gamut of threats in IC manufacturing. In this work, we perform a critical review of logic locking techniques in the literature, and expose several shortcomings. Taking inspiration from other cybersecurity competitions, we devise a community-led benchmarking exercise to address the evaluation deficiencies. In reflecting on this process, we shed new light on deficiencies in evaluation of logic locking and reveal important future directions. The lessons learned can guide future endeavors in other areas of hardware security.

연구 동기 및 목표

• 기존 문헌에서 발견된 논리 락킹 기법 평가의 심각한 한계를 해결하기 위해.
• 공동체 주도의 투명한 벤치마크 프로세스를 구축하여 방어 기법과 공격 전략을 공정하게 평가하기 위해.
• 실세계 공격에 대한 논리 락킹 내구성 평가를 위한 표준화되고 재현 가능한 프레임워크를 제공하기 위해.
• 벤치마크 과정에서 도출된 핵심 교훈과 최선의 실천 방법을 바탕으로 향후 하드웨어 보안 분야 연구를 이끌기 위해.
• 오픈소스 구현과 공동체의 검토를 통해 신뢰를 강화하고 하드웨어 보안에서 Kerckhoff의 원칙으로 나아가기 위해.

제안 방법

• 주요 기관에서 온 레드팀(공격자)과 블루팀(방어자)이 참여하는 대규모 공동체 기반 벤치마크 활동을 설계하고 실행하기 위해.
• 조합 논리와 순차 논리가 포함된 다양한 벤치마크 회로를 사용하여 다양한 논리 락킹 기법을 테스트하기 위해.
• 공격자와 방어자가 동시에 기술을 제출할 수 있도록 제어된 환경을 구현하여 공정성과 재현 가능성을 확보하기 위해.
• 모든 락킹 회로에 대해 표준화된 공격 전략(예: SAT 기반, DDT, 기계학습 공격)을 적용하여 직접 비교 가능하게 하기 위해.
• 평가 기준을 개선하고 투명성을 높이기 위해 구조화된 피드백 루프와 반복 평가를 도입하기 위해.
• 벤치마크 플랫폼을 오픈소스로 공개하고 지속적인 제출을 장려하여 기술의 지속적인 평가 및 발전을 지원하기 위해.

실험 결과

연구 질문

• RQ1 이전 논리 락킹 연구에서 사용된 평가 방법론의 주요 결함는 무엇인가?
• RQ2 논리 락킹 기법을 평가하기 위해 공정하고 재현 가능하며 공동체가 검증한 벤치마크 프로세스를 어떻게 설계할 수 있는가?
• RQ3 최신 공격 기반으로도 무너지지 않는 논리 락킹 기법은 무엇이며, 어떤 조건에서 그러한 내구성이 유지되는가?
• RQ4 공격 성공률는 어느 정도로 의미 있게 측정할 수 있으며, 근사치 또는 애플리케이션 수준 복구는 어떻게 형식화할 수 있는가?
• RQ5 오픈소스 구현과 표준화된 플랫폼은 하드웨어 보안 분야에서 신뢰와 도입을 얼마나 가속화할 수 있는가?

주요 결과

• 벤치마크 활동은 이전 평가 관행의 심각한 결함를 드러냈다. 이는 일관되지 않은 메트릭, 재현 불가능성, 공격 다양성 부족이 포함된다.
• SFLL-rem 및 상태 기반 논리 락킹 기법은 모든 현장 공격에서 무너지지 않았으며, 현재 공격 벡터에 대해 강력한 내구성을 보였다는 점을 시사한다.
• RLL(Randomized Logic Locking) 키는 성공적으로 해제되었으며, 일부 구현 선택의 취약성을 입증한다.
• 벤치마크는 공격자가 가진 정보(예: 회로의 맥락 또는 사이드 채널 데이터)가 공격 성공률에 매우 큰 영향을 미친다는 점을 드러냈다.
• 공동체 기반 평가는 공격자와 방어자가 동일한 규칙과 조건에서 활동함으로써 결과에 대한 투명성과 신뢰도를 크게 향상시켰다.
• 본 연구는 표준화되고 개방적이며 클라우드 호스팅된 플랫폼이 하드웨어 보안 분야에서 확장 가능하고 재현 가능하며 공동체가 검증한 벤치마크를 가능하게 하기 위해 절실하게 필요하다는 점을 강조한다.