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]
Abstract is missing.