Iacr

HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical
Diego F. Aranha, Anamaria Costache, Antonio Guimarães, Eduardo Soria-Vazquez
Cite DOI eprint GitHub YouTube
Secure and efficient transciphering for FHE-based MPC
Transciphering (or Hybrid-Homomorphic Encryption, HHE) is an es- tablished technique for avoiding ciphertext expansion in HE …
Diego F. Aranha, Antonio Guimarães, Clément Hoffmann, Pierrick Méaux
Cite eprint GitHub
Amortized Bootstrapping Revisited: Simpler, Asymptotically-Faster, Implemented
Micciancio and Sorrel (ICALP 2018) proposed a bootstrapping algorithm that can refresh many messages at once with sublinearly many …
Antonio Guimarães, Hilder v. L. Pereira, Barry Van Leeuwen
Cite DOI eprint GitHub
Revisiting the functional bootstrap in TFHE
The FHEW cryptosystem introduced the idea that an arbitrary function can be evaluated within the bootstrap procedure as a table lookup. …
Antonio Guimarães, Edson Borin, Diego F. Aranha
Cite DOI TCHES GitHub