Marie-Laure POTET   

Professor at Ensimag VERIMAG batiment IMAG 700, avenue centrale, D.U. 38401 Saint Martin d'Hères Phone: + (33) 4 57 42 22 38 Office: 281 To reach us

Mail: Marie-Laure.Potet@univ-grenoble-alpes.fr

Position

• Professor at Ensimag, Grenoble INP - UGA
  

Research activities

• Vulnerability code analysis and exploitability
  
• Fault injection and code analysis
• Verification of safety and security properties
• Securized compilation and countermeasures
  
• Security modelling and tools for high levels security evaluation
  
• Correct-by-design development and compositional refinement

Publications

Some tools :

•   The FISSC collection access
•   The Lazart webpage

Projects :

• PEPR Cybersécurité/ARSENE Architectures Sécurisées pour le Numérique Embarqué) (2022-2026)(ANR-22-PECY-0006.Site web
• PEPR Cybersécurité/SECUREVAL Améliorer l'évaluation de la sécurité des systèmes numériques (2022-2026) (ANR-22-PECY-0005)
• Projet ANR TAVA Toward Automated Vulnerability Analyses (2021-2024)
  
• FUI SecurIoT (2017-2020) : Site Web
• ASTRID Sacade (2017-2020) : Scénarios d'Attaque Contre Automates avec distribution et Encapsulation.
  
• PEPS SISC ASSI (2016, 2017) : Analyse de Sécurité de Systèmes Industriels
• ASTRID Sertif (2014-2016) : Simulation pour l’Evaluation de la RobusTesse des applications embarquées contre l’Injection de Fautes.
  
• PIA Sécurité Numérique ARAMIS (2014-2018) : Architecture Robuste pour les Automates et Matériels des Infrastructures Sensibles (ATOS Worldgrid, CEA Leti;   Seclab ; Université Grenoble Alpes)
• ANR BINSEC (2013-2017) : BINary code analysis for SECurity. Site Web
• SCOPAS (MSTIC UJF, 2012-2013) : perturbation et analyse structurelle pour la sécurité de code embarqué
  
• ANR Sesur LISE (2008-2012) : Liability Specification. Partenaires: Inria Rhones-Alpes, AMAZONES INSA-Lyon, DANTE (Université de Versailles), PrINT (Université de Caen), Vérimag
• Projet Minalogic SHIVA (2010-2012) : Secured Hardware Immune Versatile Architecture
• Vulcain (MSTIC UJF, 2009-2010), Detection of software vulnerabilities
• ARC CeProMi (2008-2010)
• RNTL précompétitif POSE  (2006-2008): Test de conformité de politiques de sécurité de systèmes enfouis.
  
• ACI Geccoo  (2003-2006) : Génération de code certifié pour des aplications orientés objet
  
• ACI Potestat (2004-2007): Politiques de sécurité - Test et analyse par le test de systèmes en réseau ouvert
  
• RNTL précompétitif BOM (2001-2003) : B Optimisant la Mémoire.
  
• RNTL précompétitif COTE ( 2000-2002) : TEst de COmposants