Key points are not available for this paper at this time.
테스트/디버그 설계(DfT/D)는 스캔 플립플롭을 삽입하여 테스트 가능성과 결함 범위를 늘리기 위해 스캔 체인 테스트를 도입합니다. 그러나 이러한 스캔 체인은 보안 기법에 대한 부정적인 요소로 알려져 있습니다. 이전 연구에서는 테스트 패턴과 응답을 모호하게 하여 스캔 기반 공격으로부터 논리 잠금 키를 보호하기 위해 동적으로 오브퍼케이트된 스캔 체인(DOSC)이 도입되었습니다. 본 논문에서는 상징적 실행 및 이진 클러스터링을 사용하여 DOSC를 디오브퍼케이팅하는 오라클 유도 공격인 DOSCrack을 제시하며, 이는 후보 시드 공간을 관리 가능한 양으로 상당히 줄입니다. 우리의 상징적 실행 엔진은 가능한 시드 공간을 줄이기 위해 스캔 모드 시뮬레이션과 만족 가능성 모듈로 이론(SMT) 해결기를 사용하며, 오브퍼케이션 키 클러스터링은 유사성을 공유하는 시드 그룹을 효과적으로 배제할 수 있게 합니다. 우리의 접근 방식의 핵심 요소는 잠재적 오브퍼케이션 키를 구분하기 위한 독특한 시뮬레이션 패턴을 식별하는 데 도움을 주는 순차적 동등 검사(SEC)의 사용입니다. 우리는 네 가지 크기의 DOSC 벤치마크에 대해 DOSCrack 프레임워크를 실험적으로 적용하고 이들의 실행 시간과 복잡성을 비교했습니다. 우리의 연구는 스캔 체인 오브퍼케이션 방법론의 중요한 취약점을 효과적으로 다루며, akademic 연구 및 산업 응용을 위한 DfT/D 및 논리 잠금에 대한 통찰을 제공합니다. 우리의 프레임워크는 스캔 기반 공격에 대해 견고하고 적응 가능한 방어 메커니즘을 구축할 필요성을 강조합니다.
우 외 (Mon,)는 이 문제를 연구했습니다.