Presentations

The links named "Keynote" correspond to the slides made with Apple Keynote.

Year 2016

  • 30 June: Conference CSF 2016, Lisboa, Portugal -- 5 min talk: How the internal communication of the applied-pi calculus is messing with equivalence properties -- PDF - Keynote

Year 2015

  • 17 April: Conference POST 2015, London, UK -- Timing attacks: symbolic framework and proof techniques -- Keynote
  • 26 February : Seminar University of Edinburgh, Edinburgh, UK - Timing attacks: symbolic framework and proof techniques -- Keynote

Year 2014

  • 06 September : Conference TGC 2014, Roma, Italie -- Tests for establishing security properties -- PDF - Keynote
  • 11 April: Conference TACAS 2014, Grenoble, France -- APTE: an Algorithm for Proving Trace Equivalence -- PDF
  • 05 April: Workshop HotSpot 2014, Grenoble, France -- Timing attacks: symbolic framework and proof techniques -- PDF - Keynote
  • 02 April : Seminar LORIA, Nancy, France -- DTKI, a new formalised PKI with no trusted parties -- PDF - Keynote

Year 2013

  • 19 March : Conference POST 2013, Rome, Italie -- Proving more observational equivalences with ProVerif -- PDF - Keynote
  • 22 February : Seminar INRIA Paris-Rocquencourt, Paris, France -- Automatic tools to prove privacy-type properties -- PDF - Keynote
  • 5 February : Second Workshop on Formal Methods And Tools for Security (FMATS2), Cambridge, UK -- 5 min talk : Tools for proving equivalence -- PDF - Keynote

Year 2012

  • 03 December : PhD Defence, ENS-Cachan, Cachan, France -- Automatic verification of cryptographic protocols: Privacy-type properties -- PDF - Keynote
  • 30 October : ANR project meeting ProSe , Paris, France -- Verifying privacy-type properties in a modular way -- PDF - Keynote
  • 26 July : Seminar School of Computer Science, Birmingham University, Birmingham, UK -- Proving more observational equivalences with ProVerif -- PDF - Keynote
  • 25 June : Conférence CSF 2012, Harvard University, Cambridge MA, USA -- Verifying privacy-type properties in a modular way -- PDF - Keynote

Year 2011

  • 11 November : Seminar LORIA, Nancy, France -- Decision procedure for trace equivalence -- PDF - Keynote
  • 18 October : Conference CCS 2011, Chicago, IL, USA -- Decision procedure for trace equivalence -- PDF - Keynote
  • 13 October : Seminar LIENS, Paris, France -- Decision procedure for trace equivalence -- PDF - Keynote
  • 05 September : Workshop SecCo 2011, Aachen, Allemagne -- Decision procedure for trace equivalence -- PDF - Keynote
  • 27 June : Conference CSF 2011, Vaux de Cernay, France -- 5 min talk : Decision procedure for trace equivalence -- PDF - Keynote

Year 2010

  • 10 December : Réunion générale du projet ANR AVOTE, Cachan, France -- A decision procedure for proving trace equivalence (Work in progress) -- PDF
  • 19 July : Conference IJCAR, Edimbourg, Ecosse -- A decision procedure for proving symbolic equivalence -- PDF
  • 18 June : Workshop SeCret 2010, Valence, Espagne -- A decision procedure for proving symbolic equivalence -- PDF

Year 2009

  • 07 September: Soutenance de stage (Master 2 MPRI), Cachan, France -- Algorithme de décision de l'équivalence symbolique de systèmes de contraintes -- PDF
  • 05 September: Workshop SecCo09, Bologne, Italie -- A decision procedure for proving observational equivalence (Work in progress) -- PDF