| Author | Songhori, Ebrahim; Riazi, M. Sadegh; Hussain, Siam; Sadeghi, Ahmad-Reza; Koushanfar, Farinaz |
|---|
| Date | 2019 |
|---|
| Type | Conference Proceedings |
|---|
| Abstract | 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 the gates whose outputs are 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 not only outperforms the
current GC frameworks that support high-level languages, it also
achieves efficiency comparable to the best prior solutions based
on hardware description languages. Moreover, in contrast to previous high-level frameworks with domain-specific languages and
customized compilers, ARM2GC relies on standard ARM compiler
which is rigorously verified and supports programs written in the
standard syntax. |
|---|
| Conference | Design Automation Conference (DAC), 2019 56th ACM/EDAC/IEEE |
|---|
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/111408 |
|---|
