HElium: A Language and Compiler for Fully Homomorphic Encryption with Support for Proxy Re-Encryption. - Mirko Günther; Lars Schütze; Kilian Becher; Thorsten Strufe; Jerónimo Castrillón (CoRR, 2023)