Publications

Antonio Guimarães, Hilder V.L. Pereira (2025). Fast amortized bootstrapping with small keys and polynomial noise overhead.

Cite eprint

Ignacio Cascudo, Anamaria Costache, Daniele Cozzo, Dario Fiore, Antonio Guimarães, Eduardo Soria-Vazquez (2025). Verifiable Computation for Approximate Homomorphic Encryption Schemes.

Cite eprint YouTube

Diego F. Aranha, Anamaria Costache, Antonio Guimarães, Eduardo Soria-Vazquez (2024). HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical. Advances in Cryptology – ASIACRYPT 2024.

Cite DOI eprint GitHub YouTube

Antonio Guimarães, Edson Borin, Diego F. Aranha (2024). MOSFHET: Optimized Software for FHE over the Torus. Journal of Cryptographic Engineering - 2024.

Cite DOI eprint GitHub

Diego F. Aranha, Antonio Guimarães, Clément Hoffmann, Pierrick Méaux (2024). Secure and efficient transciphering for FHE-based MPC. To appear at CHES 2025 (3).

Cite eprint GitHub

Leonardo Neumann, Antonio Guimarães, Diego F. Aranha, Edson Borin (2024). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. To appear at ACNS 2025.

Cite DOI preprint GitHub

Antonio Guimarães, Hilder v. L. Pereira, Barry Van Leeuwen (2023). Amortized Bootstrapping Revisited: Simpler, Asymptotically-Faster, Implemented. Advances in Cryptology – ASIACRYPT 2023.

Cite DOI eprint GitHub

Antonio Guimarães, Leonardo Neumann, Fernanda A. Andaló, Diego F. Aranha, Edson Borin (2022). Homomorphic evaluation of large look-up tables for inference on human genome data in the cloud. 2022 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW).

Cite DOI

Antonio Guimarães, Edson Borin, Diego F. Aranha (2021). Revisiting the functional bootstrap in TFHE. IACR Transactions on Cryptographic Hardware and Embedded Systems - CHES 2021.

Cite DOI TCHES GitHub

Antonio Guimarães, Luis Lacalle, Charles B. Rodamilans, Edson Borin (2021). High-performance IO for seismic processing on the cloud. Concurrency and Computation: Practice and Experience.

Cite DOI URL

Rafael J. Cruz, Antonio Guimarães, Diego F. Aranha (2020). Efficient and secure software implementations of Fantomas. Journal of Cryptographic Engineering.

Cite DOI URL

Antonio Guimarães, Diego F. Aranha, Edson Borin (2019). Optimized implementation of QC-MDPC code-based cryptography. Concurrency and Computation: Practice and Experience.

Cite DOI URL GitHub

Antonio Guimarães, Edson Borin, Diego F. Aranha (2019). Introducing Arithmetic Failures to Accelerate QC-MDPC Code-Based Cryptography. Code-Based Cryptography.

Cite DOI GitHub

Antonio Guimarães, Diego F. Aranha, Edson Borin (2017). Optimizing the Decoding Process of a Post-Quantum Cryptographic Algorithm. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD).

Cite DOI URL