TY  - RPRT
TI  - Proving Expected Sensitivity of Probabilistic Programs
AU  - Gilles Barthe
AU  - Thomas Espitau
AU  - Benjamin Grégoire
AU  - Justin Hsu
AU  - Pierre-Yves Strub
PY  - 2017
DO  - 10.1145/3158145
UR  - https://arxiv.org/abs/1708.02537
ID  - 1708.02537
ER  -