This is a list of presentations I made.

1. [pdf ] Second Preimage Attacks on Dithered Hash Functions (Eurocrypt'2008) Istanbul, Turkey, April 2008
2. [pdf ] Sécurité et preuves de sécurité des fonctions de hachage (in french, Master's defense) Paris, France, September 2007
3. [ppt, pdf ] Using First-Order Theorem Provers in Data Structure Verification (Verification, Model Checking and Abstract Interpretation 2007 - VMCAI'07). Nice, France, January 2007
4. [ppt, pdf ] Theorem proving and data structure verification (spring-summer 2006 Internship in MIT CSAIL, Cambridge, USA). Ecole Normale Superieure de Cachan, September 2006
5. [ppt, pdf] Using First-Order Theorem Provers in Data Structure Verification. MIT, august 2006
6. [ppt - 10 Mo !] Parallelizations of iterative loops (in french, summer 2005 Internship in ID-IMAG lab., Grenoble). Ecole Normale Superieure de Cachan, September 2005