@misc{indiciae03f718dea1c9,
  title = {Formal Verification of Differential Privacy for Interactive Systems},
  author = {Michael Carl Tschantz and Dilsun Kaynar and Anupam Datta},
  year = {2011},
  url = {https://arxiv.org/abs/1101.2819},
  note = {Source identifier: 1101.2819}
}