Valentina Castiglioni, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi. A Logical Characterization of Differential Privacy via Behavioral Metrics. In Kyungmin Bae, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Volume 11222 of Lecture Notes in Computer Science, pages 75-96, Springer, 2018. [doi]
@inproceedings{CastiglioniCP18,
title = {A Logical Characterization of Differential Privacy via Behavioral Metrics},
author = {Valentina Castiglioni and Konstantinos Chatzikokolakis 0001 and Catuscia Palamidessi},
year = {2018},
doi = {10.1007/978-3-030-02146-7_4},
url = {https://doi.org/10.1007/978-3-030-02146-7_4},
researchr = {https://researchr.org/publication/CastiglioniCP18},
cites = {0},
citedby = {0},
pages = {75-96},
booktitle = {Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
editor = {Kyungmin Bae and Peter Csaba Ölveczky},
volume = {11222},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-02146-7},
}