Alex Malozemoff, Galois

Abstract

Homomorphic Encryption is an emerging technology that enables computing on data while the data is encrypted. A major challenge with homomorphic encryption is that it takes extensive expert knowledge to design meaningful and useful programs that are constructed from atomic homomorphic encryption operations. 

In this talk I'll present some preliminary work done by Galois and the New Jersey Institute of Technology to address this challenge. We built an environment for developing homomorphic encryption applications in Julia, a high-level language, the same way as "cleartext'' applications are typically written in Julia. We  achieve this by using symbolic execution to automate the construction of an optimized computation circuit where both the circuit size and multiplicative depth are chosen by the compiler.

Video