EDBT 2026 Demo / reviewers in the wild / expert
Antonio Guimarães
dblp:245/2520
· DBLP profile ↗
8ranked-venue papers
5as first author
7since 2021 · last 2026
0000-0001-5110-6639ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 6 · 3 first-author · 6 since 2021Systems, architecture and hardware · 2 · 2 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | PETCHA: Post-quantum Efficient Transciphering with ChaCha
Antonio Guimarães, Gabriela M. Jacob, Hilder Vitor Lima Pereira |
PQCrypto (2) | 1 |
| 2025 | Homomorphic WiSARDs: Efficient Weightless Neural Network Training over Encrypted Data
Leonardo Neumann, Antonio Guimarães, Diego F. Aranha, Edson Borin |
ACNS (3) | 2 |
| 2025 | Fast Amortized Bootstrapping with Small Keys and Polynomial Noise OverheadabstractMost homomorphic encryption (FHE) schemes exploit a technique called single-instruction multiple-data (SIMD) to process several messages in parallel. However, they base their security in somehow strong assumptions, such as the hardness of approximate lattice problems with superpolynomial approximation factor. On the other extreme of the spectrum, there are lightweight FHE schemes that have much faster bootstrapping but no SIMD capabilities. On the positive side, the security of these schemes is based on lattice problems with (low-degree) polynomial approximation factor only, which is a much weaker security assumption. Aiming the best of those two options, Micciancio and Sorrell (ICALP'18) proposed a new amortized bootstrapping that can process many messages at once, yielding sublinear time complexity per message, and allowing one to construct FHE based on lattice problems with polynomial approximation factor. Antonio Guimarães, Hilder Vitor Lima Pereira |
CCS | 1 |
| 2025 | Verifiable Computation for Approximate Homomorphic Encryption Schemes
Ignacio Cascudo, Anamaria Costache, Daniele Cozzo, Dario Fiore 0001, Antonio Guimarães, Eduardo Soria-Vazquez |
CRYPTO (7) | 5 |
| 2024 | HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical
Diego F. Aranha, Anamaria Costache, Antonio Guimarães, Eduardo Soria-Vazquez |
ASIACRYPT (5) | 3 |
| 2023 | Amortized Bootstrapping Revisited: Simpler, Asymptotically-Faster, Implemented
Antonio Guimarães, Hilder Vitor Lima Pereira, Barry Van Leeuwen |
ASIACRYPT (6) | 1 |
| 2021 | High-performance IO for seismic processing on the cloudabstractSummary Most of the applications in the seismology field rely on the processing of up to hundreds of terabytes of data and their performance is strongly affected by IO operations. In this article, we analyze the main file structures currently used to store seismic data and propose a new intermediate data structure to improve IO performance while still complying with established standards. We show that, throughout a common workflow in seismic data analysis, our IO performance gain greatly surpasses the overhead of translating data to the intermediate structure. This approach enables a speedup of up to 208 times in reading time when using classical standards (e.g., SEG‐Y) and our intermediate structure is up to 1.8 times more efficient than modern formats (e.g., ASDF). Considering cache‐friendly applications, our speedups over the direct use of SEG‐Y reach 8000 times. We also performed a cost analysis on the AWS cloud showing that, in our approach, HDDs can be 1.25 times more cost‐effective than SSDs. Antonio Guimarães, Luis Lacalle, Charles Boulhosa Rodamilans, Edson Borin |
Concurr. Comput. Pract. Exp. | 1 |
| 2019 | Optimized implementation of QC-MDPC code-based cryptographyabstractSummary This paper presents a new enhanced version of the QcBits key encapsulation mechanism, which is a constant‐time implementation of the Niederreiter cryptosystem using QC‐MDPC codes. In this version, we updated the implementation parameters to meet the 128‐bit quantum security level, replaced some of the core algorithms to avoid using slower instructions, vectorized the entire code using the AVX‐512 instruction set extension, and applied several other techniques to achieve a competitive performance level. Our implementation takes 928, 259, and 5008 thousand Skylake cycles to perform batch key generation (cost per key), encryption, and uniform decryption, respectively. Comparing with the current state‐of‐the‐art implementation for QC‐MDPC codes, BIKE, our code is 1.9 times faster when decrypting messages. Antonio Guimarães, Diego F. Aranha, Edson Borin |
Concurr. Comput. Pract. Exp. | 1 |