Quel sera mon rôle ?
Basée sur l’hyperviseur XEN, l’objectif du stage est de faire une preuve de concept visant à garantir que les exécutions de différentes applications sont totalement sécurisées les unes par rapport aux autres.
Vous aurez pour mission de :
- Identifier les contraintes de développement pour des applications sécuritaires
- Configurer et mettre en œuvre Framework SEL4 sur une carte cible
- Concevoir une ou plusieurs applications sécurisées faisant appel à l’hyperviseur
- Éprouver la sécurité et la capacité de l’environnement
- Établir une feuille de route des activés nécessaires pour créer un environnement SEL4 spécifique LGMI/ARELIS