Skip to main content

Adedayo Adetoye

Personal photo - Adedayo Adetoye

Dr Adedayo Oyelakin Adetoye

Research Fellow



My background is in language-based security and I am interested in all formal aspects of end-to-end system security. My current emphasis is on the development of a scientific foundation for Cyber Security and Risks, whereby we can truly measure the impact of security and risk mitigation controls using scientific means. I have worked on, and I am still interested in the application of semantic techniques to secure information erasure, secure information flow and information integrity; critical national infrastructure security (SATURN project), where we developed techniques for risk management and advanced analytical models for critical infrastructure resilience; insider threat analysis, modelling, and detection; and, penetration testing as a scientific toolkit for Cyber Security hypothesis testing.

Selected Publications

View AllManage publications