Publication

Multiparty Homomorphic Encryption: from Theory to Practice

Résumé

Multiparty homomorphic encryption (MHE) enables a group of parties to encrypt data in a way that (i) enables the evaluation of functions directly over its ciphertexts and (ii) enforces a joint cryptographic access-control over the underlying data.By extending traditional (single-party) homomorphic encryption (HE), MHE schemes support the design and deployment of highly efficient protocols for secure multiparty computation (MPC).MPC protocols based on MHE have highly desirable properties: They generally require less communication than traditional MPC techniques and have a fully public transcript.Hence, most of their execution-related costs can be outsourced to an untrusted external party (such as a cloud server).Although promising in theory, MHE-based MPC solutions have not yet been implemented in any of the 30+ existing MPC frameworks, thus revealing a gap between theory and practice. This dissertation summarizes our work toward closing this gap, by proposing contributions to both sides.On the theoretical side, we propose two MHE constructions that extend the new generation of HE schemes to the multiparty setting.Our first construction is an N-out-of-N-threshold MHE scheme that revisits the seminal lattice-based MHE construction by Asharov et al. (EUROCRYPT'12).Notably, we improve the efficiency of its setup phase, and we generalize its decryption procedure into a generalized key-switching operation that further enables re-encryption, conversion to secret-shares, and the interactive bootstrapping of its ciphertexts.Our second construction extends the first with fault-tolerance capabilities.This extension provides a T-out-of-N-threshold MHE scheme that stands as a compact and efficient alternative to the threshold scheme of Boneh et al. (CRYPTO`18), when synchronous communication can be assumed.On the practical side, we propose the Lattigo library and the Helium system.Lattigo is an open-source Go package that implements the state-of-the-art HE schemes, along with their multiparty extensions.It is also the first maintained library to implement the bootstrapping procedure for approximate homomorphic encryption.Helium builds on top of Lattigo and provides the first end-to-end open-source implementation of an MHE-based MPC protocol.We exploit the theoretical properties of this protocol to propose a helper-assisted setting, where the parties delegate most of the protocol execution cost to an honest-but-curious third party (e.g., a cloud service).As a result, Helium is also the first open-source system to support MPC with sub-linear cost for the parties, without assuming non-collusion between the multiple delegate nodes.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Concepts associés (29)
Calcul multipartite sécurisé
Le calcul multipartite sécurisé (en anglais, secure multi-party computation) est une branche de la cryptographie dont l'objectif est de permettre aux agents d'un réseau de communication de calculer conjointement une fonction sur leurs entrées, afin que les entrées restent privées et que le résultat soit exact. Cela peut être réalisé, par exemple, par transferts inconscient ou par chiffrement homomorphe. Contrairement aux constructions classiques en cryptographie, où l'attaquant est extérieur au système (à la manière d’un espion), l'attaquant fait ici partie des intervenants au sein du système.
Open source
Open source is source code that is made freely available for possible modification and redistribution. Products include permission to use the source code, design documents, or content of the product. The open-source model is a decentralized software development model that encourages open collaboration. A main principle of open-source software development is peer production, with products such as source code, blueprints, and documentation freely available to the public.
Open-source software
Open-source software (OSS) is computer software that is released under a license in which the copyright holder grants users the rights to use, study, change, and distribute the software and its source code to anyone and for any purpose. Open-source software may be developed in a collaborative, public manner. Open-source software is a prominent example of open collaboration, meaning any capable user is able to participate online in development, making the number of possible contributors indefinite.
Afficher plus
Publications associées (40)

X-HEEP Poster - EcoCloud Event 2023

David Atienza Alonso, Miguel Peon Quiros, Simone Machetti, Pasquale Davide Schiavone

In this work, we present eXtendible Heterogeneous Energy-Efficient Platform (X-HEEP), an open-source, configurable, and extendible RISC-V microcontroller to support the integration of ultra-low-power edge accelerators natively. ...
2023

Cybersickness assessment framework(CSAF): An Open Source Repository for Standardized Cybersickness Experiments

Ronan Boulic, Nana Tian, Adriano Viegas Milani

Studies of cybersickness (CS) often require a significant invest- ment in creating the primary VR environment and other experiment- related features. In addition, minor differences in VR content in independent studies may lead to opposite results. This mot ...
IEEE2023

SwissCovid in the Perspective of Its Goals

Serge Vaudenay, Martin Vuagnoux

SwissCovid is the Swiss digital contact tracing app, which was deployed to help fighting against the COVID-19 pandemic. After a year of activity, it is high time to evaluate how effective it has been in its mission. At the highest peak, about 22% of the Sw ...
2022
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.