Michael Goldsmith is a Senior Research Fellow at the Department of Computer Science and Worcester College, Oxford. With a background in Formal Methods and Concurrency Theory, Michael was one of the pioneers of automated cryptoprotocol analysis. His research work has investigated a range of Technology Strategy Board and industrial or government-funded projects ranging from highly mathematical semantic models to multidisciplinary research at the social-technical interface. He was Co-Director of the Centre for Doctoral Training in Cybersecurity and is currently an Associate Director of Cyber Security Oxford, and a co-investigator in Oxford's contribution to the Laboratory for AI Security Research.