I have now moved to the University of Calgary. My new webpage is here.
Gaven James Watson
Portacabin 2
Mathematics Department
Royal Holloway, University of London
Egham
Surrey
TW20 0EX

Tel: 01784 414346
E-mail: G.Watson@rhul.ac.uk

General Info

I gained my BSc (Hons.) in Mathematics from Heriot-Watt University, Edinburgh, where I was awarded the Watt Club Medal for Mathematics in 2005. The following year I completed an MSc (with Distinction) in Mathematics for Applications from Royal Holloway, University of London.

I am currently studying for a PhD under the supervision of Prof Kenny Paterson, with funding through an EPSRC CASE studentship with BT Research Laboratories. My research interests include cryptography and network security.

Publications

  • K.G. Paterson and G.J. Watson, Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR. In H. Gilbert (ed.), EUROCRYPT 2010, Lecture Notes in Computer Science Vol. 6110, pp. 345-361, Springer-Verlag, Berlin, 2010. (Full Version)

  • M.R. Albrecht, G.J. Watson and K.G. Paterson, Plaintext Recovery Attacks Against SSH, IEEE Symposium on Security and Privacy, 2009. (pdf)

  • K.G. Paterson and G.J. Watson, Immunising CBC Mode Against Padding Oracle Attacks: A Formal Security Treatment. In R. Ostrovsky, R. De Prisco and I. Visconti (eds.), SCN 2008, Lecture Notes in Computer Science Vol. 5229, pp. 340-357, Springer-Verlag, Berlin, 2008.