 |
BINSEC : analyse sémantique au niveau binaire pour la sécurité
1 : Commissariat à l'Energie Atomique et aux Energies Alternatives
(CEA LIST)
* : Auteur correspondant
Université de Franche-Comté
Paris Saclay -
France
Le proje ANR BINSEC (2013-2017) vise à développer des analyses formelles au niveau binaire, pour faciliter des analyses de sécurité délicates devant se faire au niveau du code exécutable.
Nous dressons un panorama des résultats principaux du projet, notamment la plate-forme open-source BINSEC et quelques analyses et études cas en reverse et détection de vulnérabilité.
