1.1k citations · 2.1k across the 73 of their papers we have counts for
4 papers · 1 filter
Geo-Indistinguishability: Differential Privacy for Location-Based Systems
Miguel E. Andrés, Nicolás E. Bordenabe, Konstantinos Chatzikokolakis +1
The growing popularity of location-based systems, allowing unknown/untrusted servers to easily collect huge amounts of information regarding users' location, has recently started r…
Hide and New in the Pi-Calculus
Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus represent…
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems
Catuscia Palamidessi, Marco Stronati
Differential privacy is a modern approach in privacy-preserving data analysis to control the amount of information that can be inferred about an individual by querying a database.…
A non-local method for robustness analysis of floating point programs
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
Robustness is a standard correctness property which intuitively means that if the input to the program changes less than a fixed small amount then the output changes only slightly.…