ARM2GC: Succinct Garbled Processor for Secure Computation

We present ARM2GC, a novel secure computation framework based on Yao's Garbled Circuit (GC) protocol and the ARM processor. It allows users to develop privacy-preserving applications using standard high-level programming languages (e.g., C) and compile them using off-the-shelf ARM compilers, e....

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the 56th Annual Design Automation Conference 2019 pp. 1 - 6
Main Authors:	Songhori, Ebrahim M., Riazi, M. Sadegh, Hussain, Siam U., Sadeghi, Ahmad-Reza, Koushanfar, Farinaz
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.06.2019
Subjects:	ARM Heuristic algorithms Logic gates Optimization Privacy-Preserving Computation Program processors Protocols Secure Processor Security Wires Yao's Garbled Circuit
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	We present ARM2GC, a novel secure computation framework based on Yao's Garbled Circuit (GC) protocol and the ARM processor. It allows users to develop privacy-preserving applications using standard high-level programming languages (e.g., C) and compile them using off-the-shelf ARM compilers, e.g., gcc-arm. The main enabler of this framework is the introduction of SkipGate, an algorithm that dynamically omits the communication and encryption cost of a gate when its output is independent of the private data. SkipGate greatly enhances the performance of ARM2GC by omitting costs of the gates associated with the instructions of the compiled binary, which is known by both parties involved in the computation. Our evaluation on benchmark functions demonstrates that ARM2GC outperforms the prior best solution by 156 \times .CCS CONCEPTS* Security and privacy \rightarrow Privacy-preserving protocols;
DOI:	10.1145/3316781.3317777