Data minimisation: A language-based approach
Paper in proceeding, 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, Computer Science and Engineering (Chalmers)

David Sands

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Gerardo Schneider

University of Gothenburg

IFIP Advances in Information and Communication Technology

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

Vol. 502 442-456

2nd International Conference on ICT Systems Security and Privacy Protection, IFIP SEC 2017,
Rome, Italy,

Subject Categories

Computer and Information Science



More information

Latest update

7/5/2021 1