Some talks

Some invited Talks

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.

2009

Verification of Security Protocols (invited tutorial). Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'09), January 18-20, 2009, Savannah, GA, USA (co-located with POPL 2009).

2008

Verifying security protocols. Workshop in Honour of Hubert Comon-Lundh, November 18–19, 2008. Cachan, France.
Verification techniques for cryptographic protocols. International Conference on Rewriting Techniques and Applications (RTA'08), July 15-17, 2008. Hagenberg, Austria.
On the use of formal models for proving cryptographic security notions. LSV Seminar, Cachan, France, May 6th, 2008.
Building secure protocols. Fourth Taiwanese-French Conference on Information Technology (TFIT'08), Taipei, Taiwan, March 3-5, 2008.

2007

Vérification formelle des protocoles cryptographiques : construction de protocoles et lien avec la cryptographie. LACL Seminar, Créteil, France, 23 avril 2007.
On the use of formal models for proving cryptographic security notions. 7th International Workshop on Issues in the Theory of Security (WITS'07), Braga, Portugal, 24 March 2007.
Vérification formelle des protocoles cryptographiques : lien avec la cryptanalyse. LIAFA Seminar, Paris, France, 19 mars 2007.
Vérification des protocoles cryptographiques : techniques et lien avec la cryptanalyse. CLI Seminar "Complexité, Logique et Informatique", Paris, France, 13 février 2007.

2006

Verification of cryptographic protocols: techniques and link to cryptanalysis. Sixth International Workshop on Automated Verification of Critical Systems (Avocs 2006), Nancy, France, 19 septembre 2006.
On the use of formal models for proving cryptographic security notions. Special Session on Formal Approaches to Security. Information-MFCSIT'06 conference, Cork, Irland, August 2006.
When reachability-based secrecy implies equivalence-based secrecy in security protocols. Artist 2 Workshop on Specification and Verification of Secure Embedded Systems, Pisa, Italy, May 18th 2006.
Intervention au Salon du livre, dans le cadre du Bar des Sciences, Paris, March 17th 2006 on the following subject: Où va la recherche en France? Des jeunes chercheurs témoignent.
Computationally Sound Security Proof using Formal Models, Cryptography Seminar, Rennes, January 27th 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

New decidability results for fragments of first-order logic, seminar of the Computer Science Department of the University of California at Santa Cruz (USA), November 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

Proving secrecy is easy enough, seminar at Verimag, Grenoble, France, October 2001.
Proving secrecy is easy enough, seminar of SRI International Computer Science Laboratory (California, USA) May 2001.

2000

Tree automata with one memory, set constraints and ping-pong protocols, seminar of SRI International Computer Science Laboratory (California, USA) November 2000.

Last modified on January 22nd, 2010.