HElium: A Language and Compiler for Fully Homomorphic Encryption with Support for Proxy Re-Encryption
Mirko G\"unther, Lars Sch\"utze, Kilian Becher, Thorsten Strufe,, Jeronimo Castrillon

TL;DR
HElium is an innovative compiler that optimizes fully homomorphic encryption with proxy re-encryption support, enabling efficient multi-party privacy-preserving data analysis, especially in medical research contexts.
Contribution
It introduces HElium, the first FHE compiler with native proxy re-encryption support and a specialized DSL for multi-party scenarios, reducing computational overhead.
Findings
Significantly reduces overhead of proxy re-encryption operations.
Effectively handles large-scale multi-party data analysis.
Improves feasibility of privacy-preserving medical research.
Abstract
Privacy-preserving analysis of confidential data can increase the value of such data and even improve peoples' lives. Fully homomorphic encryption (FHE) can enable privacy-preserving analysis. However, FHE adds a large amount of computational overhead and its efficient use requires a high level of expertise. Compilers can automate certain aspects such as parameterization and circuit optimizations. This in turn makes FHE accessible to non-cryptographers. Yet, multi-party scenarios remain complicated and exclude many promising use cases such as analyses of large amounts of health records for medical research. Proxy re-encryption (PRE), a technique that allows the conversion of data from multiple sources to a joint encryption key, can enable FHE for multi-party scenarios. Today, there are no optimizing compilers for FHE with PRE capabilities. We propose HElium, the first optimizing FHE…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCryptography and Data Security · Pharmacological Effects and Toxicity Studies · Pancreatic and Hepatic Oncology Research
