ARM2GC: Succinct garbled processor for secure computation

EM Songhori, MS Riazi, SU Hussain… - Proceedings of the 56th …, 2019 - dl.acm.org
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 …

Tinygarble2: smart, efficient, and scalable Yao's Garble Circuit

S Hussain, B Li, F Koushanfar… - Proceedings of the 2020 …, 2020 - dl.acm.org
We present TinyGarble2--a C++ framework for privacy-preserving computation through the
Yao's Garbled Circuit (GC) protocol in both the honest-but-curious and the malicious security …

[PDF][PDF] An intermediate language for garbled circuits

W Melicher, S Zahur, D Evans - IEEE Symposium on Security and …, 2012 - academia.edu
Secure two-party computation allows two parties to evaluate a function of their private inputs
without revealing their own inputs to the other party. The garbled circuit technique …

Striving for Both Quality and Speed: Logic Synthesis for Practical Garbled Circuits

M Yu, G De Micheli - 2023 IEEE/ACM International Conference …, 2023 - ieeexplore.ieee.org
Garbled circuit (GC) is one of the few promising protocols to realize general-purpose secure
computation. The target computation is represented by a Boolean circuit that is subsequently …

Secure outsourced garbled circuit evaluation for mobile devices

H Carter, B Mood, P Traynor… - Journal of Computer …, 2016 - content.iospress.com
Garbled circuits provide a powerful tool for jointly evaluating functions while preserving the
privacy of each user's inputs. While recent research has made the use of this primitive more …

Haac: A hardware-software co-design to accelerate garbled circuits

J Mo, J Gopinath, B Reagen - Proceedings of the 50th Annual …, 2023 - dl.acm.org
Privacy and security have rapidly emerged as priorities in system design. One powerful
solution for providing both is privacy-preserving computation, where functions are computed …

Tinygarble: Highly compressed and scalable sequential garbled circuits

EM Songhori, SU Hussain, AR Sadeghi… - … IEEE Symposium on …, 2015 - ieeexplore.ieee.org
We introduce Tiny Garble, a novel automated methodology based on powerful logic
synthesis techniques for generating and optimizing compressed Boolean circuits used in …

Garbledcpu: a mips processor for secure computation in hardware

EM Songhori, S Zeitouni, G Dessouky… - Proceedings of the 53rd …, 2016 - dl.acm.org
We present GarbledCPU, the first framework that realizes a hardware-based general
purpose sequential processor for secure computation. Our MIPS-based implementation …

Accelerating large garbled circuits on an FPGA-enabled cloud

M Leeser, M Gungor, K Huang… - 2019 IEEE/ACM …, 2019 - ieeexplore.ieee.org
Garbled Circuits (GC) is a technique for ensuring the privacy of inputs from users and is
particularly well suited for FPGA implementations in the cloud where data analytics is …

Vmcrypt: modular software architecture for scalable secure computation

L Malka - Proceedings of the 18th ACM conference on Computer …, 2011 - dl.acm.org
Garbled circuit play a key role in secure computation, but existing implementations do not
scale and are not modular. In this paper we present VMCrypt, a library for secure …