A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Domain-polymorphic language for privacy-preserving applications
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
doi:10.1145/2517872.2517875
dblp:conf/ccs/BogdanovLR13
fatcat:wkjmnv4cvfcfnjqgt66ihqggg4