Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Monitoring Data Minimisation   Data minimisation is a privacy enhancing principle, stating that personal
data collected should be no more than necessary for the specific purpose
consented by the user. Checking that a program satisfies the data minimisation
principle is not easy, even for the simple case when considering deterministic
programs-as-functions. In this paper we prove (im)possibility results
concerning runtime monitoring of (non-)minimality for deterministic programs
both when the program has one input source (monolithic) and for the more
general case when inputs come from independent sources (distributed case). We
propose monitoring mechanisms where a monitor observes the inputs and the
outputs of a program, to detect violation of data minimisation policies. We
show that monitorability of (non) minimality is decidable only for specific
cases, and detection of satisfaction of different notions of minimality in
undecidable in general. That said, we show that under certain conditions
monitorability is decidable and we provide an algorithm and a bound to check
such properties in a pre-deployment controlled environment, also being able to
compute a minimiser for the given program. Finally, we provide a
proof-of-concept implementation for both offline and online monitoring and
apply that to some case studies.

23
The categories of this paper are: solv-int
32
The categories of this paper are: atom-ph
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex