ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 17:00 - 17:30 at S8 - IV Chair(s): Francisco Martins

Sharing confidential information in distributed systems is a necessity in many applications, however, it opens the problem of controlling information sharing even among trusted parties. In this paper, we present a formal model in which dissemination of information is disabled at the level of the syntax in a direct way. We introduce a subcalculi of the p-calculus in which channels are considered as confidential information. The only difference with respect to the pi-calculus is that channels once received cannot be forwarded later on. Another contribution of the model is that some privacy notions already studied in the past, such as group creation and name hiding, are directly representable without any additional language constructs. We also present an encoding of the pi-calculus in our calculus.

Sun 7 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00: PLACES - IV at S8
Chair(s): Francisco MartinsUniversity of Lisbon
places-2019-papers16:00 - 16:30
Jan de Muijnck-HughesUniversity of Glasgow, Edwin BradyUniversity of St. Andrews, UK, Wim VanderbauwhedeUniversity of Glasgow
places-2019-papers16:30 - 17:00
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
places-2019-papers17:00 - 17:30
Ivan ProkićUniversity of Novi Sad
places-2019-papers17:30 - 17:35
Day closing