Professeur à Grenoble INP (Polytech) et Membre du Laboratoire Verimag
Adresse postale :
CS 40700 F-38058 Grenoble Cedex 9 Bureau : 279 Téléphone : +33 4 57 42 22 05 Adresse électronique : Cet e-mail est protégé contre les robots collecteurs de mails, votre navigateur doit accepter le Javascript pour le voir |
 |
Habilitation à diriger des Recherches [document]
CV détaillé [document]
Publications [Détaillées] [DBLP] [HAL]
Prix et distinctions
- CRiSIS'23 Best Paper award: A Process-Centric Approach to Insider Threats Identification in Information Systems. Akram Idani, Yves Ledru and German Vega
- TTC'19 Award of Best Verification: Meeduse tool
- TTC'19 3rd Audiance Award: Meeduse tool
- ESSE'21 Best Presentation
- Meeduse : Atelier de conception formelle de DSLs.
- B4MSecure : B for Modeling Secure Information Systems.
