도달 불가능한 상태를 이용한 CycSAT 해석 불가능한 순환 논리 암호화

논리 암호화는 IC 설계 비용 증가와 신뢰할 수 없는 파운드리 수의 증가로 인해 많은 주목을 받고 있다. 설계에서 도달 불가능한 상태는 논리 암호화가 탐색할 수 있는 유연성의 공간을 제공한다. 그러나 스캔 체인의 접근 가능성으로 인해 전통적인 조합식 암호화는 이러한 유연성의 이점을 활용할 수 없다. 순환 논리 암호화는 원래 회로에 키 제어 피드백을 삽입하여 해적 행위와 과잉 생산을 방지한다. 우리의 발견에 기반하여, 순환 논리 암호화는 도달 불가능한 상태를 활용하여 보안을 향상시킬 수 있다. 비록 순환 암호화가 CycSAT이라는 강력한 공격에 취약하지만, 우리는 도달 불가능한 상태를 활용하여 CycSAT을 무력화하는 순환 암호화의 새로운 방식을 개발하였다. 제안된 계획의 공격 복잡성이 논의되며, 그 견고성이 입증된다.