@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 }