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

Authors Alex Bain, John Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman

Thumbnail PDF


  • Filesize: 0.58 MB
  • 19 pages

Document Identifiers

Author Details

Alex Bain
John Mitchell
Rahul Sharma
Deian Stefan
Joe Zimmerman

Cite AsGet BibTex

Alex Bain, John Mitchell, Rahul Sharma, Deian Stefan, and Joe Zimmerman. A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Leibniz International Proceedings in Informatics (LIPIcs), Volume 13, pp. 6-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


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 secret sharing execution platform provides information-theoretic security against colluding servers. The homomorphic encryption execution platform requires only one server, but has limited efficiency, and provides secrecy against a computationally-bounded adversary. Experiments with our implementation suggest promising computational feasibility, as cryptography improves, and show how code can be developed uniformly for a variety of secure cloud platforms, without explicitly programming separate clients and servers.
  • Domain-Specific Language
  • Secret Sharing
  • Homomorphic Encryption


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads