Section: Partnerships and Cooperations

National Initiatives

REPAS

• 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 aim at investigating quantitative notions and tools for proving program correctness and protecting privacy. In particular, we will 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.