Abstract. In this note, we report on the first large-scale and practical application of multiparty computation, which took place in January 2008. We also report on the novel cryptographic protocols that were used.

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 language 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

No abstract

No abstract

[No abstract available]

No abstract