# Talks — Antonio Guimarães

- **Verifiable Computation for Approximate Homomorphic Encryption Schemes** (Mar 25, 2025, FHE.org 2025, Sofia, Bulgaria; speaker: Antonio Guimarães; video: https://www.youtube.com/watch?v=nAdAs56TxvE; paper: https://antonioguimaraes.org/publications/verifiable-approximate-he/)
- **HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from IOPs is Practical** (Dec 11, 2024, ASIACRYPT 2024, Kolkata, India; speaker: Antonio Guimarães; video: https://www.youtube.com/watch?v=rOspv4WAlz0; paper: https://antonioguimaraes.org/publications/heliopolis/)