I am a research fellow, member of the Computer Security group at the School of Computer Science of the University of Birmingham.
My main area of research is verification of security protocols. More specifically, I am interested in automating verification of privacy type properties. Currently, I am also looking into cloud computing security.
Recent and futur activities
Updated the 21/04/2013
Two new publications are added on my publication page.
- A conference paper at CAV 2013: Lengths may break privacy -- or how to check for equivalences with length.
- A journal paper at TCS 2013: Deciding equivalence-based properties using constraint solving.
A new version of APTE was released (v0.3beta). Moreover, a dedicated website was created for APTE. See APTE Website
I gave a seminar the 22th of February 2013 at INRIA Paris-Rocquencourt (PDF and Keynote slides avalaible here)
A new version of APTE was released (v0.2alpha). It includes the trace equivalence with respect to length of messages.
School of Computer Science
University of Birmingham
UK Tel: +44 (0)121 414 6749
Fax: +44 (0)121 414 4218
E-mail: v.f.p.cheval at cs.bham.ac.uk