Survey on fully homomorphic encryption, theory, and applications

C Marcolla, V Sucasas, M Manzano… - Proceedings of the …, 2022 - ieeexplore.ieee.org
Data privacy concerns are increasing significantly in the context of the Internet of Things,
cloud services, edge computing, artificial intelligence applications, and other applications …

Verifiable fully homomorphic encryption

A Viand, C Knabenhans, A Hithnawi - arxiv preprint arxiv:2301.07041, 2023 - arxiv.org
Fully Homomorphic Encryption (FHE) is seeing increasing real-world deployment to protect
data in use by allowing computation over encrypted data. However, the same malleability …

Rinocchio: SNARKs for ring arithmetic

C Ganesh, A Nitulescu, E Soria-Vazquez - Journal of Cryptology, 2023 - Springer
Succinct non-interactive arguments of knowledge (SNARKs) enable non-interactive efficient
verification of NP computations and admit short proofs. However, all current SNARK …

Veritas: Plaintext encoders for practical verifiable homomorphic encryption

S Chatel, C Knabenhans, A Pyrgelis… - Proceedings of the …, 2024 - dl.acm.org
Homomorphic encryption has become a practical solution for protecting the privacy of
computations on sensitive data. However, existing homomorphic encryption pipelines do not …

Pelta-shielding multiparty-FHE against malicious adversaries

S Chatel, C Mouchet, AU Sahin, A Pyrgelis… - Proceedings of the …, 2023 - dl.acm.org
Multiparty fully homomorphic encryption (MFHE) schemes enable multiple parties to
efficiently compute functions on their sensitive data while retaining confidentiality. However …

Heliopolis: Verifiable computation over homomorphically encrypted data from interactive oracle proofs is practical

DF Aranha, A Costache, A Guimarães… - … Conference on the …, 2025 - Springer
Homomorphic encryption (HE) enables computation on encrypted data, which in turn
facilitates the outsourcing of computation on private data. However, HE offers no guarantee …

Verifiable encodings for secure homomorphic analytics

S Chatel, C Knabenhans, A Pyrgelis… - arxiv preprint arxiv …, 2022 - arxiv.org
Homomorphic encryption, which enables the execution of arithmetic operations directly on
ciphertexts, is a promising solution for protecting privacy of cloud-delegated computations …

How to prove statements obliviously?

S Garg, A Goel, M Wang - Annual International Cryptology Conference, 2024 - Springer
Cryptographic applications often require proving statements about hidden secrets satisfying
certain circuit relations. Moreover, these proofs must often be generated obliviously, ie …

[PDF][PDF] Verifiable FHE via lattice-based SNARKs

S Atapoor, K Baghery, H VL Pereira… - … in Cryptology (CiC), 2024 - lirias.kuleuven.be
Fully Homomorphic Encryption (FHE) is a prevalent cryptographic primitive that allows for
computation on encrypted data. In various cryptographic protocols, this enables outsourcing …

Lattice-based homomorphic encryption for privacy-preserving smart meter data analytics

A Marandi, PGMR Alves, DF Aranha… - The Computer …, 2024 - academic.oup.com
Privacy-preserving smart meter data collection and analysis are critical for optimizing smart
grid environments without compromising privacy. Using homomorphic encryption …