Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Linear Time Decidability of Differential Privacy for Programs with
  Unbounded Inputs   We introduce an automata model for describing interesting classes of
differential privacy mechanisms/algorithms that include known mechanisms from
the literature. These automata can model algorithms whose inputs can be an
unbounded sequence of real-valued query answers. We consider the problem of
checking whether there exists a constant $d$ such that the algorithm described
by these automata are $d\epsilon$-differentially private for all positive
values of the privacy budget parameter $\epsilon$. We show that this problem
can be decided in time linear in the automaton's size by identifying a
necessary and sufficient condition on the underlying graph of the automaton.
This paper's results are the first decidability results known for algorithms
with an unbounded number of query answers taking values from the set of reals.

14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
19
The categories of this paper are: eess
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas