@inproceedings{narayan-2015-verdp,
  author = {Arjun Narayan and Ariel Feldman and Antonis Papadimitriou and Andreas Haeberlen},
  title = {Verifiable Differential Privacy},
  booktitle = {Proceedings of EuroSys 2015},
  location = {Bordeaux, France},
  month = apr,
  year = 2015
}