Security & privacy column
Matteo Maffei · ACM SIGLOG News · 2016
We continue to discuss on differential privacy, one of the central privacy definitions in the modern literature. After the great introduction to the topic provided by Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Marco Stronati, we are ready to dive into the fascinating connection between differential privacy and programming languages. Given the increasing deployment of differential privacy in modern systems and the complexity of the respective security proofs, the challenge emerged in the last years is how to streamline the verification task.