Adedayo Adetoye
|
Dr
Adedayo
Oyelakin
Adetoye
Research Fellow
Wolfson Building, Parks Road, Oxford OX1 3QD |
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 |
| 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 | BibTeX | Download qasa2012-Erasure-SLIDES.pdf | Download erasure-QASA.pdf |
| 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. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
