Section: Partnerships and Cooperations

International Initiatives

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

• Giovanni Cherubin, Royal Holloway, University of London, UK

• Geoffrey Smith, Florida International University, USA

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

EPIC

• Program: STIC-Amsud.

• Project acronym: EPIC.

• Project title: EPistemic Interactive Concurrency/

• Duration: Oct 2016 - Oct 2019.

• URL: https://sites.google.com/site/sticamsudepic/

• Coordinator: Frank Valencia, CNRS-LIX and Inria Saclay.

• Other PI's and partner institutions: Carlos Olarte, Universidade Federal do Rio Grande do Norte, Brazil. Camilo Rueda, Universidad Javeriana de Cali, Colombia.

• Abstract: The aim of the project is to coherently combine and advance the state of the art of domains such as concurrency theory, information theory and rewriting systems for reasoning about social networks.