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

Diego F. Aranha, Anamaria Costache, Antonio Guimares, Eduardo Soria-Vazquez

Browse the full ASIACRYPT paper archive.