Team Proval

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

Section: Contracts and Grants with Industry

System@tic: PFC

Participants : Jean-Christophe Filliâtre, Claude Marché, Christine Paulin-Mohring, Nicolas Stouls.

The PFC project (Plateforme de Confiance, trusted platforms) is a project in the SYSTEM@TIC Paris Region French cluster in complex systems design and management . This cluster involves industrial groups, SMEs and academic partners in the Paris-Region and is supported by the french government and the regional council.

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.

This project is funded by the french ministry of industry (FCE) for 30 month from December 2006 to May 2009.


Logo Inria