Adedayo Adetoye
|
Dr Adedayo Oyelakin Adetoye
Research Fellow
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
I am interested in the formal aspects of end-to-end system security, with particular emphasis on the application to secure information flow.
Selected Publications
| Analysis of Dependencies in Critical Infrastructures M. Goldsmith A. Adetoye S. Creese In Proceedings of the 6th International Conference on Critical Information Infrastructure Security (CRITIS’11). September, 2011. |
| A Logical High−Level Framework for Critical Infrastructure Resilience and Risk Assessment M. Goldsmith A. Adetoye S. Creese In Proceedings of the Workshop on Cyberspace Safety and Security (CSS 2011). , 2011. |
| Static Analysis of Information Release in Interactive Programs Adedayo O. Adetoye and Nikolaos Papanikolaou In Electronic Communications of the EASST. Vol. 35. 2010. Automated Verification of Critical Systems (AVoCS) |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
