@inproceedings{McIver_Morgan_19,
    author           = {McIver, Annabelle and Morgan, Carroll},
    booktitle        = {Programming Languages and Systems},
    editor           = {Lin, Anthony Widjaja},
    isbn             = {978-3-030-34175-6},
    pages            = {3--18},
    paperurl         = {https://trustworthy.systems/publications/papers/McIver_Morgan_19.pdf},
    publisher        = {Springer International Publishing},
    title            = {Proving that Programs Are Differentially Private},
    year             = {2019}
  }