Survey on fully homomorphic encryption, theory, and applications
Data privacy concerns are increasing significantly in the context of the Internet of Things,
cloud services, edge computing, artificial intelligence applications, and other applications …
cloud services, edge computing, artificial intelligence applications, and other applications …
Verifiable fully homomorphic encryption
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 …
data in use by allowing computation over encrypted data. However, the same malleability …
Rinocchio: SNARKs for ring arithmetic
Succinct non-interactive arguments of knowledge (SNARKs) enable non-interactive efficient
verification of NP computations and admit short proofs. However, all current SNARK …
verification of NP computations and admit short proofs. However, all current SNARK …
Veritas: Plaintext encoders for practical verifiable homomorphic encryption
Homomorphic encryption has become a practical solution for protecting the privacy of
computations on sensitive data. However, existing homomorphic encryption pipelines do not …
computations on sensitive data. However, existing homomorphic encryption pipelines do not …
Pelta-shielding multiparty-FHE against malicious adversaries
Multiparty fully homomorphic encryption (MFHE) schemes enable multiple parties to
efficiently compute functions on their sensitive data while retaining confidentiality. However …
efficiently compute functions on their sensitive data while retaining confidentiality. However …
Heliopolis: Verifiable computation over homomorphically encrypted data from interactive oracle proofs is practical
Homomorphic encryption (HE) enables computation on encrypted data, which in turn
facilitates the outsourcing of computation on private data. However, HE offers no guarantee …
facilitates the outsourcing of computation on private data. However, HE offers no guarantee …
Verifiable encodings for secure homomorphic analytics
Homomorphic encryption, which enables the execution of arithmetic operations directly on
ciphertexts, is a promising solution for protecting privacy of cloud-delegated computations …
ciphertexts, is a promising solution for protecting privacy of cloud-delegated computations …
How to prove statements obliviously?
Cryptographic applications often require proving statements about hidden secrets satisfying
certain circuit relations. Moreover, these proofs must often be generated obliviously, ie …
certain circuit relations. Moreover, these proofs must often be generated obliviously, ie …
[PDF][PDF] Verifiable FHE via lattice-based SNARKs
Fully Homomorphic Encryption (FHE) is a prevalent cryptographic primitive that allows for
computation on encrypted data. In various cryptographic protocols, this enables outsourcing …
computation on encrypted data. In various cryptographic protocols, this enables outsourcing …
Lattice-based homomorphic encryption for privacy-preserving smart meter data analytics
Privacy-preserving smart meter data collection and analysis are critical for optimizing smart
grid environments without compromising privacy. Using homomorphic encryption …
grid environments without compromising privacy. Using homomorphic encryption …