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
Year 2015
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