@misc{indiciaeab3e0f8e3e79,
  title = {Fuzzi: A Three-Level Logic for Differential Privacy},
  author = {Hengchu Zhang and Edo Roth and Andreas Haeberlen and Benjamin C. Pierce and Aaron Roth},
  year = {2019},
  url = {https://arxiv.org/abs/1905.12594},
  note = {Source identifier: 1905.12594}
}