Gaven James Watson
ICT 632
Department of Computer Science
University of Calgary
2500 University Drive NW
Calgary
T2N 1N4
Canada

Tel: +1 403 210 9405
E-mail: gjwatson -at- ucalgary -dot- ca

Bio

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.

In 2010 I completed my PhD "Provable Security in Practice: Analysis of SSH and CBC mode with padding" under the supervision of Prof Kenny Paterson in the Information Security Group at Royal Holloway, University of London.

I am now a postdoc in the iCIS Lab at the University of Calgary.

From January 2012 I will be a research assistant in the cryptography group at the University of Bristol.

Publications

  • K.G. Paterson and G.J. Watson, Authenticated-Encryption with Padding: A Formal Security Treatment. To appear in Festschrift Jean-Jacques Quisquater, Lecture Notes in Computer Science Vol. 6805, Springer-Verlag, Berlin, 2011.

  • J.P. Degabriele, K.G. Paterson and G.J. Watson, Provable Security in the Real World IEEE Security and Privacy, vol. 9, no. 3, pp. 33-41, May/June 2011.

  • M.R. Albrecht, P. Farshim, K.G. Paterson and G.J. Watson, On Cipher-Dependent Related-Key Attacks in the Ideal-Cipher Model. In A. Joux (ed.), FSE 2011, Lecture Notes in Computer Science Vol. 6733, pp. 128-145, Springer-Verlag, Berlin, 2011. (Full Version)

  • 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, K.G. Paterson and G.J. Watson, 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.