@inproceedings{AC:ACGS24,
  author    = {Diego F. Aranha and Anamaria Costache and Antonio Guimarães and Eduardo Soria-Vazquez},
  title     = {{HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical}},
  booktitle = {Advances in Cryptology – ASIACRYPT 2024, Kolkata},
  year      = {2024},
  doi       = {10.1007/978-981-96-0935-2_10},
  url       = {https://eprint.iacr.org/2023/1949}
}