Core Concepts
하드웨어 FSM 허니팟은 역공학 도구를 잘못된 FSM으로 유도하여 원본 FSM 추출을 방해한다. 이를 통해 상태 레지스터 식별 방법들이 원본 FSM을 더 이상 감지하지 못하게 만든다.
Abstract
이 논문은 하드웨어 FSM 난독화를 위한 새로운 접근법을 제안한다. 이 방법은 두 가지 부분으로 구성된다:
하드웨어 FSM 허니팟(FSM-HP): FSM-HP는 역공학 도구에게 매력적으로 보이도록 설계되어, 역공학 도구가 이를 올바른 FSM으로 식별하게 만든다. 이를 통해 원본 FSM 추출을 방해한다.
매력적이지 않은 FSM(unattractive FSM): 매력적이지 않은 FSM은 상태 레지스터 식별 방법들이 사용하는 특정 특징들을 의도적으로 제거함으로써, 이러한 방법들이 원본 FSM의 상태 레지스터를 더 이상 식별하지 못하게 만든다.
이 두 가지 기법을 결합하면, 상태 레지스터 식별 방법들이 FSM-HP를 선호하거나 원본 FSM의 상태 레지스터를 더 이상 식별하지 못하게 된다. 이를 통해 원본 FSM 추출을 성공적으로 방해할 수 있다.
Stats
상태 레지스터 식별 방법들은 주로 다음과 같은 특징들을 사용한다: 높은 피드백 경로, 동일한 클록/리셋/인에이블 신호, 제어 신호에 대한 영향, 입력 구조의 차이, 강한 연결성 등
매력적이지 않은 FSM 설계에서는 높은 피드백 경로와 입력 구조의 차이와 같은 특징들을 의도적으로 제거한다.
Quotes
"하드웨어 FSM 허니팟은 역공학 도구를 잘못된 FSM으로 유도하여 원본 FSM 추출을 방해한다."
"매력적이지 않은 FSM은 상태 레지스터 식별 방법들이 사용하는 특정 특징들을 의도적으로 제거함으로써, 이러한 방법들이 원본 FSM의 상태 레지스터를 더 이상 식별하지 못하게 만든다."