EN FR
EN FR


previous Previous | up Home | Next next


Section: Partnerships and Cooperations

International Initiatives

Inria-MSR joint lab

Privacy-Friendly Services and Apps

  • Title: Privacy-Friendly Services and Applications

  • Inria principal investigator: Catuscia Palamidessi

  • International Partners:

    • Cedric Fournet, Microsoft Research Lab, Cambridge, UK

    • Andy Gordon, Microsoft Research Lab, Cambridge, UK

  • Duration: 2014 - 2016

  • 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

LOGIS

  • Title: Logical and Formal Methods for Information Security

  • Inria principal investigator: Konstantinos Chatzikokolakis

  • International Partners:

    • Mitsuhiro Okada, Keio University (Japan)

    • Yusuke Kawamoto, AIST (Japan)

    • Tachio Terauchi, JAIST (Japan)

    • Masami Hagiya, University of Tokyo (Japan)

  • Start year: 2016

  • URL: http://www.lix.polytechnique.fr/~kostas/projects/logis/

  • Abstract: The project aims at integrating the logical / formal approaches to verify security protocols with (A) complexity theory and (B) information theory. The first direction aims at establishing the foundations of logical verification for security in the computational sense, with the ultimate goal of automatically finding attacks that probabilistic polynomial-time adversaries can carry out on protocols. The second direction aims at developing frameworks and techniques for evaluating and reducing information leakage caused by adaptive attackers.

Inria International Partners

Informal International Partners

  • Geoffrey Smith, Florida International University (United States)

  • Carroll Morgan, NICTA (Australia)

  • Annabelle McIver, Maquarie University (Australia)

  • Moreno Falaschi, Professor, University of Siena, Italy

  • Mario Ferreira Alvim Junior, Assistant Professor, Federal University of Minas Gerais, Brazil

  • Camilo Rueda, Professor, Universidad Javeriana Cali, Colombia

Participation in Other International Programs

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.

PACE

  • Program: ANR Blanc International

  • Project title: Beyond plain Processes: Analysis techniques, Coinduction and Expressiveness

  • Duration: January 2013 - December 2016

  • URL: http://perso.ens-lyon.fr/daniel.hirschkoff/pace/

  • Coordinator: Daniel Hirschkoff, Ecole Normale Supérieure de Lyon

  • Other PI's and partner institutions: Catuscia Palamidessi, Inria Saclay, Frank Valencia, CNRS-LIX and Inria Saclay (France). 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

  • Program: ANR Blanc International

  • Project title: Logical Approach to Novel Computational Paradigms

  • Duration: January 2012 - December 2016

  • URL: http://www.agence-nationale-recherche.fr/?Project=ANR-11-IS02-0002

  • Coordinator: Gilles Dowek, Inria Rocquencourt

  • 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

  • Program: CNPq Science Without Borders.

  • Project title: Music and Spatial Interaction with Constraints, Algebra and Logic: Foundations and Applications.

  • Duration: Oct 2014 - Oct 2016

  • 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.

CLASSIC

  • Program: Colciencias - Conv. 712.

  • Project title: Concurrency, Logic and Algebra for Social and Spatial Interactive Computation.

  • Duration: Oct 2016 - Oct 2019

  • URL: http://goo.gl/Gv6Lij

  • Coordinator: Camilo Rueda PUJ Cali (Colombia).

  • Other PI's and partner institutions: Carlos Olarte, Universidade Federal do Rio Grande do Norte (Brazil). Frank Valencia, CNRS-LIX and Inria Saclay (France).

  • Abstract:This project will advance the state of the art of domains such as mathematical logic, order theory and concurrency for reasoning about spatial and epistemic behaviour in multi-agent systems..



previous Previous | up Home | Next next