Team Proval

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

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 http://www.systematic-paris-region.org . 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.


previous
next

Logo Inria