Section: Partnerships and Cooperations
International Initiatives
Inria-MSR joint lab
Privacy-Friendly Services and Apps
-
URL: http://www.msr-inria.fr/projects/privacy-friendly-services-and-apps/
-
Abstract: This is a project sponsored by Microsoft Research Lab, on methods to preserve privacy in web services and location-based services.
Inria Associate Teams
PRINCESS
-
URL: http://www.lix.polytechnique.fr/comete/Projects/Princess/
-
Abstract: PRINCESS is an Inria associated team focusing on the protection of privacy and confidential information. In particular, we study the issues related to the leakage of confidential information through public observables.
We aim at developing a meaningful notion of measure in order to quantify the leakage of information, and to design mechanisms to limit the amount of leakage, without interfering too severely with the utility of the information that is meant to be disclosed.
The main topics currently investigated are quantitative information flow, where we are developing a decision-theoretic approach, and differential privacy, where we are developing an extension which lifts the basic notion of privacy meant for databases to arbitrary domains.
Inria International Partners
Informal International Partners
-
Mario Ferreira Alvim Junior, Assistant Professor, Federal University of Minas Gerais, Brazil
-
Charles Carroll Morgan, Professor, University of New South Wales, Australia
-
Daniel Gebler, PhD student at the Free University of Amsterdam, The Netherlands
-
Camilo Rueda, Professor, Universidad Javeriana Cali, Colombia
Participation In other International Programs
PACE
-
Project title: Beyond plain Processes: Analysis techniques, Coinduction and Expressiveness
-
Coordinator: Daniel Hirschkoff, Ecole Normale Supérieure de Lyon
-
Other PI's and partner institutions: Catuscia Palamidessi, Inria Saclay. Davide Sangiorgi, University of Bologna (Italy). Yuxi Fu, Shanghai Jiao Tong University (China).
-
Abstract: This project objective is to enrich and adapt these methods, techniques, and tools to much broader forms of interactive models, well beyond the realm of "traditional" processes.
LOCALI
-
Project title: Logical Approach to Novel Computational Paradigms
-
URL: http://www.agence-nationale-recherche.fr/?Project=ANR-11-IS02-0002
-
Other PI's and partner institutions: Catuscia Palamidessi, Inria Saclay. Thomas Erhard, Paris VII. Ying Jiang , Chinese Academy of Science in Beijin (China).
-
Abstract: This project aims at exploring the interplays between logic and sequential/distributed computation in formalisms like the lambda calculus and the calculus. Going back to the fundamentals of the definitions of these calculi, the project plans to design new programming languages and proof systems via a logical approach.
MUSICAL
-
Project title: Music and Spatial Interaction with Constraints, Algebra and Logic: Foundations and Applications.
-
URL: http://cic.puj.edu.co/~caolarte/musical/Musical/Welcome.html
-
Coordinator: Elaine Pimentel, Universidade Federal do Rio Grande do Norte (Brazil),
-
Other PI's and partner institutions: Camilo Rueda, PUJ Cali (Colombia). Carlos Olarte, Universidade Federal do Rio Grande do Norte (Brazil). Frank Valencia, CNRS-LIX and Inria Saclay (France). Gerard Assayag, IRCAM (France).
-
Abstract: This multi-disciplinary project aims to develop and integrate tools from logic and concurrency theory for the design and analysis of reactive systems and to their application to musical processes and multimedia systems.