I am a Doctoral Researcher attached to the SCEPTICS Project which aims to establish a process network operators can implement to identify potential weaknesses as the result of vague or unclear specifications. I am jointly supervised by Tom Chothia and Mark Ryan.
Since the start of my PhD career, I have worked to provide a formal analysis using the Proverif tool of the EuroRadio protocol. This protocol is designed to provide message authentication and integrity checks for messages relayed between the train and trackside.
I am now working on an analysis of the cryptographic algorithms in use by EuroRadio, namely the ISO-9797 MAC Algorithm Three to identify whether it provides guarantees to prevent fraudulant messages being created by an attacker who can intercept communications.