# Curriculum vitae — Antonio Carlos Guimarães Junior

Postdoctoral researcher, IMDEA Software Institute, Madrid, Spain. antonio.guimaraes@imdea.org

## Positions

- 2023 – present: **Postdoctoral researcher**, IMDEA Software Institute, Madrid, Spain. Supervisor: Ignacio Cascudo. Juan de la Cierva fellow (2026–2027).

## Education

- Mar 2019 – Sep 2023: **Ph.D. in Computer Science**, University of Campinas, Campinas, Brazil. Accelerating FHE for arbitrary computation. Edson Borin (advisor), Diego F. Aranha (co-advisor).
- Feb 2022 – Jan 2023: **Visiting Ph.D. student**, Aarhus University, Aarhus, Denmark. Efficient multi-key homomorphic evaluation for applications in genomics. Diego F. Aranha (host).
- Mar 2017 – Mar 2019: **M.Sc. in Computer Science**, University of Campinas, Campinas, Brazil. Secure and efficient software implementation of QC-MDPC code-based cryptography. Diego F. Aranha (advisor), Edson Borin (co-advisor).
- Mar 2012 – Dec 2016: **B.Sc. in Computer Engineering**, University of Campinas, Campinas, Brazil. Instruction set extensions for the secure implementation of cryptographic algorithms. Diego F. Aranha.

## Honors, awards and fellowships

- 2025: Juan de la Cierva postdoctoral fellowship, Spanish Ministry of Science
- 2024: Best Ph.D. thesis award, 25th Brazilian Symposium on High-Performance Computing Systems (WSCAD)
- 2020: Best master's dissertation awards, 20th Brazilian Symposium on Information and Computational Systems Security (SBSeg) and 21st Brazilian Symposium on High-Performance Computing Systems (WSCAD)
- 2019: Ph.D. scholarship, São Paulo Research Foundation (FAPESP)

## Service

Program committees: CHES 2027, FHE.org 2027, ASIACRYPT 2026, CHES 2026, CCS 2026, SAC 2026, WAHC 2026, FHE.org 2026, SBSeg 2025, WAHC 2024.

Reviewer / sub-reviewer: CRYPTO, EUROCRYPT, ASIACRYPT, TCHES, PKC, ACNS, FC, ICICS, SBAC-PAD, SoftwareX, ISC, and others.

Standardization (NIST Multi-Party Threshold Cryptography call):

- Kryptallage: Thresholdized FHE scheme switching: a unified multi-scheme FHE system with a threshold key-generation and decryption layer (categories S4 and S5), team of 16. https://csrc.nist.gov/csrc/media/Projects/threshold-cryptography/documents/TCall-1/Kryptallage-PW03.pdf
- Tulva: Practical asynchronous threshold FHE (category S5), team of 6. https://csrc.nist.gov/csrc/media/Projects/threshold-cryptography/documents/TCall-1/Tulva-PW03.pdf

## Teaching

- 2017–2019: Teaching assistant, University of Campinas. Algorithms, Assembly Programming, Big Data, Security and Privacy for IoT (undergraduate and extension courses)
- 2019: Teaching internship, University of Campinas. Algorithms and Computer Programming

## Selected publications

- Tulva: Practical Asynchronous Threshold FHE. Valerio Cini, Antonio Guimarães, Russell W. F. Lai, Michał Osadnik, Ivy K. Y. Woo (alphabetical order). IEEE S&P 2027. https://antonioguimaraes.org/publications/tulva/
- Batch, Pack, and Prove: More Efficient Verifiable Computation for CKKS. Ignacio Cascudo, Anamaria Costache, Daniele Cozzo, Dario Fiore, Antonio Guimarães, Eduardo Soria-Vazquez (alphabetical order). ASIACRYPT 2026. https://antonioguimaraes.org/publications/batch-pack-prove/
- Fast amortized bootstrapping with small keys and polynomial noise overhead. Antonio Guimarães, Hilder V. L. Pereira (alphabetical order). CCS 2025. https://antonioguimaraes.org/publications/fast-amortized-bootstrapping/
- Verifiable Computation for Approximate Homomorphic Encryption Schemes. Ignacio Cascudo, Anamaria Costache, Daniele Cozzo, Dario Fiore, Antonio Guimarães, Eduardo Soria-Vazquez (alphabetical order). CRYPTO 2025. https://antonioguimaraes.org/publications/verifiable-approximate-he/
- Secure and efficient transciphering for FHE-based MPC. Diego F. Aranha, Antonio Guimarães, Clément Hoffmann, Pierrick Méaux (alphabetical order). TCHES 2025. https://antonioguimaraes.org/publications/transciphering-fhe-mpc/
- HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical. Diego F. Aranha, Anamaria Costache, Antonio Guimarães, Eduardo Soria-Vazquez (alphabetical order). ASIACRYPT 2024. https://antonioguimaraes.org/publications/heliopolis/
- Amortized Bootstrapping Revisited: Simpler, Asymptotically-faster, Implemented. Antonio Guimarães, Hilder V. L. Pereira, Barry van Leeuwen (alphabetical order). ASIACRYPT 2023. https://antonioguimaraes.org/publications/amortized-bootstrapping-revisited/
- Revisiting the functional bootstrap in TFHE. Antonio Guimarães, Edson Borin, Diego F. Aranha. TCHES 2021. https://antonioguimaraes.org/publications/functional-bootstrap-tfhe/

Alphabetical author order is the convention in cryptography.

PDF version: https://antonioguimaraes.org/cv.pdf