Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 16:50 - 17:10 at Sala VII - Session 4 Chair(s): Adrian Francalanza, Jorge A. Pérez

In recent decades, various countries have enacted laws for protecting the privacy of individuals, one such example being the European General Data Protection Regulation (GDPR). The notion of purpose plays a crucial role in these regulations. However, in most situations purposes are expressed as vague textual descriptions, which often prevents (i) the user from fully understanding how their data is going to be processed, and (ii) a precise analysis that a system satisfies a given (GDPR-based) privacy policy. To address this shortcoming, various works have been concerned with providing semantic foundations to the notion of purpose. In this work, we pursue the same goal and we advocate the use of behavioral types as a means of capturing the notion of a purpose and, consequently, the use of type checking to formally verify that a system conforms to its privacy policy. We instantiate this proposal in the context of our previous work on the Privacy calculus.

Sun 13 Jan

beat-2019-papers
16:00 - 18:25: BEAT 2019 - Session 4 at Sala VII
Chair(s): Adrian FrancalanzaUniversity of Malta, Jorge A. PérezUniversity of Groningen, The Netherlands
beat-2019-papers16:00 - 16:50
Talk
beat-2019-papers16:50 - 17:10
Talk
Evangelia VaneziUniversity of Cyprus, Dimitrios KouzapasUniversity of Cyprus, Anna PhilippouUniversity of Cyprus
beat-2019-papers17:10 - 17:30
Talk
Daniele Nantes-SobrinhoUniversity of Brasília, Brazil, Jorge A. PérezUniversity of Groningen, The Netherlands
beat-2019-papers17:30 - 17:40
Break
beat-2019-papers17:40 - 18:00
Talk
Søren DeboisIT University of Copenhagen, Thomas H. Hildebrandt, Hugo LópezIT University of Copenhagen, Denmark & DCR Solutions A/S
Media Attached
beat-2019-papers18:00 - 18:20
Talk
Carlos Mão de FerroLASIGE, Faculty of Sciences, University of Lisbon, Francisco MartinsLaSIGE, University of Lisbon, Tiago CogumbreiroUniversity of Massachusetts Boston
File Attached
beat-2019-papers18:20 - 18:25
Day closing
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands