Cryptology ePrint Archive: Report 2017/569

Enforcing Input Correctness via Certification in Garbled Circuit Evaluation

Yihua Zhang and Marina Blanton and Fattaneh Bayatbabolghani

Abstract: Secure multi-party computation allows a number of participants to securely evaluate a function on their private inputs and has a growing number of applications. Two standard adversarial models that treat the participants as semi-honest or malicious, respectively, are normally considered for showing security of constructions in this framework. In this work, we go beyond the standard security model in the presence of malicious participants and treat the problem of enforcing correct inputs to be entered into the computation. We achieve this by having a certification authority certify userís information, which is consequently used in secure two-party computation based on garbled circuit evaluation. The focus of this work on enforcing correctness of garblerís inputs via certification, as prior work already allows one to achieve this goal for circuit evaluatorís input. Thus, in this work, we put forward a novel approach for certifying userís input and tying certification to garblerís input used during secure function evaluation based on garbled circuits. Our construction achieves notable performance of adding only one (standard) signature verification and O(nρ) symmetric key/hash operations to the cost of garbled circuit evaluation in the malicious model via cut-and-choose, in which ρ circuits are garbled and n is the length of the garblerís input in bits. Security of our construction is rigorously proved in the standard model.

Category / Keywords: cryptographic protocols / secure multiparty computation, garbled circuit, input correctness

Date: received 10 Jun 2017

Contact author: yihuaz at google com

Available format(s): PDF | BibTeX Citation

Version: 20170614:205131 (All versions of this report)

Short URL: ia.cr/2017/569

Discussion forum: Show discussion | Start new discussion


[ Cryptology ePrint archive ]