Microarchitectural Side-Channel Attacks and Hardware Trojan Horses: Detection and Defense in RISC-V Processors

This course provides advanced training on two critical security threats affecting microprocessorbased systems: Microarchitectural Side-Channel Attacks (MSCAs) and Hardware Trojans (HTs). Hands-on experience with gem5 and Vivado, two professional-grade tools widely used in academia and industry for microprocessor simulation and hardware design will be provided. The course emphasizes applying Machine Learning (ML) and Probabilistic Data…

Formal Methods based on Abstract Interpretation and Symbolic – Execution for Vulnerability Detection Tools

This course introduces formal methods for building and evaluating vulnerability detection tools, bridging concepts from abstract interpretation (AI) and symbolic execution (SE). It covers foundational theory, including program semantics, soundness, and completeness, to understand issues of static analyzers and concepts like false positives and negatives in security. The course explores abstract interpretation and symbolic execution…

Analyse de sécurité au niveau binaire avec BINSEC

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…

Introduction à la sécurisation dans l’edge

Cette formation par la pratique propose une introduction à la sécurisation à l’edge. Elle aborde l’implémentation de fonctionnalités de sécurité personnalisables et hautement performantes. Elle permet aux apprenants de comprendre la théorie sous-tendant la programmation dans l’edge et plus particulièrement au niveau du plan de données, de comprendre et de réfléchir de façon critique aux…

Advanced Threat Detection with eBPF and Hypervisors

Cette formation a pour objectif de présenter un état de l’art sur la détection des menaces avancées impliquant des logiciels malveillants appelés rootkits ainsi que les exploits de privilèges. Elle aborde successivement, les techniques offensives, la détection via des sondes eBPF utile pour détecter des séquences suspectes et la détection au niveau hyperviseur.

Architectures et protocoles des IoV/UAV : enjeux de cybersécurité et mécanismes de protection

Ce module de formation explore la cybersécurité des environnements mobiles et autonomes que sont l’Internet des véhicules (IoV) et les drones (UAV), en mettant l’accent sur leurs architectures distribuées et sur les protocoles de communication qui les structurent. Il analyse les spécificités de ces systèmes, à savoir forte mobilité, contraintes temps réel, autonomie opérationnelle et…

Les graphes en cybersécurité

Cette formation présente l’utilisation des graphes et des réseaux de neurones de graphes (GNN) pour la cybersécurité. Elle vise à montrer comment les graphes permettent de modéliser les systèmes d’information, les flux réseau, les relations entre entités et événements, afin de mieux comprendre et détecter les menaces. Les participants apprennent à appliquer les GNN pour…

IA Générative pour la Sécurité Offensive et Défensive

Cette formation vise à doter les apprenants d’une compréhension approfondie, à la fois théorique et pratique, des enjeux et des méthodes de cybersécurité offensive et défensive à l’ère de l’IA générative. Elle permettra aux participants de maîtriser les concepts fondamentaux des modèles de langage (LLM), tout en les confrontant à leurs limites, risques et usages…

Fuzzing de protocoles – application aux dispositifs embarqués

Ce module s’inscrit dans le domaine de la cybersécurité des systèmes embarqués et plus particulièrement dans la sécurité de l’IoT industriel. Il s’appuie sur l’état de l’art scientifique dans ce domaine. Les campagnes de tests par fuzzing sont aujourd’hui déployées dans de nombreux secteurs. Elles permettent de découvrir et donc de corriger de potentielles vulnérabilités…

Sécurité Réseaux à l’ère du Machine Learning

Ce module présente les menaces, les risques, les vulnérabilités que les réseaux informatiques et leur utilisation au quotidien impliquent. Puis, les réseaux sans fil et les protocoles de communication, le paradigme IoT et les vulnérabilités des technologies de communication sont présentés. Le Machine Learning est abordé en tant qu’évolution pour la sécurité des réseaux mais…