Proposition de Thèses, Post-Doc et Stages dans l'équipe Ctsys

Propositions de Post-Doc ou CDD

 

Thèses (PhD)

 

Stages (Internships)

RTL/TLM Equivalence Methodology for Verifying High Level Fault Model Realism

Static analysis of programs for micro-architecture aware fault models

Decentralized Machine Learning Security for IoT Localization Systems​​​​​​​

Développement d’un simulateur cyber-physique d’une plateforme de localisation en intérieur sécurisée pour analyse de vulnérabilités et évaluation de contremesures / Development of a cyber-physical simulator of an indoor localization platform for vulnerability analysis and countermeasure evaluation

Analyse des critères de couverture de test pour les applications mobiles et
les applications sensibles au contexte

Définition d’un modèle pour le test des applications mobiles par le
crowdsourcing

Test de Systèmes Multi-Agents (SMA) embarqués

Mise en œuvre d'une attaque par canaux de test et proposition de contre-mesures au niveau RTL (Set-up of scan based attacks and RT level countermeasures evaluation)