Deciding Differential Privacy for Programs with Finite Inputs and Outputs.

Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan

Browse the full LICS paper archive.