Verifiable Computation

HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical

Homomorphic encryption (HE) enables computation on encrypted data, which in turn facilitates the outsourcing of computation on private …

Diego F. Aranha, Anamaria Costache, Antonio Guimarães, Eduardo Soria-Vazquez