Team Parsifal

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Other Grants and Activities

Actions nationales

Rossignol: Project ACI Securité

Participant : Dale Miller.

The project ROSSIGNOL started in 2003 and includes the following participants: LIF (responsable: D. Lugiez), INRIA Futurs (responsable: C. Palamidessi), LSV (responsable: F. Jacquemard), VERIMAG (responsable: Y. Lakhnech).

ROSSIGNOL focuses on the foundations of Security Protocols. The goal of this project is the development of abstract models, simple enough to be used for the definition of a comprehensible semantics for the language of security properties. In particular, the project focuses on probabilistic models.

Geocal: ACI-Nouvelles interfaces des mathematiques

Participants : David Baelde, Joëlle Despeyroux, Dale Miller, Alexis Saurin, Lutz Straßburger, Axelle Ziegler.

GeoCal collects together 10 research terms in logic, theoretical computer science, and algebraic topology. This team involves LDP (Institut de Mathématiques de Luminy), PPS (Preuves, Programmes, Systèmes, Paris VII), LIF (Laboratoire d'Informatique Fondamentale, modélisation et vérification, Marseille), LIPN (Laboratoire d'Informatique de Paris Nord), LSV (Laboratoire Spécification et Vérification, ENS Cachan), LIP (Laboratoire d'Informatique du Parallélisme, PLUME), INRIA-Futurs, Institut de Mathématiques et Modélisation de Montpellier LORIA (CALLIGRAMME), and INRIA-Sophia (MIMOSA).


Logo Inria