Vincent Cheval Chargé de Recherche Laboratoire lorrain de recherche en informatique et ses applications, INRIA Nancy vincent.cheval@loria.fr
Vincent Cheval's Photoghaph

Recent activities


Updated the 11/09/2017

Update of the publication page: 3 journal papers and 2 conference papers added.

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)