| CPC H04L 9/3242 (2013.01) [H04L 9/008 (2013.01)] | 14 Claims |

|
1. A method for performing verifiable computation of a quadratic function over encrypted data by a computation entity, the method comprising:
generating the encrypted data or receiving the encrypted data from a data source, wherein the encrypted data is encrypted by a linearly homomorphic encryption scheme, and
performing the computation of the quadratic function over the encrypted data by the computation entity,
wherein a homomorphic message authentication code is used for providing the verifiable computation on the encrypted data,
wherein a computation over authentication tags that accompany the encrypted data is performed, so that the computation entity can output an encoding that includes a ciphertext encrypting a result of the computation and a tag, and
wherein an integrity of the result is verified by a final tag, and
wherein the tags are different from the homomorphic message authentication code.
|