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-ChristopheMARCHÉ Claude
