Adedayo Adetoye
Interests
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
-
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.
To appear
Details about Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment | BibTeX data for Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment
-
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.
To appear
Details about From Qualitative to Quantitative Information Erasure | BibTeX data for From Qualitative to Quantitative Information Erasure | Download qasa2012-Erasure-SLIDES.pdf of From Qualitative to Quantitative Information Erasure | Download erasure-QASA.pdf of From Qualitative to Quantitative Information Erasure
-
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.
Details about A Logical High−Level Framework for Critical Infrastructure Resilience and Risk Assessment | BibTeX data for A Logical High−Level Framework for Critical Infrastructure Resilience and Risk Assessment