Verifiable Encodings for Secure Homomorphic Analytics
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915626156556288 |
|---|---|
| author | Chatel, Sylvain Knabenhans, Christian Pyrgelis, Apostolos Troncoso, Carmela Hubaux, Jean-Pierre |
| author_facet | Chatel, Sylvain Knabenhans, Christian Pyrgelis, Apostolos Troncoso, Carmela Hubaux, Jean-Pierre |
| contents | 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 errors based fully homomorphic encryption schemes over the integers. We implement our solution in VERITAS, a ready-to-use system for verification of outsourced computations executed over encrypted data. We show that contrary to prior work VERITAS supports verification of any homomorphic operation and we demonstrate its practicality for various applications, such as ride-hailing, genomic-data analysis, encrypted search, and machine-learning training and inference. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2207_14071 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Verifiable Encodings for Secure Homomorphic Analytics Chatel, Sylvain Knabenhans, Christian Pyrgelis, Apostolos Troncoso, Carmela Hubaux, Jean-Pierre Cryptography and Security 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 errors based fully homomorphic encryption schemes over the integers. We implement our solution in VERITAS, a ready-to-use system for verification of outsourced computations executed over encrypted data. We show that contrary to prior work VERITAS supports verification of any homomorphic operation and we demonstrate its practicality for various applications, such as ride-hailing, genomic-data analysis, encrypted search, and machine-learning training and inference. |
| title | Verifiable Encodings for Secure Homomorphic Analytics |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2207.14071 |