Section: Partnerships and Cooperations

Regional Initiatives

Projects funded by Digiteo-DigiCosme

OPTIMEC

• Project title: Optimal Mechanisms for Privacy Protection

• Duration: September 2016 - August 2019

• Coordinator: Catuscia Palamidessi, Inria Saclay, EPI Comète

• Other PI's: Serge Haddadm ENS Cachan.

• Abstract: In this project we plan to investigate classes of utility and privacy measures, and to devise methods to obtain optimal mechanisms with respect to the trade-off between utility and privacy. In order to represent the probabilistic knowledge of the adversary and of the user, and the fact that mechanisms themselves can be randomized, we will consider a probabilistic setting. We will focus, in particular, on measures that are expressible as linear functions of the probabilities.

D-SPACES

• Project title: D-spaces : Distributed Spaces in Concurrent Epistemic Systems

• Duration: Nov 2013 - Oct 2016

• Coordinator: Frank Valencia, CNRS-LIX and Inria Saclay, EPI Comète

• Other PI's: Stefan Haar ENS Cachan.

• Abstract: In this project we developed an innovative and expressive computational model for these systems that coherently combines techniques for the analysis of concurrent systems such as process calculi with epistemic and spatial formalisms.