TY  - RPRT
TI  - LightDP: Towards Automating Differential Privacy Proofs
AU  - Danfeng Zhang
AU  - Daniel Kifer
PY  - 2016
DO  - 10.1145/3009837.3009884
UR  - https://arxiv.org/abs/1607.08228
ID  - 1607.08228
ER  -