I am a Senior Lecturer in the Cryptography Group and Department of Computer Science at the University of Bristol (UK). My research revolves around proving cryptographic and side-channel security properties of concrete realizations and implementations of cryptographic primitives and protocols, in the presence of partial compromise. This involves tackling problems in modelling adversaries and systems, designing and applying proof methodologies and verification tools, and generally finding less tedious ways of verifying complex properties of important (but not vast) quantities of code.

Before this, I was a Lecturer (and Senior Lecturer) at the University of Surrey (Guildford, UK), and a post-doctoral researcher at the IMDEA Software Institute (Madrid, Spain).

Prior to that, I received my PhD from the Open University in 2013, for my research on “Proving Cryptographic C Programs Secure with General-Purpose Verification Tools”. It was conducted under the supervision of Andy Gordon, Jan Jürjens and Bashar Nuseibeh, and was supported by a Microsoft Research PhD Scholarship. I spent most of my PhD time at the MSR lab in Cambridge, with internships in MSR’s labs in Aachen, Cambridge and Redmond, and some brief stays at the Open University in Milton Keynes.