Data minimisation: A language-based approach
Journal article, 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.

Author

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

Subject Categories

Computer and Information Science

DOI

10.1007/978-3-319-58469-0_30

ISBN

9783319584683

More information

Latest update

2/21/2018