Presentations

The links named "Keynote" correspond to the slides made with Apple Keynote. I left my old presentations directly accessible. For most recent years, I will put only some of them. If you want a specific file, feel free to send me an email.

Not Up to date

Year 2021

  • June: ECJIM -- Verification of cryptographic protocols

Year 2020

  • December: Western Digital Security Workshop -- Automatic verification of stateful protocol in ProVerif
  • November: Group Seminar -- An overview of my past, present and future works
  • October: TECAP Meeting -- An overview of ProVerif 2.02

Year 2019

  • July: TECAP Meeting -- An overview of the new upcoming features in ProVerif
  • April: Group Seminar -- Proverif on steroids
  • March: RESSI -- Deciding equivalence properties in security protocols

Year 2018

  • October: CARI -- How difficult is the verification of
cryptographic protocols
  • October: CARI School -- Verification of cryptographic protocols
  • September: Highlight -- DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice
  • July: CSF -- A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif
  • July: MOVEP -- Verification of cryptographic protocols
  • March: GRSRD -- A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif

Year 2017

  • September: TMSP Nancy -- Deciding behavioral equivalences in the applied pi calculus: complexity, procedures and tool
  • August: CSF -- Secure composition of PKIs with public key protocols
  • June: AFSEC -- Automatic verification of equivalence properties
  • April: POST -- On communication models when verifying equivalence properties
  • March: SEQUOIA Meeting -- On communication models when verifying equivalence properties
  • February: Seminar Unisersity Clermont Ferrand -- Complexity of automatic verification of cryptographic protocols

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