Invited talks

2017

2016

2015

2014

2013

2012

2011

  • Seminar at « Collège de France », Paris, May 18th, 2011.
  • Invited speaker at TOSCA 2011, Theory of Security and Applications, affiliated with ETAPS 2011, March 31st and April 1st, 2011.
  • Invited lecture at STACS 2011, Symposium on Theoretical Aspects of Computer Science, Dortmund, Germany, March 12th, 2011.
  • Invited talk at the Seminar « Security and Formal Methods, Rennes, January 21th, 2011.

2010

  • Lecture at FOSAD 2010, International School on Foundations of Security Analysis and Design, Bertinoro, Italy. September 6-11, 2010.
  • Tutorial at MOVEP 2010, Summer school on modeling and verifying parallel processes, Aachen, Germany. June 28th – July 2nd, 2010.
  • Invited talk at VERIFY 2010, 6th International Verification Workshop, Edinburgh, UK, July 20–21, 2010. (slides)

2009

2008

2007

2006

2005

  • Relations between abstract and probalistic models of cryptographic protocols, Nancy-Saarbrücken workshop Nancy, France, October 14th, 2005.
  • Vérifier les protocoles cryptographiques, Journée Sécurité Informatique à l’IRIT, Toulouse, France, September 29th 2005.
  • Les protocoles cryptographiques : comment sécuriser nos communications ?, séminaire de rentrée du département informatique de l’ENS de Cachan, Cachan, France, September 15th, 2005.
  • Verification of cryptographic protocols: techniques, tools and link to cryptanalysis, French-Japanese Symposium on Security Tokyo, Japan, September 6th, 2005.
  • Computationally sound security proof using formal models, seminar at the Institut, für Informatik und Praktische Mathematik, Kiel, Germany, June 2005.
  • La cryptographie : comment sécuriser nos communications ?, scientific popularization, « Les Jeudis du CNRS« , Marseille, France, May 2005.
  • Verification of cryptographic protocols: relating computational and formal models, course at the Spring Security School, Marseille, France, April 2005. (slides)
  • Computationally sound security proof using formal models, seminar SIF, Nancy, France, March 2005.

2004

  • Protocoles cryptographiques, comment assurer leur sécurité ?, seminar MIM ENS Lyon, France, octobre 2004.
  • Protocoles cryptographiques, comment assurer leur sécurité ?, seminar at the École Doctorale de Marseille, France, octobre 2004.
  • Vérification automatique des protocoles cryptographiques, seminar SPACES, Nancy, France, January 2004.
  • Vérification automatique des protocoles cryptographiques, Specif Award, Lille, France, January 2004.

2003

2002

  • Vérification des protocoles cryptographiques, seminar Irisa, Rennes, France, October 2002.
  • Vérification des protocoles cryptographiques, seminar SIF, Nancy, France, October 2002.
  • Security properties: two agents are sufficient, Journée SLOVO, Orléans, France, September 2002.

2001

2000