일관된 최소화 효율적인 변조 방지 컴파일을 향하여

초록

본 논문은 게임 의미론에 기반한 자동화 모델을 하드웨어 합성에 적용하면서, 환경이 게임 규칙을 위반하는 공격을 방어하기 위한 메커니즘을 제시한다. 게임 규칙에 의해 제한된 행동만 허용되는 환경에서는 전통적인 동형(bisimulation)보다 약한 ‘일관성 동등성(coherent equivalence)’을 정의할 수 있으며, 이를 이용해 자동화 상태를 보다 공격적으로 최소화한다.

상세 분석

이 논문은 프로그램의 게임 의미론적 모델을 자동화(automata) 형태로 표현하고, 이를 하드웨어 합성 파이프라인에 직접 삽입하는 방식을 제안한다. 전통적인 자동화 최소화 기법은 모든 가능한 입력에 대해 동등성을 판단하는 bisimulation을 기반으로 한다. 그러나 게임 의미론에서는 환경(즉, 외부 입력)이 특정 규칙에 따라 행동해야 하며, 규칙을 위반하는 입력은 실질적으로 존재하지 않는다. 따라서 환경이 취할 수 없는 행동을 고려하지 않아도 되는 ‘일관성 동등성(coherent equivalence)’이라는 새로운 동등성 개념을 도입한다.

일관성 동등성은 두 상태가 동일한 “합법적” 행동 집합에 대해 동일한 반응을 보이면 동등하다고 판단한다. 이는 bisimulation보다 더 넓은 동등 관계를 형성하므로, 동일한 언어를 인식하는 더 작은 자동화를 얻을 수 있다. 논문은 이를 formal하게 정의하고, 기존 bisimulation 기반 최소화 알고리즘을 일관성 동등성에 맞게 변형한 알고리즘을 제시한다. 핵심 아이디어는 (1) 게임 규칙을 자동화에 명시적으로 삽입하여 불법 입력을 차단하고, (2) 불법 입력이 차단된 상태에서만 상태 합병을 수행함으로써 최소화 효율을 극대화하는 것이다.

또한, 논문은 하드웨어 합성 과정에서 발생할 수 있는 저수준 공격, 예를 들어 메모리 주소를 임의로 조작하거나 인터페이스 신호를 비정상적으로 조합하는 행위를 ‘게임 규칙 위반’으로 모델링한다. 이러한 공격은 일관성 동등성을 만족하지 않는 상태 전이로 나타나며, 자동화가 이를 사전에 차단하도록 설계되면 하드웨어는 물리적 변조에 강인해진다.

실험 결과는 기존 bisimulation 기반 최소화와 비교했을 때, 일관성 기반 최소화가 평균 30%~45% 정도의 상태 수 감소를 달성함을 보여준다. 특히, 복잡한 I/O 인터페이스를 가진 프로그램에서 그 효과가 두드러지며, 합성된 하드웨어의 면적과 전력 소비도 비례적으로 감소한다.

이 논문은 게임 의미론을 하드웨어 설계에 적용함으로써 보안과 효율성을 동시에 추구하는 새로운 패러다임을 제시한다. 일관성 동등성이라는 약한 동등 관계를 활용한 자동화 최소화는 기존 방법이 놓치기 쉬운 보안 취약점을 사전에 차단하면서도 설계 최적화를 가능하게 한다는 점에서 학계와 산업계 모두에게 큰 의미를 가진다.