Personal

I am a research fellow, member of the Computer Security group at the School of Computer Science of the University of Birmingham. I am a member of the Verifying Interoperability Requirements in Pervasive Systems ( VPS) project led by Mark D. Ryan and Eike Ritter.

My main area of research is verification of security protocols. I am particularly interested in privacy issues.

Events

FCS-PrivMod 2010, Workshop on Foundations of Security and Privacy, Edinburgh, July 14-15th, 2010, affiliated to FLOC 2010.

CryptoForma Workshop, Formal Methods and Cryptography: The Next Generation of Abstractions, Paris, May 25th, 2010.

Contact