Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub. Relational ⋆⋆\star-Liftings for Differential Privacy. Logical Methods in Computer Science, 15(4), 2019. [doi]
@article{BartheEHSS19,
title = {Relational ⋆⋆\star-Liftings for Differential Privacy},
author = {Gilles Barthe and Thomas Espitau and Justin Hsu and Tetsuya Sato and Pierre-Yves Strub},
year = {2019},
url = {https://lmcs.episciences.org/5989},
researchr = {https://researchr.org/publication/BartheEHSS19},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {15},
number = {4},
}