Quelques lignes d'instructions dissimulées dans un logiciel : il n'en faut pas plus pour corrompre la sécurité d'un système. Au centre Inria Rennes-Bretagne Atlantique, une équipe de recherche étudie comment des méthodes formelles pourraient permettre une analyse du code binaire afin d'en améliorer la lisibilité et ainsi mieux repérer les programmes malveillants qui s'y cacheraient. Ces travaux sont menés avec DGA Maîtrise de l’information, l’établissement rennais de la Direction générale de l’armement (DGA).
Lire la suite sur le site de l'
INRIA
