Language Support for Multiple Privacy Enhancing Technologies
Privacy is one of the critical aspects in the design of computing systems. Various techniques are being used to enforce privacy, such as information flow control, symmetric/asymmetric cryptography secure computing enclaves, partial homomorphic encryption and differential privacy. These mechanisms should be ideally combined in complex software systems as they offer different properties and performance trade offs. Unfortunately, reasoning about the privacy properties of such combination is still an open research problem.
In this paper, we present our vision on a programming language in which we incorporate different privacy preservation techniques in a common programming model.
Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30
|A Shell-like Model for General Purpose Programming|
Jeanine Miller Adkisson Tokyo Institute of Technology, Johannes Westlund Tokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden, Hidehiko Masuhara Tokyo Institute of TechnologyPre-print
|Toward a Language Design for Energy Prediction|
|Language Support for Multiple Privacy Enhancing Technologies|