Dr Adedayo Oyelakin Adetoye
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.
Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment
Adedayo O. Adetoye‚ Sadie Creese and Michael H. Goldsmith
In 7th International Conference On Critical Information Infrastructures Security (CRITIS 2012). LNCS. September, 2012.
From Qualitative to Quantitative Information Erasure
Adedayo O. Adetoye and Michael H. Goldsmith
In International Workshop on Quantitative Aspects in Security Assurance (QASA 2012‚ colocated with ESORICS). September, 2012.
A Logical High−Level Framework for Critical Infrastructure Resilience and Risk Assessment
Sadie Creese‚ Michael H. Goldsmith and Adedayo O. Adetoye
In The 3rd International Workshop on Cyberspace Safety and Security (CSS 2011). Milan‚ Italy. September, 2011. To appear.