@misc{indiciae483c52800a42, title = {Relational \$\textbackslash{}star\$-Liftings for Differential Privacy}, author = {Gilles Barthe and Thomas Espitau and Justin Hsu and Tetsuya Sato and Pierre-Yves Strub}, year = {2019}, doi = {10.23638/lmcs-15(4:18)2019}, url = {https://arxiv.org/abs/1705.00133}, note = {Source identifier: 1705.00133} }