[논문 리뷰] Reuse It Or Lose It: More Efficient Secure Computation Through Reuse of Encrypted Values

Benjamin Mood, Debayan Gupta외 2명|arXiv (Cornell University)|2015. 06. 09.

Cryptography and Data Security참고 문헌 35인용 수 11

한 줄 요약

이 논문은 암호화된 중간 값의 재사용을 통해 입력 검증 오버헤드를 크게 줄이고 상태 기반 계산을 가능하게 하는 보안적 양자료 계산 시스템인 PartialGC를 소개한다. 이전의 가라지드 서킷 실행에서 생성된 암호화된 중간 값을 저장하고 재사용함으로써, PartialGC는 입력 검증 오버헤드를 줄이고 계산 시간을 최대 96% 감소시키며 대역폭을 최대 98% 절감한다. 이는 이동기기 및 서버 플랫폼에서 실생활의 개인정보 보호 기능을 갖춘 친구 찾기 앱을 통해 실용적인 효율성을 입증한다.

ABSTRACT

Two-party secure function evaluation (SFE) has become significantly more feasible, even on resource-constrained devices, because of advances in server-aided computation systems. However, there are still bottlenecks, particularly in the input validation stage of a computation. Moreover, SFE research has not yet devoted sufficient attention to the important problem of retaining state after a computation has been performed so that expensive processing does not have to be repeated if a similar computation is done again. This paper presents PartialGC, an SFE system that allows the reuse of encrypted values generated during a garbled-circuit computation. We show that using PartialGC can reduce computation time by as much as 96% and bandwidth by as much as 98% in comparison with previous outsourcing schemes for secure computation. We demonstrate the feasibility of our approach with two sets of experiments, one in which the garbled circuit is evaluated on a mobile device and one in which it is evaluated on a server. We also use PartialGC to build a privacy-preserving "friend finder" application for Android. The reuse of previous inputs to allow stateful evaluation represents a new way of looking at SFE and further reduces computational barriers.

연구 동기 및 목표

• 이동기기 및 자원이 제한된 환경에서 보안 함수 평가(SFE)의 성능 저하 요인, 특히 입력 검증 비용이 높은 문제를 해결하기 위해.
• 이전 실행에서 생성된 암호화된 중간 값을 재사용하여 입력으로 사용할 수 있도록 함으로써 상태 기반 보안 계산을 가능하게 하기 위해.
• 반복적인 SFE 실행의 계산 및 통신 오버헤드를 줄이기 위해, 특히 위치 기반 서비스와 같은 증분형 또는 상호작용형 응용 프로그램에서 효율성을 높이기 위해.
• 상호작용형 I/O를 내장한 가라지드 서킷에서 재사용 가능한 것을 지원하는 실용적이고 효율적이며 보안적인 프로토콜을 설계하고 구현하기 위해.
• 이동기기 및 서버에서의 구현을 통해 실현 가능성을 입증하고, 시스템을 활용해 실생활의 개인정보 보호 애플리케이션(친구 찾기)을 개발하기 위해.

제안 방법

• 시스템은 생성자, 평가자, 클라우드 서버로 구성된 삼자 모델을 사용하며, 클라우드 서버는 이전 실행에서 생성된 암호화된 중간 웨어 값들을 저장하고 재사용한다.
• PartialGC는 한 가라지드 서킷의 암호화된 출력 웨어 값을 새로운 서킷의 입력 웨어 값으로 재사용함으로써, 다시 암호화하거나 입력을 처음부터 재검증할 필요 없이 계산을 수행한다.
• Shelat와 Shen(sS13)의 개선된 입력 검증 기법을 활용하고, 부분 입력 게이트 검증을 도입하여 재사용 시 암호화 오버헤드를 줄인다.
• 반세미성실 및 악성 보안 모델을 모두 지원하며, 평가자와 클라우드 간의 공모가 없다는 가정 하에 보안을 유지한다.
• 대규모 계산을 더 작은 상태 기반 조각으로 나누고, 실행 간 중간 결과를 유지함으로써 상호작용형 I/O를 가능하게 한다.
• 프로토콜을 지원하기 위해 맞춤형 컴파일러와 런타임 시스템을 개발하였으며, 정확성과 일관성을 보장하기 위해 철저한 단위 테스트를 실시했다.

실험 결과

연구 질문

• RQ1 기존 가라지드 서킷 실행에서 생성된 암호화된 중간 값이 재암호화하거나 전체적으로 다시 검증하지 않고도 새로운 실행에서 안전하고 효율적으로 입력으로 재사용될 수 있는가?
• RQ2 이전 SFE 시스템에서 주요 성능 저하 요인으로 지목된 입력 검증 오버헤드는 값 재사용과 최적화된 일관성 검증을 통해 어느 정도 줄일 수 있는가?
• RQ3 컷 앤 찌프 가라지드 서킷 모델에서 상태 기반 보안 계산이 실용적으로 달성될 수 있는가? 이를 통해 증분형 또는 상호작용형 개인정보 보호 응용 프로그램을 지원할 수 있는가?
• RQ4 표준 SFE 외주화 기반 기법 대비 암호화된 값을 재사용함으로써 계산 시간과 대역폭에서 얼마나 많은 성능 향상(감소)을 기대할 수 있는가?
• RQ5 제안된 기법은 이동기기 및 대규모 생산 환경에서의 실용적 구현에 충분히 효율적이고 실행 가능할 수 있는가?

주요 결과

• PartialGC는 CMTB 외주화 기법 대비 계산 시간을 최대 96% 감소시키고 대역폭을 최대 98% 절감하여 반복적인 SFE 실행의 효율성을 크게 향상시킨다.
• 암호화된 중간 값의 재사용을 통해 상태 기반 평가가 가능해져, 입력을 다시 처리하지 않고도 여러 계산을 실행 간에 분산 처리할 수 있다.
• 반세미성실 및 악성 보안 모델을 모두 지원하며, 평가자와 클라우드 간의 공모가 없다는 가정 하에 보안이 유지된다.
• 성능 평가 결과, PartialGC는 이동기기 및 서버 모두에서 실용적이고 효율적이며, 실제 워크로드에서 측정 가능한 성능 향상을 보였다.
• 시스템의 구현을 통해 안드로이드용 완전 기능을 갖춘 개인정보 보호 기능을 갖춘 친구 찾기 애플리케이션 개발이 가능해졌으며, 실생활 적용 가능성은 입증되었다.
• 이 시스템은 컷 앤 찌프 가라지드 서킷 내에서 상호작용형 I/O를 지원하는 최초의 실용적 프로토콜로, 중간 결과를 노출하고 이후 계산 단계에서 활용할 수 있도록 했다.