I am a postdoc in the Cryptography Group at the University of Bristol. Previously I was a Ph.D. student in the Information Security Group at Royal Holloway, University of London, under the supervision of Prof. Kenny Paterson. My undergraduate studies were at the University of Edinburgh where I obtained a B.Sc. in Computer Science and Mathematics. I spent autumn of 2012 as a visiting graduate student at UCSD, and spent summer of 2014 at Inria.
My main area of research is provable security, particularly improving security models and proofs in order to more accurately reflect the properties of implemented cryptosystems with a view to providing stronger guarantees of security in practice. I am also interested in identity-based encryption, privacy-preserving primitives and electronic voting.
- M. Bellare, S. Meiklejohn and S. Thomson, Key-Versatile Signatures and Applications: RKA, KDM, and Joint Enc/Sig. In P.Q. Nguyen and E. Oswald (eds.), Eurocrypt 2014, Lecture Notes in Computer Science Vol. 8441, pp. 496–513, Springer, 2014. Full version.
- M. Bellare, K.G. Paterson and S. Thomson, RKA Security beyond the Linear Barrier: IBE, Encryption and Signatures. In X. Wang and K. Sako (eds.), Asiacrypt 2012, Lecture Notes in Computer Science Vol. 7658, pp. 331-348, Springer, 2012. Full version.
- K.G. Paterson, J.C.N. Schuldt, M. Stam and S. Thomson, On the Joint Security of Encryption and Signature, Revisited. In D.H. Lee and X. Wang (eds.), Asiacrypt 2011, Lecture Notes in Computer Science Vol. 7073, pp. 161-178, Springer, 2011. Full version.