Adedayo Adetoye : Publications
|
[1] |
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 |
|
[2] |
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 |
|
[3] |
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. |
|
[4] |
Analysis of Dependencies in Critical Infrastructures Adedayo O. Adetoye‚ Sadie Creese and Michael H. Goldsmith In 6th International Conference On Critical Information Infrastructures Security (CRITIS 2011). LNCS. September, 2011. To appear |
|
[5] |
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) |
|
[6] |
High−Efficiency FPGA Regular Expression Pattern Matching Atta Badii and Adedayo O. Adetoye In Roberto Giorgi and Stephan Wong, editors, 4th High Performance Embedded Architectures & Compilers (HiPEAC) Workshop on Reconfigurable Computing. Pages 98–98. TU Delft / EWI Computer Engineering Laboratory. , 2010. |
|
[7] |
A Modelling Approach for Interdependency in Digital Systems−of−Systems Security − Extended Abstract Adedayo Adetoye‚ Sadie Creese‚ Michael Goldsmith and Paul Hopkins In 5th International Conference On Critical Information Infrastructures Security (CRITIS 2010). Athens‚ Greece‚ LNCS 6712‚ Springer Verlag. 2010. |
|
[8] |
Hydra Semantic Security Resolution Framework to support Ambient Intelligent Environments Atta Badii‚ Adedayo O. Adetoye‚ Daniel Thiemert and Mario Hoffmann In Klaus−Dieter Althoff‚ Kerstin Bac and Meike Reichl, editors, First International Workshop on Distributed Computing in Ambient Environments (DiComAe). Pages 32. Paderborn‚ Germany. , 2009. Colocated with the 32nd Annual Conference on Artificial Intelligence (KI 2009) |
|
[9] |
A Policy Model for Secure Information Flow Adedayo Adetoye and Atta Badii In Pierpaolo Degano and Luca Viganò, editors, Foundations and Applications of Security Analysis‚ Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security‚ ARSPA−WITS 2009‚ York‚ UK‚ March 28−29‚ 2009‚ Revised Selected Papers. Vol. 5511 of Lecture Notes in Computer Science. Pages 1−17. Springer. 2009. |
|
[10] |
Accessibility−by−Design: A Framework for Delivery−Context−Aware Personalised Media Content Re−purposing Atta Badii‚ David Fuschi‚ Ali Khan and Adedayo Adetoye In HCI and Usability for e−Inclusion‚ 5th Symposium of the Workgroup Human−Computer Interaction and Usability Engineering of the Austrian Computer Society‚ USAB 2009‚ Linz‚ Austria‚ November 9−10‚ 2009 Proceedings. Pages 209−226. 2009. |
|
[11] |
Secure Information Flow: Analysis and Enforcement Adedayo Oyelakin Adetoye PhD Thesis School of Computer Science‚ The University of Birmingham. Edgbaston‚ Birmingham‚ B15 2TT‚ United Kingdom. 2009. |
|
[12] |
Efficient FPGA−Based Regular Expression Pattern Matching Atta Badii‚ Adedayo Adetoye‚ Dhaval Patel and Khurram Hameed In Zahir Irani‚ Sofiane Sahraoui‚ Ahmad Ghoneim‚ John Sharp‚ Sevgi Ozkan‚ Maged Ali and Sarmad Alshawi, editors, European and Mediterranean Conference on Information Systems (EMCIS). Al Bostan Rotana‚ Dubai‚ UAE. , 2008. |
|
[13] |
A Framework Architecture for Semantic Resolution of Security in Ambient Environments Atta Badii‚ Adedayo O. Adetoye‚ Daniel Thiemert and Mario Hoffmann In 1st International Workshop of The Internet of Things and Services‚ EuroTrustAMI. Sophia Antipolis‚ France. , 2008. |
|
[14] |
High Resolution Digital Media Personalisation for All Delivery Context Device Agents Atta Badii‚ Ali Khan‚ Adedayo Adetoye and David Fuschi In Proceedings of the 14th International Conference on Distributed Multimedia Systems‚ DMS 2008‚ September 4−6‚ 2008‚ Hyatt Harborside Hotel‚ Boston‚ Massachusetts‚ USA. Pages 59−64. Knowledge Systems Institute. 2008. |
|
[15] |
A Framework for Quality of Service in Mobile Ad Hoc Networks Francis Joseph Ogwu‚ Mohammad Talib‚ Ganiyu Aderounmu and Adedayo Adetoye In Int. Arab J. Inf. Technol.. Vol. 4. No. 1. Pages 33−40. 2007. |
|
[16] |
Design and Implementation of a Network Intrusion Detection and Active−Response System Adedayo Oyelakin Adetoye Master's Thesis University College London. Gower Street‚ London‚ WC1E 6BT‚ United Kingdom. September, 2003. |
|
[17] |
Agent−Based Approach to Selecting Views and Indexes in a Data Warehouse Ganiyu A. Aderounmu‚ I. O. Awoyelu and Adedayo O. Adetoye In Science Focus: An International Journal of Biological and Physical Sciences. Vol. 3. No. 3. Pages 61–68. 2003. |
|
[18] |
A Framework for Probabilistic QoS Guarantee in Mobile Ad Hoc Networks Ganiyu A. Aderounmu‚ Francis J. Ogwu and Adedayo O. Adetoye In International Conference on Computer‚ Communication and Control Technologies (CCCT’03). Pages 44–48. Orlando‚ Florida‚ USA. , 2003. |
|
[19] |
Stochastic Estimator−based ABR Traffic Control Schemes Ganiyu A. Aderounmu‚ Francis J. Ogwu‚ Emmanuel R. Adagunodo‚ Adedayo O. Adetoye and Idowu O. Oduntan In Intelligent Engineering Systems Through Artificial Neural Networks‚ In− ternational Conference on Smart Engineering System Design (ANNIE 2002). Vol. 12. Pages 853–860. Missouri‚ USA. November, 2002. |
|
[20] |
Intelligent Hybrid Multi−Agent Computational Architecture for Resources Management in Complex Systems Ganiyu A. Aderounmu‚ Francis J. Ogwu‚ Emmanuel R. Adagunodo‚ Adeniyi A. Akintola‚ Adedayo O. Adetoye and P. K. Mahanti In International Journal of Information and Computing Science (IJICS). Vol. 4. No. 1. Pages 1–12. 2001. |
|
[21] |
Intelligent Single Agent Control in Deterministic Environment Ganiyu A. Aderounmu‚ Francis J. Ogwu‚ Emmanuel R. Adagunodo‚ Adeniyi A. Akintola‚ Adedayo O. Adetoye and P. K. Mahanti In International Journal of Information and Computing Science (IJICS). Vol. 3. No. 1. Pages 26–35. 2000. |
|
[22] |
An Agent−based Approach to Water Distribution System Control Ganiyu A. Aderounmu‚ Emmanuel R. Adagunodo‚ Adeniyi A. Akintola and Adedayo O. Adetoye In Journal of Agricultural Engineering and Technology. Vol. 6. Pages 39–46. 1998. |