Two-Server Delegation of Computation on Label-Encrypted Data

Catalano and Fiore propose a scheme to transform linearly-homomorphic encryption into homomorphic capable of evaluating quadratic computations on ciphertexts. Their is based the (such as Goldwasser-Micali, Paillier ElGamal) need perform large integer operation servers. Then, their have numerous At same time, cannot verify evaluate more than degree-4 computations. To solve these problems, we no longer use which number theory assumptions. We label pseudorandom function encrypt message, significantly reduce servers enable us MACs technology realize verifiable naturally. also extend method construct $d$ -server schemes, allow client delegate degree- outsourced data.