About me
My work focuses on the development of heterodox adversary models and security promises for use in protocol verification. The development is driven by the security needs of cyber-physical and distributed systems. I am also interested in the philosophy of risk modelling in cyber-physical systems and socio-technical security.
During 2020 I was a researcher for NTNU's CISaR group, where I produced a survey of potential attack vectors for a grid level energy storage systems.
I graduated with a PhD from the Information Security Group at Royal Holloway, University of London, in 2020 under the supervision of Stephen D. Wolthusen. My doctoral research investigated the security of the smart grid protocol IEC/ISO 61850. I developed a queueing network based formal method to verify the standard's security promises of availability and synchronisation of state. Using this method I was able to demonstrate various de-synchronisation and packet injection attacks within IEC/ISO 61850 and other smart grid standards.
Before joining Royal Holloway, I obtained a MPhys in Physics with Theoretical Physics from the University of Manchester. My specialisation was in particle accelerator theory. For my thesis I developed mathematical models of plasma wakefield accelerators. During my studies, I briefly worked as an accelerator physicist at the Cockcroft Institue, Daresbury Laboratory.
