A Domain-Specific Language for Computing on Encrypted Data (Invited Talk)

Alex Bain, John Mitchell, Rahul Sharma, Deian Stefan & Joe Zimmerman
In cloud computing, a client may request computation on confidential data that is sent to untrusted servers. While homomorphic encryption and secure multiparty computation provide building blocks for secure computation, software must be properly structured to preserve confidentiality. Using a general definition of secure execution platform, we propose a single Haskell-based domain-specific language for cryptographic cloud computing and prove correctness and confidentiality for two representative and distinctly different implementations of the same programming language. The...