I have now moved to the University of Calgary. My new webpage is here.
Gaven James Watson
Royal Holloway, University of London
Tel: 01784 414346
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.
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.