Vendredi 19
Projets de recherche
Véronique Legrand
› 14:10 - 14:30 (20min)
BINSEC : analyse sémantique au niveau binaire pour la sécurité
Sébastien Bardin  1@  , Richard Bonichon  1, *@  
1 : Commissariat à l'Energie Atomique et aux Energies Alternatives  (CEA LIST)
Université de Franche-Comté
Paris Saclay -  France
* : Auteur correspondant

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é.

 


Personnes connectées : 1