Les co-encadrements sont explicitement signalés.

Thèse :

• 2008-2011 : Thèse de Doctorat de Ansem Ben-Cheikh (Bourse région) sur la prise en compte du profil des utilisateurs dans une démarche d'ingénierie de SI centrée processus, avec une application au domaine des transports publics. Les données personnelles utilisées das les processus entraînent des problèmes de confidentialité. Co-encadrée avec Agnès FRONT (LIG - équipe SIGMA) et Jean-Pierre GIRAUDIN (LIG - équipe SIGMA).
  
• 2004-2007 : Thèse de Doctorat de Romuald Thion (Allocataire-Moniteur) soutenue le 17 Juin 2008 : "Structuration relationnelle des politiques de contrôle d'accès : représentation, raisonnement et vérification logiques". Co-encadrée avec André FLORY. Poursuite en post-doctorat à l'INRIA Alpes (Grenoble) dans l'équipe de Daniel Le Métayer.

Master Recherche / DEA :

• 2003 : DEA de Mohammed Zaoudi : "Interrogation des bases de données distribuées d'objets mobiles", Poursuite d'études à l'Université de Technologie de Troyes en Cycle Ingénieur.
• 2004 : DEA de Romuald Thion, Major du DEA DISIC : "Contrôle d'accès pour les modèles à classes en environnement pervasif". Poursuite en Thèse au LIRIS.
• 2005 : DEA de Hossam Al Din Jumaa : "Sécurité des accès mobiles - Expression des contraintes d’accès dans les modèles à classes". Poursuite en Thèse au LIRIS dans une autre équipe.
• 2006 : Mastère recherche (de l'Université de Jendouda, Tunisie) de Oussama Selmi : "Réalisation d'un multi-index pour la propagation du contrôle d'accès dans un dossier médical distribué", co-encadré avec Christine VERDIER.
• 2007 : Mastère recherche Lyon de Viet-Nga Pham sur l'inférence de structure et l'annotation automatique dans les documents semi-structurés, co-encadré avec Jean-Marc PETIT.
• 2007 : Mastère recherche Lyon de Youssef Matar sur l'implantation optimisée de la recherche de dépendances d'inclusion, co-encadré avec Jean-Marc PETIT
• 2008 : Mastère recherche Lyon de Longchrea NEAK, "Transforming Software Technical Requirement Specification from Legacy Document to Semantic XML Document", co-encadré avec Jean-Marc PETIT
• 2008 : Mastère recherche Lyon de CHAGHERI Samaneh, "Towards Log Monitoring with Pub/sub Systems" co-encadré avec Jean-Marc PETIT

Projets de Fin d'Etudes :

• cf Page sur les Prototypes, auquel il faut rajouter dans le cadre su projet SERBER :
  
• 2004 : Walter Raymond et Blandine Ho-Ting , "Conception d'une plate-forme d'enseignement scénarisée"
• 2005 : Vincent Ferran-Lacome, "Mise en oeuvre d'un scénario d'attaque réseau"
• 2006 : Guillaume Zekian et Florence Micol, "Mise en place d'un scénario sur la plate-forme Serber"
• et plus récemment :
  
• 2007 : Mathieu Bridon, "Etude et implantation d'un protocole datagramme caché"
• 2008 : Romain Cuenot, "Détection de violations de la vie privée dans les sites web"
• 2008 : Quang Trung Nguyen et Eric Dubreuil, "Hébergements et infogérances confidentielles"
  

Stage ingénieur CNAM :

• 2007-2009 : Christophe Caille, "Les bases de données d’Hippocrate au service de la confidentialité des données en milieu médical", co-encadré avec Jean-Marc PETIT

Membre de Jury de Thèse :

• Octobre 2008, Nicolas Arnaud, "Fiabiliser la réutilisation des patrons par une approche orientée complétude, variabilité et généricité des spécifications", Examinateur