Antonio Guimarães

Antonio Guimarães

Post-doctoral Researcher

IMDEA Software Institute

About me

I’m a postdoctoral researcher at IMDEA Software Institute in Madrid, Spain. My research interests include all practical aspects of Fully Homomorphic Encryption (FHE), with particular focus on verifiable FHE, fast bootstrapping algorithms, and efficient homomorphic evaluation of cryptographic primitives.

Download my CV

Interests
  • Fully Homomorphic Encryption
  • Verifiable Computation
  • Privacy-preserving technologies
Education
  • Ph.D. in Computer Science, 2019-2023

    University of Campinas

  • Visiting Ph.D. student, 2022-2023

    Aarhus University

  • MSc in Computer Science, 2017-2019

    University of Campinas

  • Computer Engineering, 2012-2016

    University of Campinas

Publications

Quickly discover relevant content by filtering publications.
(2025). Fast amortized bootstrapping with small keys and polynomial noise overhead. To appear at CCS 2025.

Cite eprint GitHub

(2025). Verifiable Computation for Approximate Homomorphic Encryption Schemes. To appear at CRYPTO 2025.

Cite eprint YouTube

(2025). Secure and efficient transciphering for FHE-based MPC. CHES 2025 (3).

Cite DOI eprint GitHub

(2025). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. ACNS 2025.

Cite DOI preprint GitHub

(2024). HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical. Advances in Cryptology – ASIACRYPT 2024.

Cite DOI eprint GitHub YouTube