Cette formation s’adresse aux ingénieurs et chercheurs qui souhaitent approfondir leur connaissance en analyse de code de niveau binaire. Elle a pour objectif de sensibiliser à différents scénarios ciblant des propriétés de sécurité de code, allant des vulnérabilités logicielles aux attaques physiques et micro-architecturaux, en passant par la rétro-ingénierie et l’appropriation de code propriétaire, tout en montrant comment les méthodes formelles peuvent être adaptées pour répondre à ces problématiques. Les différentes propositions seront illustrées au travers de cas pratiques permettant de découvrir la plateforme open-source d’analyse de code binaire BINSEC ainsi que de faire un tour d’horizon d’autres outils standards.
- Theoretical Foundations
- Module