|
VERIMAG est une
unité de recherche du CNRS (INS2I), de l'INPG, et de l'UJF
et fait partie de la fédération IMAG. Elle est un des leaders du domaine des systèmes embarqués et vise à produire des outils
théoriques et techniques pour permettre le développement de systèmes embarqués de qualité maîtrisée, et ce à des coûts compétitifs.
Le groupe « Sécurité » fait partie de l’équipe DCS (Ditributed Complex Systems) du laboratoire
Verimag. Cette équipe développe des méthodes et outils pour l’aide à la conception des systèmes
complexes à fortes contraintes extra-fonctionnelles comme temps d’exécution, mémoire, sécurité.
Le groupe « Sécurité » a des compétences dans les domaines suivants : Vérification de protocoles
de sécurité, Sécurité prouvable, Génie logiciel pour la sécurité, Certification, Critères Communs,
Analyse de code pour la sécurité (Non-interférence et flux d’information), Compilation validée pour
les systèmes embarqués.
Dans le cadre du projet SHIVA, le groupe « Sécurité » de Verimag contribue
à la validation des solutions retenues et propose des outils d’aide à leur conception. Plus précisément ceci concerne
les protocoles de communication, les mécanismes pour garantir l’intégrité et la confidentialité des
données sensibles (par exemple clefs) en prenant en compte les attaques par canaux cachés, la
cohérence entre les modèles utilisés pour la conception et leur implémentation en accord avec une
démarche critères communs.
|
