Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Toccata
PFC

Industriel
Jan 2007 - Jun 2009

Group : Toccata
Principal investigator : PAULIN-MOHRING Christine

Administrator : 
Affiliation : INRIA

Trusted Platforms

The goal of the project is the conception and validation of secure and
safe embedded applications. Within this project, we closely collaborate with Gemalto, CEA-LIST and Trusted Logic.
We proposed a plugin of the Frama-C platform which transforms high-level security properties into pre and post-conditions.

Research activities

Participants
FILLIÂTRE Jean-Christophe
MARCHÉ Claude


Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° NEXT
NEXT