On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

We introduce an automata model for describing interesting classes of differential privacy mechanisms/algorithms that include known mechanisms from the literature. These automata ca…