Verifiable Encodings for Secure Homomorphic Analytics

arXiv:2207.14071v3 Announce Type: replace
Abstract: Homomorphic encryption, which enables the execution of arithmetic operations directly on ciphertexts, is a promising solution for protecting privacy of cloud-delegated computations on sensitive data. However, the correctness of the computation result is not ensured. We propose two error detection encodings and build authenticators that enable practical client-verification of cloud-based homomorphic computations under different trade-offs and without compromising on the features of the encryption algorithm. Our authenticators operate on top of trending ring learning with …

analytics arxiv authenticators build client cloud computation correctness cs.cr data detection enable encryption error homomorphic encryption operations privacy protecting result sensitive sensitive data solution verification