EN FR
EN FR


Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams Not Involved in an Inria International Labs

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: January 2019 - December 2021.

  • 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

  • Geoffrey Smith, Florida International University, USA

  • Carroll Morgan, NICTA , Australia

  • Annabelle McIver, Maquarie University, Australia

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

  • Camilo Rueda, Professor, Universidad Javeriana de Cali, Colombia

  • Carlos Olarte, Universidade Federal do Rio Grande do Norte, Brazil

  • Camilo Rocha, Associate Professor, Universidad Javeriana de Cali, Colombia

Participation in Other International Programs

CLASSIC
  • Program: Colciencias - Conv. 712.

  • Project acronym: CLASSIC.

  • 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, Universidad Javeriana de Cali, Colombia.

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

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

FACTS
  • Program: ECOS NORD.

  • Project acronym: FACTS.

  • Project title: Foundational Approach to Cognition in Today?s Society.

  • Duration: Jan 1 2019 - Dec 31, 2021.

  • URL: https://goo.gl/zVhg32

  • Coordinator: Frank Valencia, Ecole Polytechnique.

  • Other PI's and partner institutions: Jean-Gabriel Ganascia LIP6, Sorbonne University and Camilo Rueda, Universidad Javeriana de Cali, Colombia.

  • Abstract: This projects aims at studying the phenomenon of “Group Polarization”; the tendency for a group to learn or acquire beliefs or to make decisions that are more extreme than the initial inclinations of its members.