Site officiel du LSV

Invited talks

10/11/2015: Regards Croisés, Cachan Providing solutions for more secure exchanges
25/08/2015: Lecture at VTSA summer school, Koblenz, Germany. Verification of security protocols: from confidentiality to privacy (Part 1, Part 2),
9/04/2015: Sasefor meeting, Cachan Analysing privacy-type properties in cryptographic protocols
20/03/2015: Seminar Deducteam, Paris Analysing privacy-type properties in cryptographic protocols
14/01/2015: Seminar at GREYC, Caen Analysing privacy-type properties in cryptographic protocols

20/11/2012: Regards Croisés, Cachan Providing solutions for more secure exchanges
11/10/2012: SECSI Working group -- Presentation of the VIP project
09/2012: Exposé lors de la conférence de rentrée, ENS Cachan -- Ces protocoles qui nous protègent
14/03/2012: CAPPRIS meeting, Paris -- Analysing privacy-type properties using formal methods
18/04/2014: Séminaire lors des Journées Régionales de l'APMEP, Rouen -- Ces protocoles qui nous protègent
19/01/2012: SECSI Working group -- Analysing routing protocols: four nodes topologies are sufficient

30/09/2010: SECSI Working group -- A Formal Analysis of Authentication in the TPM
Lecture at SecVote (joint lecture with S. Kremer), University Residential Center of Bertinoro, Italy -- Modelling and verifying e-voting protocols in applied-pi calculus

21/05/2008: Exposé lors de la remise des prix des Olympiades de Mathématiques, Cachan, France -- Les protocoles cryptographiques: comment sécuriser nos communications ?
14/03/2008: French-Japanese Workshop, Loria, Nancy -- Safely composing security protocols via Tagging
25/02/2008: Seminar at UCL, Louvain-La-Neuve -- Safely composing security protocols via Tagging

18/12/2006: Seminar at LIAFA, University Paris 7 -- Modelling and verifying privacy-type properties of electroning voting protocols
28/11/2006: Computer Security Lecture, School of Computer Science, University of Birmingham -- Proofs of Knowledge
30/10/2006: Computer Security Reading Group, School of Computer Science, University of Birmingham -- Security via constraint solving
13/03/2006: Seminar at LACL, University of Créteil -- Verification of Security Protocols in presence of Equational Theories with Homomorphism
13/02/2006: Seminar at LIAFA, University Paris 7 -- Verification of Security Protocols in presence of Equational Theories with Homomorphism