Vincent Cheval Lecturer School of Computing, University of Kent Canterbury
Vincent Cheval's Photoghaph

Recent activities

Updated the 21/01/2015

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.