Adedayo Adetoye

Dr Adedayo Oyelakin Adetoye

Research Fellow

Themes:

• Security

Completed Projects:

• SATURN

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

View AllManage 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