Sophie DUPUIS

Bâtiment : Bâtiment 4, Étage 0

Bureau : E2.05

Téléphone : +33 4 67 14 97 52

Fax : +33 4 67 41 85 00

Email : Sophie.Dupuis@lirmm.fr

Statut : Permanent

Publications / Pages web

Recherche

Projets de Recherche

  • Projet ANR MOOSIC (2018-2022) : The MOOSIC project proposes a framework dedicated to security that can be integrated into the conventional IC design flow. The goal is to take into account, as early in the design phase, both countermeasures against HTs and performance, to ensure that the SoC behavior is guaranteed despite untrusted IPs vendors or foundry. Towards this objective, the project envisions to establish and evaluate security properties and then integrate them during synthesis with multi-objective optimization techniques, which will be built on a mathematical modeling of the problem that takes into account both the performance and the HTs‘ effects.It is indeed necessary to find a good compromise between the level of security sought after and performance.
  • Projet EUREKA PENTA HADES (2017-2020) : The HADES project aims at providing a hierarchy-aware smart and secure embedded test infrastructure for dependability and performance enhancement of integrated systems. In order to achieve this ambition goal, HADES will move forward from the classic design and post-silicon fabrication test approach to a new, efficient, scalable and low-cost on-line paradigm (website).
  • Projet FUI HOMERE (2012-2016) : Le projet HOMERE est un projet de recherche industriel qui a pour but de développer des techniques assurant la confiance dans les circuits intégrés fabriqués dans des fonderies non-dignes de confiance. HOMERE se focalise sur la recherche de nouvelles méthodes non-destructives de détection des virus de type « chevaux de troie », et sur l’amélioration de méthodes connues. HOMERE propose également des méthodes de conception de circuits intégrés permettant de faciliter la neutralisationdes « chevaux de troie ».

Encadrement de Thèses

  • Emanuele Valea (2017-2020) : Securing testing infrastructures
  • Papa-Sidy Ba (2013-2016) : Détection et Prévention de Chevaux de Troie Matériels par des Méthodes Orientées Test Logique

Activités de Recherche

Reviews Conférences/Journaux

  • Conférence: ITC, VTS, DTIS, ISCAS, MWSCAS, NEWCAS
  • ACM Journal of Emerging Technologies in Computing Systems, IEEE Access, IEEE Transactions on Circuits and Systems II: Express Briefs, IEEE Transactions on Informations Forensics and Security, Elsevier Integration, the VLSI Journal, Elsevier Microelectronics Journal, International Journal of Electronics and Communications

Encadrement de stages/projets

  • Projets Etudiants de M1 EEA : 3 (2016)
  • Projets Etudiants de M2 EEA : 1 (2016)
  • Stages Etudiants Etranger : 1 City University of Hong-Kong (2015)

Enseignement

Responsabilités d'Enseignement

  • Responsable de l'Année Spéciale GEII (de 2014-2015 à 2016-2017)
  • Co-responsable des projets tutorés (de 2015-2016 à 2017-2018)
  • Modules :
    • Responsable du modules "Circuits Programmables", DUT GEII / S4 (depuis 2014-2015)
    • Responsable du module "Circuits Programmables",  Licence Mécatronique (depuis 2014-2015)
    • Co-responsable du module "Système d'Information Numérique", DUT GEII / S1 (depuis 2013-2014)
    • Co-responsable du module "Informatique", DUT GEII / S1 (en 2014-2015 et 2015-2016)
    • Responsable du module "Réseau", Année Spéciale GEII (en 2015-2016 et 2016-2017)

Enseignements

DUT GEII

  • S1 : Systèmes d'Information Numérique (depuis 2011-2012), Informatique (depuis 2011-2012), Etudes et Réalisation (en 2015-2016 et 2016-2017)
  • S2 : Informatique Embarqué (de 2011-2012 à 2013-2014), Automatique (en 2013-2014)
  • S3 : Programmation Orientée Objet (depuis 2013-2014), Réseau (depuis 2013-2014)
  • S4 : FPGA (depuis 2014-2015), Systèmes d'exploitation embarqué (depuis 2015-2016), Etudes et Réalisation (en 2016-2017)

Année Spéciale GEII

  • Réseau (en 2015-2016 et 2016-2017)

Licence Mécatronique

  • FPGA (depuis 2014-2015)

Encadrement de projets tuteurés

  • 2013 : Jeu "Casse Briques" en langage C/SDL
  • 2014 : Jeux "Mario" et "Space Invader" an langage C/SDL
  • 2015 : Jeux "Démineur", "Candy Crush", et "Bubble Bobble" en langage C/SDL
  • 2017 : Jeu "Columns" en langage C/SDL

CV

Expérience

  • Depuis sept 2011 : Maitre de conférences, LIRMM-UM/CNRS
  • Mars 2011 - Août 2011 : Post Doctorat, CEA
  • Sept 2010 - Février 2011 : Ingénieur de recherche, LIP6 
  • Sept 2008 - Août 2010 : ATER, LIP6-UPMC

Diplômes

  • 2009 : Thèse de doctorat, spécialité Informatique, intitulée "Optimisation Automatique des Chemins de Données Arithmétiques par l’Utilisation des Systèmes de Numérations Redondants", UPMC
  • 2004 : DEA Architecture des Systèmes Intégrés et Micro-Electronique, UPMC
  • 2003 : Maitrise EEA, UPMC
  • 2002 : Licence EEA, UPMC
  • 2001 : DEUG MIAS, UPEC

Mots-clés

Hardware Security, Design for Hardware Trust, Hardware Trojans

Dernière mise à jour le 20/09/2018