Cryptology ePrint Archive: Report 2013/307

Maliciously Circuit-private FHE

Rafail Ostrovsky and Anat Paskin-Cherniavsky and Beni Paskin-Cherniavsky

Abstract: We present a framework for constructing compact FHE (fully homomorphic encryption) which is circuit-private in the malicious setting. That is, even if both maliciously formed public key and cyphertext are used, encrypted outputs only reveal the evaluation of the circuit on some well-formed input $x^*$. Previous literature on FHE only considered semi-honset circuit privacy. Circuit-private FHE schemes have direct applications to computing on encrypted data. In that setting, one party (a receiver) holding an input $x$ wishes to learn the evaluation of a circuit $C$ held by another party (a sender). The goal is to make receiver's work sublinear (and ideally independent) of $\mathcal{C}$, using a 2-message protocol. Maliciously circuit-private FHE immediately gives rise to such a protocol which is secure against malicious receivers.

Category / Keywords: public-key cryptography / ully homomorphic encryption, computing on encrypted data, malicious setting.

Date: received 22 May 2013

Contact author: anpc at cs ucla edu

Available formats: PDF | BibTeX Citation

Version: 20130525:135643 (All versions of this report)

Discussion forum: Show discussion | Start new discussion