Section: Partnerships and Cooperations

National Initiatives

• Program: ANR Blanc

• Project title: Reliable and Privacy-Aware Software Systems via Bisimulation Metrics

• Duration: October 2016 - September 2021

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

• Other PI's and partner institutions: Ugo del Lago, Inria Sophia Antipolis (EPI Focus) and University of Bologna (Italy). Vincent Danos, ENS Paris. Filippo Bonchi, ENS Lyon.

• Abstract: In this project we investigate quantitative notions and tools for proving program correctness and protecting privacy. In particular, we focus on bisimulation metrics, which are the natural extension of bisimulation on quantitative systems. As a key application, we will develop a mechanism to protect the privacy of users when their location traces are collected.

• Program: PEPS I3A

• Project title: Machine Games for Information Protection

• Duration: February 2018 - December 2018

• Coordinator: Konstantinos Chatzikokolakis, CNRS (EPI Comète) and Ecole Polytechnique

• Other PI's and partner institutions: Giovanni Cherubin, EPFL, Switzerland. Serge Haddad, ENS Cachan.

• Abstract: In this project, we study a Machine Learning approach to develop methods for the Protection of Private Information. The idea is based on the Generative Adversarial Network (GAN) paradigm: the defender and the attacker are modeled as two adversaries in a game, where the payoff is the attacker’s acquisition of the user’s private data by exploiting the system vulnerabilities, side information, and probabilistic inference.