Team mimosa

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Other Grants and Activities

National initiatives

ACI Sécurité Informatique ALIDECS

Frédéric Boussinot is participating in the ACI Sécurité Informatique ALIDECS whose coordinator is Marc Pouzet. The ACI started october 2004. Paricipants are Lip6 (Paris), Verimag (Grenoble), Pop-Art (Inria Rhône-Alpes), Mimosa (Inria Sophia) and CMOS (LaMI Évry). The objective is to study an integrated development environment for the construction and use of safe embedded components.

ACI Sécurité Informatique CRISS

This action started in July 2003. The participants are, besides Mimosa and the Laboratoire d'Informatique Fondamentale of Marseilles, the LIPN from Paris (Villetaneuse) and the INRIA project Calligramme from LORIA in Nancy. Roberto Amadio is the coordinator of the CRISS action. Its main aim is to study security issues raised by mobile code.

ACI Nouvelles Interfaces des Mathématiques GEOCAL

Roberto Amadio and Gérard Boudol are participating in this action. The other teams are the LMD Marseilles Luminy (coordinator), PPS Paris, LCR Paris Nord, LSV Cachan, LIP Lyon (PLUME team), INRIA Futurs, IMM Montpellier, and LORIA Nancy ( Calligramme project).

ACI Sécurité Informatique ROSSIGNOL

Roberto Amadio is participating in this action (started in July 2003), the topic of which is the verification of cryptographic protocols. The action involves the participation of INRIA Futurs, LSV Cachan, and VERIMAG Grenoble.

ARA Sécurité, Systèmes embarqués et Intelligence Ambiante, Cops

Silvano Dal Zilio is participating in this action that has started in September 2005. The other teams are IRIT (coordinator), MoVe from the LIF, and the LORIA projects CASSIS and ECOO.

ACI Masses de données TraLaLA

Silvano Dal Zilio is participating in this action. The other teams are the LIENS ENS Paris (coordinator), LRI Orsay, INRIA Futurs Projet GEMO, and LIFL and INRIA Futurs projet MOSTRARE.


previous
next

Logo Inria