다자간 안전 계산(MPC)은 참여자가 신뢰할 수 있는 기기에서 프로토콜을 실행한다고 가정하지만, 기기가 탈취되면 조작된 프로토콜 트랜스크립트를 통해 민감정보가 유출될 수 있어 이 가정이 깨진다. 역방화벽(RF)은 내부 실행 환경을 신뢰하지 않고 메시지를 외부에서 기능 보존적으로 정화해 이 위협에 대응하지만, 기존 RF 구성은 불리언 회로 기반 MPC(OT·GC)에 국한돼 있었고 고성능 산술 MPC의 핵심 요소인 무의식적 선형 평가(OLE) 정화는 미해결 문제였다. 이 논문은 반정직 적대자를 상대로 보편적 조합 가능(UC) 프레임워크에서 정화 가능 OLE 기능을 형식화하고, 가산 준동형 암호화(AHE) 기반 프로토콜의 2라운드 불가능성을 증명한 뒤 키-가변적 AHE로부터 UC 안전한 3라운드 구성을 제시한다. 클래스 그룹 기반 키-가변적 AHE로 구현한 결과, OLE를 블랙박스로 사용해 다항식 평가·덧셈·비밀집합교집합(PSI)에 대한 최초의 파괴 저항 UC 안전 프로토콜을 얻었으며, 실제 구현에서 RF 보호에 따른 오버헤드는 1.5~3배에 불과함을 보였다.

• •기기 탈취로 신뢰 가정이 깨지는 MPC 위협에 대응하는 역방화벽(RF)을 산술 MPC의 핵심 OLE에 처음 적용
• •가산 준동형 암호화 기반 프로토콜의 2라운드 불가능성을 증명하고 3라운드 UC 안전 구성 제시
• •OLE를 블랙박스로 활용해 다항식 평가·덧셈·PSI에 대한 최초의 파괴 저항 UC 안전 프로토콜 확보
• •실제 구현 결과 RF 보호에 따른 오버헤드는 1.5~3배 수준으로 실용적 수준임을 입증