Vincent Cheval Chargé de Recherche Laboratoire lorrain de recherche en informatique et ses applications, INRIA Nancy
Vincent Cheval's Photoghaph

Recent activities

Updated the 11/01/2016

A new conference paper at FSTTCS 2015 on my publication page.

  • Secure Refinements of Communication Channels.

I've started a new position in the CASSIS team in LORIA.

Two new conference paper at POST 2015 on my publication page.

  • Composing security protocols: from confidentiality to privacy.
  • Timing attacks: symbolic framework and proof techniques.

I've started a new Lecturer position in the Security Group at University of Kent.

I gave a talk at TGC 2014, Symposium on Trustworthy Global Computing, Roma, September 5-6, 2014. (PDF and Keynote slides avalaible here)

A new publication is added on my publication page:

  • A conference paper at TGC 2014: Tests for establishing security properties.