DEF CON occupe une place particulière dans le monde de la cybersécurité. Depuis plus de trente ans, la conférence rassemble à Las Vegas chercheurs en sécurité, hackers, ingénieurs et spécialistes de la sécurité offensive venus présenter leurs découvertes, leurs outils et leurs travaux devant une communauté internationale particulièrement exigeante. Être sélectionné pour y présenter ses recherches constitue donc une reconnaissance importante. Cette année, Jonathan « endrazine » Brossard, CTO de MOABI, était de nouveau speaker à DEF CON avec une conférence consacrée à ses derniers travaux : Witchcraft Solver: Automated 0day Discovery in Stripped Binaries. Partir d’un binaire et rechercher automatiquement des vulnérabilités Le problème auquel s’attaque Witchcraft Solver est simple à formuler, mais considérablement plus difficile à résoudre. Prenons un logiciel compilé dont nous ne possédons pas le code source. Les symboles ont été supprimés et aucun environnement spécifique n’a été préparé pour faciliter son analyse. Comment rechercher automatiquement des vulnérabilités dans ce logiciel et progresser jusqu’à l’obtention d’une preuve de concept ? C’est précisément l’objectif des travaux présentés par Jonathan à DEF CON. Witchcraft Solver propose une chaîne automatisée combinant plusieurs techniques avancées de recherche en cybersécurité. Le binaire est d’abord transformé afin de permettre son analyse sous une représentation intermédiaire LLVM. Une première analyse permet ensuite de réduire le nombre de cibles pertinentes avant de faire intervenir en parallèle plusieurs moteurs de vérification formelle. Les résultats obtenus alimentent ensuite des techniques de fuzzing dirigé et d’exécution concolique afin de confronter les vulnérabilités potentielles au comportement réel du programme et de progresser vers des preuves de concept concrètes. L’enjeu n’est donc pas simplement de détecter une anomalie. Il s’agit de réduire progressivement la distance entre un binaire inconnu et la démonstration qu’un comportement vulnérable existe réellement. Confronter la recherche aux logiciels réels Un autre aspect important des travaux présentés concerne leur application à des environnements représentatifs de la réalité industrielle. Selon les résultats présentés par Jonathan, l’approche multi-architecture étudiée a été confrontée à un corpus de 39 364 binaires ELF de production et permet de prendre en charge différentes architectures, notamment ARM64, ARMv7, RISC-V et s390x. La chaîne a également été testée sur une vulnérabilité connue de libjpeg-turbo, CVE-2023-2804. Dans l’expérimentation présentée, l’utilisation de SymQEMU permet d’obtenir un premier crash en 25 minutes à partir d’un binaire stripped, sans disposer du code source. Ces travaux explorent ainsi une question particulièrement importante pour la recherche en sécurité : jusqu’où pouvons-nous automatiser des tâches historiquement réservées à des experts disposant de compétences avancées en reverse engineering et en analyse de vulnérabilités ? Un enjeu qui dépasse largement la recherche académique Cette problématique possède également une dimension industrielle évidente. Les produits numériques modernes sont constitués de nombreux composants. Logiciels propriétaires, bibliothèques open source, firmwares, composants tiers et développements fournisseurs coexistent au sein de systèmes dont la complexité ne cesse d’augmenter. Et l’entreprise qui utilise ou intègre ces composants ne possède pas nécessairement leur code source. Pourtant, elle doit pouvoir évaluer leur sécurité. Cette problématique devient particulièrement importante dans les environnements industriels, embarqués ou critiques, où certains équipements peuvent rester en production pendant de nombreuses années et intégrer des composants provenant de multiples fournisseurs. L’analyse du logiciel tel qu’il est réellement livré devient alors essentielle. C’est aussi ce qui rend la recherche en analyse binaire particulièrement intéressante : elle permet de travailler directement sur l’artefact final, sans dépendre nécessairement de l’environnement de développement qui l’a produit. Un retour à DEF CON qui compte particulièrement Cette intervention s’inscrit dans une histoire déjà longue entre Jonathan Brossard et DEF CON. Jonathan y avait précédemment présenté ses recherches autour de BitLocker et TrueCrypt en 2008, Rakshasa en 2012, puis ses travaux autour de la Witchcraft Compiler Collection en 2016. Son retour en 2026 avec Witchcraft Solver poursuit donc près de vingt ans de contributions et de travaux autour de la sécurité offensive, du reverse engineering et de la recherche de vulnérabilités. Son parcours l’a également conduit à présenter ses recherches dans plusieurs conférences internationales majeures du monde industriel et académique, parmi lesquelles Black Hat, CCC, HITB, IEEE, USENIX et ACM. Il finalise aujourd’hui un doctorat consacré au reverse engineering au CNAM, où il a également enseigné pendant plusieurs années. Pour MOABI, voir notre CTO revenir présenter ses recherches à DEF CON constitue naturellement une grande fierté. Mais au-delà de la reconnaissance individuelle, cette intervention illustre surtout une conviction : développer des technologies avancées de cybersécurité nécessite de maintenir un lien étroit entre recherche, expérimentation et problèmes industriels réels. Comprendre profondément les logiciels, explorer de nouvelles méthodes d’analyse, automatiser ce qui semblait difficilement automatisable et confronter les résultats à la communauté internationale font partie de cette démarche. La recherche ne doit pas rester confinée aux laboratoires ou aux conférences. Elle prend tout son sens lorsqu’elle permet progressivement de répondre à des problématiques concrètes de sécurité. Après 2008, 2012 et 2016, Jonathan Brossard était donc de retour à DEF CON en 2026. Avec, cette fois, une question particulièrement ambitieuse : jusqu’où peut-on automatiser la recherche de vulnérabilités lorsque tout ce dont on dispose est le binaire ?