Projets et thèses CTSYS

SERENE-IoT (Projet Européen PENTA, 2017-2020)

SERENE_IoT project aims at contributing to develop high quality connected care services and diagnosis tools based on Advanced Smart Health-Care IoT devices

IRT Nanoelec - Programme Pulse (CEA Leti, 2017-2020)

Sécurité du cycle de vie d’un objet cyber-physique
Évaluation par prototypage virtuel et analyse statique de la sécurité des systèmes matériels et logiciels face aux attaques laser

Pack Ambition Recherche 2017 (projet Région AURA - 2017-2022)

Evaluation de la sûreté des systèmes aéronautiques grâce aux plateformes virtuelles

LIESSE (ANR 2012-2016)

Effets laser et fautes sur les circuits intégrés dédiés à la sécurité

BLUESKY (FUI Minalogic 2012-2015)

Conception et validation de services embarqués sur des réseaux d'automates programmables (Java embarqué, programmation synchrone, test logiciel).

ARTEco (BQR INP 2010-2013)

Applications à base de Réseaux de Capteurs Tolérants aux fautes & énergétiquement économiques (sûreté de fonctionnement, test, diagnostic).

SafeRFID (ANR Jeune Chercheur 2010-2014)

Amélioration de la robustesse de systèmes RFID (modélisation, test, diagnostic, tolérance aux fautes).

SEMBA (Région Rhône-Alpes)

Animation de la communauté scientifique "systèmes embarqués" en Rhône-Alpes.
Projet "Sûreté de fonctionnement dans les applications à base de réseaux de capteurs" (2010-2012, projet CEDRE en collaboration avec l'Université Libanaise - laboratoire LASTRe

SIESTA (ANR 2007)

Test de systèmes synchrones (programmation synchrone, SCADE, test de couverture, génération de tests).

 

• Cyril Bresh et Elnaz Kazemi, "Développement de nouveaux systèmes embarqués sécurisés pour des applications médicales"
• Johan Laurent, "Analyse de vulnérabilité cross-layer de code embarqué contre les attaques laser"
• Julie Roux, "Analyse de robustesse corss-layer par simulation de fautes sur plateforme virtuelle"
• Baptiste Pestourie, "Sécurisation d'une solution de géolocalisation UWB"
• Abderrahmane Sensaoui, "Etude et implémentation de mécanismes de protection d’exécution d’applications embarquées"
• Arash Nejat, "Hardware Support for System Security: From Design for Test to Design For Trust".

• Ayoub Soury, "Modélisation et évaluation de la sûreté de fonctionnement d’une architecture en réseau critique : application à une nouvelle génération d’ascenseur".
• Jérémy Dubeuf, "Conception et Evaluation de blocs matériels cryptographiques sécurisés".
• Khadija Hadj-Salem, "Techniques avancées d'optimisation pour la conception de systèmes de vision embarquée".
• Manel Charfi, "Conception d'une architecture de monitoring de bâtiment destiné à l’habitat ayant pour objectif de réduire la consommation d’énergie en prenant en compte les usagers et leurs usages". 21/09/2017
• Anthony Gelibert, "Plate-forme ouverte pour la traçabilité d'environnements confinés". Université de Grenoble. 27/10/2016.
• Omar Abdelmalek, "Conception et prototypage d'une architecture de tag UHF robuste". Université de Grenoble. 21/10/2016.
• Thanos Papadimitriou, "Émulation FPGA d'attaques Laser contre des circuits intégrés sécurisés". Université de Grenoble. 27/06/2016.
• Mouna Tka, "Test d'automates localement synchrones dans un contexte globalement asynchrone". Université de Grenoble. 02/06/2016
• Noémie Boher, "Évaluation et amélioration de la sécurité des circuits intégrés analogiques.". Université de Grenoble, 30/01/2015.
• Etienne Gandrille, "Adaptation autonomique d'applications pervasives dirigée par les architectures". Université de Grenoble, 12/12/2014.
• Rafik Kheddam, "Sûreté de fonctionnement au sein de middleware RFID". Université de Grenoble, 9/4/2014.
• Denis Morand, "Un framework pour le développement d'applications de médiation autonomiques". Université de Grenoble, 5/11/2013.
• Yves Grasland, "Test fonctionnel de propriétés hybrides". Université de grenoble, 21/2/2013.
• Dima Hamdan, "Détection et diagnostic des fautes dans des systèmes à base de réseaux de capteurs sans fils". Université de Grenoble, 20/2/2013.
• Gilles Fritz, "Simulation de fautes pour l'évaluation du test en ligne des systèmes RFID". Université de Grenoble, 10/12/2012.
• Fassely Doumbia, "Contribution à l'analyse de testabilité des systèmes réactifs temps réel : Aide à la validation et à la vérification de systèmes". Université de Grenoble, 2/3/2010.
• Youssef Serrestou, "Optimisation de la qualité de la vérification fonctionnelle par analyse de mutation". Grenoble INP, 8/12/2008.
• Yves Joannon, "Qualification et génération automatiques de stimuli pour le test de systèmes analogiques mixtes et RF". Grenoble INP, 11/4/2008.
• Xuan-Tu Tran, "Méthode de test et conception en vue du test pour les NoCs Asynchrones". Grenoble INP, 12/2/2008.
• Huy Vu Do, "Conception testable et test de logiciels flots de données". Grenoble INP, 10/2006.