Data Minimisation: A Language-Based Approach

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01648986
Contributor : Hal Ifip <>
Submitted on : Monday, November 27, 2017 - 10:30:51 AM
Last modification on : Monday, November 27, 2017 - 10:34:22 AM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2020-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Thibaud Antignac, David Sands, Gerardo Schneider. Data Minimisation: A Language-Based Approach. 32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.442-456, ⟨10.1007/978-3-319-58469-0_30⟩. ⟨hal-01648986⟩

Share

Metrics

Record views

54