Aller au menu Aller au contenu
Thèmes de recherche
Thèmes de recherche

> Thèmes > Sécurité des systèmes embarqués et distribués critiques > Projets et thèses

Projets et thèses CTSYS

Projets en cours

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

Projets passés

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).

 

Thèses en cours (au sein du LCIS)

  • 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".

Thèses soutenues

  • 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.

Rédigé par Laurent Guilloton

mise à jour le 19 octobre 2018

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes