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.