Vers l'automatisation des analyses de vulnérabilités – TAVA

L'Internet des Objets ouvre de nouvelles possibilités de cyber-attaques massives
à travers l'utilisation d'objets compromis. Les méthodes de développement
manuelles ne sont pas suffisantes pour faire face au danger croissant que ces
menaces représentent. Il est donc nécessaire de faire appel à des methodes
automatiques de détection de vulnérabilités, notamment dans le cadre de
processus de certification. Les techniques actuellement à l'état de l'art
(fuzzing, exécution symbolique) sont confrontées à trois principaux défis:
la détection de vulnérabilités complexes, l'évaluation de la criticité des
vulnérabilités détectées (prenant en compte les capacités de l'attaquant)
et le passage à l'échelle.

TAVA combine les techniques les plus avancées des méthode formelles, statiques
et symboliques, et de la sécurité pour détecter et analyser efficacement des
vulnérabilités complexes. Ce projet donnera lieu à trois principaux résultats:

- du point de vue scientifique : il établira un cadre d'analyse de programmes
résolument orienté vers la recherche de vulnérabilités -- contrairement aux
approches existantes dédiées à la recherche de bugs -- comprenant de nouveaux
résultats théoriques et algorithmiques et des outils capables de prendre en
compte à la fois des modèles d'attaquant spécifiques et des notions
d'exploitabilité ;

- du point de vue technologique : il développera AVABOX, un boîte à outils
pour l'évaluation et la certification de logiciels IoT, offrant des
fonctionnalités uniques en terme d'analyse de vulnérabilités et de modèles
d'attaquant. De plus, AVABOX étant construit sur la plateforme open-source
BINSEC, TAVA permettra de consolider fortement cette dernière, avec l'ambition
d'en faire une plateforme de référence pour l'analyse de code binaire;

- du point de vue de la valorisation : AMOSSYS bénéficiera pleinement du projet
pour améliorer sa ligne de produits et de services grace à AVABOX. En particulier
il évaluera l'intérêt de cette approche sur des études de cas représentatives
d'analyses de sécurité dans l'IoT et proposera des recommandations pour une
intégration productive des outils dans le processus de certification
(schémas de Critères Communs, CSPN, et futurs schémas européens).