Selected talks - Vincent Cheval

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

Year 2013

  • 19 March : Conference POST 2013, Rome, Paris -- 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