In this paper, we propose a programming language with associated compilation techniques for simple orchestration of multiple SMC techniques and multiple protection domains. It is a simple imperative language with function calls where the types of data items are annotated with protection domains and where the function declarations may be domain-polymorphic. This allows most of the program code working with private data to be written in a SMC-technique-agnostic manner. It also allows rapid deployment of new SMC techniques and implementations in existing applications. We have implemented the compiler for the language, integrated it with an existing SMC framework, and are currently using it for new privacy-preserving applications.
Category / Keywords: implementation / secure multiparty computation Date: received 10 Jun 2013 Contact author: peeter laud at cyber ee Available format(s): PDF | BibTeX Citation Version: 20130612:144949 (All versions of this report) Short URL: ia.cr/2013/371 Discussion forum: Show discussion | Start new discussion