>_BINTRACE

Traçabilité et validation de binaires

Dans de nombreux contextes opérationnels, les binaires déployés sont les seuls artefacts disponibles pour l'analyse, l'audit et la vérification de conformité. La protection, l'audit et la traçabilité doivent donc inclure des vérifications explicites sur les artefacts finaux, plutôt que de se reposer uniquement sur des hypothèses au niveau du code source.

Les attaques de la chaîne d'approvisionnement logicielle ("supply chain") exploitent systématiquement ce point aveugle : en compromettant des composants tiers, des chaînes de compilation ou des canaux de distribution, un attaquant peut injecter du code malveillant ou vulnérable qui atteint les systèmes déployés. Les attaques XZ Utils (2024), SolarWinds (2020) ou 3CX (2023) illustrent ce constat : dans chaque cas, le binaire livré était le dernier, et parfois le seul, niveau où la modification était objectivement présente et détectable.

BINTRACE développe des méthodes et outils pour valider de façon incrémentale les mises à jour de binaires, à partir d'une première version de confiance, en établissant un chemin de certification jusqu'à la version courante. Le projet combine la construction automatique de "deltas" sémantiques entre deux versions d'un binaire, la reconstruction sémantique et la détection de vulnérabilités et de portes dérobées, avec un objectif fort de passage à l'échelle industrielle.

• Binary diffing
• Supply chain security
• Reverse engineering
• Vulnerability detection
• Semantic analysis
• Software traceability