Voici un éventail des présentations que j'ai fait durant ma thèse et en tant qu'ATER
 

• exposé de thèse, le 20 décembre 2003

 
•  présentation de l'outil Timbuk dans l'équipe Mostrare à Lille

 
•  présentation chez Thomson R&D à Rennes à propos de la vérification du protocole SmartRight

 
•  présentation pour un séminaire Lande à l'Irisa sur l'induction implicite

 
• présentationà Grenoble au Vérimag en 2002 à propos de verification de protocoles cryptographiques

 
•  présentation lors du séminaire Lande 2001 à propos de mon stage de DEA