Domain-polymorphic language for privacy-preserving applications

Dan Bogdanov, Peeter Laud, Jaak Randmets
2013 Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies - PETShop '13  
We present SecreC, a programming language for specifying privacy-preserving applications using a mix of techniques for secure multiparty computation. Building on the concept of protection domain as an abstraction of resources used to ensure the privacy of data, the SecreC language allows the specification of protection domains for different pieces of data, and the specification of the computation in domainpolymorphic manner. We have implemented the compiler for the language, integrated it with
more » ... he existing SMC framework Sharemind, and are currently using it for new privacypreserving applications.
doi:10.1145/2517872.2517875 dblp:conf/ccs/BogdanovLR13 fatcat:wkjmnv4cvfcfnjqgt66ihqggg4