TY  - RPRT
TI  - Proving Differential Privacy with Shadow Execution
AU  - Yuxin Wang
AU  - Zeyu Ding
AU  - Guanhong Wang
AU  - Daniel Kifer
AU  - Danfeng Zhang
PY  - 2019
DO  - 10.1145/3314221.3314619
UR  - https://arxiv.org/abs/1903.12254
ID  - 1903.12254
ER  -