Section: Partnerships and Cooperations
International Initiatives
Inria Associate Teams Not Involved in an Inria International Labs
LOGIS
-
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
-
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
-
Project title: Concurrency, Logic and Algebra for Social and Spatial Interactive Computation.
-
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
-
Project title: Foundational Approach to Cognition in Today?s Society.
-
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.