@misc{indiciae50d2fd8fc27d,
  title = {Deciding Differential Privacy for Programs with Finite Inputs and Outputs},
  author = {Gilles Barthe and Rohit Chadha and Vishal Jagannath and A. Prasad Sistla and Mahesh Viswanathan},
  year = {2020},
  doi = {10.1145/3373718.339479},
  url = {https://arxiv.org/abs/1910.04137},
  note = {Source identifier: 1910.04137}
}