Verifiable Computation on encrypted data