Targeted Malleability: Homomorphic Encryption for Restricted Computations

We put forward the notion of targeted malleability: given a homomorphic encryption scheme, in various scenarios we would like to restrict the homomorphic computations one can perform on encrypted data. We introduce a precise framework, generalizing the foundational notion of non-malleability introduced by Dolev, Dwork, and Naor (SICOMP ’00), ensuring that the malleability of a scheme is targeted only at a specific set of “allowable” functions. In this setting we are mainly interested in the efficiency of such schemes as a function of the number of repeated homomorphic operations. Whereas constructing a scheme whose ciphertext grows linearly with the number of such operations is straightforward, obtaining more realistic (or merely non-trivial) length guarantees is significantly more challenging. We present two constructions that transform any homomorphic encryption scheme into one that offers targeted malleability. Our constructions are rather general, and rely on noninteracti...

• Type: Journal
• Year: 2011
• Where: IACR
• Authors: Dan Boneh, Gil Segev, Brent Waters
• Keywords: Dwork, IACR 2011, Precise Framework, Zero Knowledge Proofs