Antonio Carlos Guimarães Junior · Postdoctoral researcher, IMDEA Software Institute, Madrid, Spain · [email protected]

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
Thesis: 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
Project: 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
Thesis: 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
Project: Instruction set extensions for the secure implementation of cryptographic algorithms. Diego F. Aranha. Graduated with distinction.

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)

Selected publications

Full list with abstracts and links on the publications page. Following the convention in cryptography, many of these papers list authors alphabetically; they are marked A–Z.

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

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

2026

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.
Preview submission to the NIST Multi-Party Threshold Cryptography (call 1).

2026

Tulva — Practical asynchronous threshold FHE (category S5), team of 6.
Preview submission to the NIST Multi-Party Threshold Cryptography (call 1).

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

Technical skills

Languages: C, C++, Python, JavaScript, HTML/CSS, Assembly (x86, ARM32, RISC-V).
Areas: profiling and micro-optimization (VTune, perf, Valgrind); vectorization (intrinsics, inline assembly); parallel programming (pthreads, OpenMP); networking (sockets, WebSockets, TLS).

Spoken languages: Portuguese (native), English (advanced), Spanish (intermediate).