Diego received his PhD in Computer Science from King’s College London, with a thesis about the analysis of security protocols involving human users. He was a Research Fellow at University College London working for the CR4B Project, where he was responsible for the quantitative/qualitative analysis. He recently re-joined King’s, bringing his experience in security analysis and research methodologies to the Trustworthy Autonomous Systems (TAS) Hub.

Research interests

• Formal Methods for Security
• Protocol Security
• Security Ceremonies
• Socio-Technical Systems
• Human Factor Security

More information

• DBLP profile
• Personal website