Hubert Comon-Lundh supervised Sergiu Bursuc, a 3rd year PhD student working on the verification of security protocols. Since august 2007, S. Bursuc is co-supervised by S. Delaune.
Hubert Comon-Lundh and Stéphanie Delaune co-supervised Vincent Cheval, master student working on verification of equivalence based security properties. He started a PhD in Fall 2009.
Stéphanie Delaune and Jean Goubault-Larrecq supervised Mathilde Arnaud (co-advisor Véronique Cortier, LORIA) who started her PhD in Fall 2008 on verification of ad-hoc routing security protocols.
Stéphanie Delaune and Graham Steel co-supervised Morten Dahl (5 month intern from University of Aalborg), project `Analysing Privacy Properties of VANET Protocols'.
Steve Kremer and Ralf Treinen supervised Antoine Mercier who started his PhD in Fall 2006 on the automatic verification of group protocols and defended his PhD in Dec. 2009.
Steve Kremer and Jean Goubault-Larrecq supervised Ştefan Ciobâcă (co-advisor Véronique Cortier, LORIA) who started his PhD in Fall 2008 on the automatic verification of equivalence properties.
Graham Steel co-supervised Gavin Keighren (PhD student, Edinburgh), provisional thesis title: Information Flow techniques for API Analysis. Submission expected October 2010.