Data minimisation: A language-based approach
Artikel i vetenskaplig tidskrift, 2017

© IFIP International Federation for Information Processing 2017.Data minimisation is a privacy-enhancing principle considered as one of the pillars of personal data regulations. This principle dictates that personal data collected should be no more than necessary for the specific purpose consented by the user. In this paper we study data minimisation from a programming language perspective. We define a data minimiser as a pre-processor for the input which reduces the amount of information available to the program without compromising its functionality. We give its formal definition and provide a procedure to synthesise a correct data minimiser for a given program.


Thibaud Antignac

Chalmers, Data- och informationsteknik

David Sands

Chalmers, Data- och informationsteknik, Datavetenskap

Gerardo Schneider

Göteborgs universitet

IFIP Advances in Information and Communication Technology

1868-4238 (ISSN) 1868-422X (eISSN)

Vol. 502 442-456


Data- och informationsvetenskap