Professor Eerke Boiten joined the Cyber Technology Institute in April 2017 from the University of Kent where he was the Director of the Cyber Security Research Centre.
Professor Boiten spent the first twenty years of his research career, first in the Netherlands and then in the UK, on mathematics and logic based methods to guarantee and verify the correctness of software. He published over 50 peer reviewed papers on formal methods, including program transformation, viewpoint specification, and refinement in process algebra and state-based systems (e.g. Z). On the latter topic, he authored the monograph “Refinement in Z and Object-Z” with John Derrick (Springer 2004, 2015), and organised many conferences and workshops including the last nine editions of the BCS-FACS Refinement Workshop.
In recent years, he has been applying such techniques in the context of cryptography and security. He led the highly successful UK network on cryptography, security and formal methods CryptoForma. In addressing the broader cyber security research agenda, he also actively engages with other disciplines and external stakeholders.
Professor Boiten has also been a frequent commentator on issues in data security and privacy, including in The Guardian, Le Monde, and frequently in The Conversation, see: https://theconversation.com/profiles/eerke-boiten-104676/. Recent comment topics have included: health data sharing, Google, Facebook, the Right to be Forgotten, surveillance, encryption and Ransomware.
He is currently Principal Investigator on the Economical, Psychological and Societal Impact of Ransomware (EMPHASIS) project which aims to build economical and behavioural models of ransomware which can be used to improve ransomware mitigation and advice, as well as support providing support to law enforcement.
For more information about Professor Boiten and his publications, please visit: https://www.dmu.ac.uk/about-dmu/academic-staff/technology/eerke-boiten/eerke-boiten.aspx