‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Tue 2 Apr 2019 17:00 - 17:30 at Michelangelo - Programming Across the System Stack Chair(s): Shoaib Akram

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.

Conference Day
Tue 2 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Programming Across the System StackMoreVMs at Michelangelo
Chair(s): Shoaib AkramGhent University
16:00
30m
Talk
A Shell-like Model for General Purpose ProgrammingPASS'19
MoreVMs
Jeanine Miller AdkissonTokyo Institute of Technology, Johannes WestlundTokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden, Hidehiko MasuharaTokyo Institute of Technology
Pre-print
16:30
30m
Talk
Toward a Language Design for Energy PredictionPASS'19
MoreVMs
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Pre-print
17:00
30m
Talk
Language Support for Multiple Privacy Enhancing TechnologiesPASS'19
MoreVMs
Aditya OakTechnische Universität Darmstadt, Mira MeziniTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt