A domain-specific programming language for secure multiparty computation

Janus Dam Nielsen, Michael I. Schwartzbach
2007 Proceedings of the 2007 workshop on Programming languages and analysis for security - PLAS '07  
Creating tools with strong security guaranties which exploits the benefits obtained by combining confidential information without compromising it, is feasible and useful. In this progress report we document the research carried out so far to establish the feasibility of constructing useful tools which makes it possible to take advantage of secret information from multiple sources without revealing the information. We focus on the Secure Multiparty Computation Language (SMCL) a domain-specific
more » ... nguage for Secure Multiparty Computation (SMC). We present the area of SMC along with a conceptual analysis highlighting the central concepts essential for a domain-specific language for SMC and present one realization of such a language SMCL. SMCL provides high-level abstractions and strong security guaranties to aid the programmer in producing programs for secure multiparty computation which do not reveal unintended information. We also provide a comprehensive survey of related work. We hereby demonstrate the feasibility of constructing a useful programming language with strong security guarantees for writing SMC programs. Furthermore we present a number of ideas for future work including further developments of SMC and ideas for new tools which provide access to confidential information without compromising it. iii Contents Abstract iii 7 Conclusion 35 Bibliography 37 A Syntax and Terminology 41 vi
doi:10.1145/1255329.1255333 dblp:conf/pldi/NielsenS07 fatcat:4kgv6266ijbmlcrn7laigvvsom