Sécuriser le logiciel du téléphone portable au système d'information

Le projet TrustMySoft sécurise le logiciel qu'il soit dans un téléphone portable, dans une console de jeu, dans un dispositif industriel ou un système d'information. Le projet est basé sur la technologie Frama-C déjà déployée dans les domaines aéronautique et nucléaire. Le projet vise à développer des solutions permettant de supprimer complètement des familles entières de failles de sécurité qui peuvent servir actuellement à des pirates. L'équipe propose d’amener le haut niveau de sécurité des domaines aéronautique et nucléaire dans tous les autres logiciels. Ainsi des équipements comme un téléphone, un compteur électrique intelligent, le système de distribution d'électricité pourront bénéficier des apports de sa technologie.