1.1k citations · 2.1k across the 73 of their papers we have counts for
3 papers · 1 filter
A Predictive Differentially-Private Mechanism for Mobility Traces
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
With the increasing popularity of GPS-enabled hand-held devices, location-based applications and services have access to accurate and real-time location information, raising seriou…
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi
Catuscia Palamidessi
The Asynchronous pi-calculus, proposed by Honda and Tokoro (1991) and, independently, by Boudol (1992), is a subset of the pi-calculus (Milner, 1992) which contains no explicit ope…
Preserving differential privacy under finite-precision semantics
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
The approximation introduced by finite-precision representation of continuous data can induce arbitrarily large information leaks even when the computation using exact semantics is…