Adedayo Adetoye : Publications

Click here to download all publications in a single bibtex file

@inproceedings{SATURN:CRITIS12,
  title = "Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment",
  author = "Adedayo O. Adetoye and Sadie Creese and Michael H. Goldsmith",
  year = "2012",
  booktitle = "7th International Conference On Critical Information Infrastructures Security (CRITIS 2012)",
  month = "sep",
  note = "To appear",
  publisher = "LNCS",
}

@inproceedings{Adetoye12a,
  title = "From Qualitative to Quantitative Information Erasure",
  author = "Adedayo O. Adetoye and Michael H. Goldsmith",
  year = "2012",
  booktitle = "International Workshop on Quantitative Aspects in Security Assurance (QASA 2012, colocated with ESORICS)",
  month = "sep",
  note = "To appear",
}

@inproceedings{SATURN:CSS11,
  title = "A Logical High-Level Framework for Critical Infrastructure Resilience and Risk Assessment",
  author = "Sadie Creese and Michael H. Goldsmith and Adedayo O. Adetoye",
  year = "2011",
  address = "Milan, Italy",
  booktitle = "The 3rd International Workshop on Cyberspace Safety and Security (CSS 2011)",
  month = "September",
  publisher = "To appear",
}

@inproceedings{SATURN:CRITIS11,
  title = "Analysis of Dependencies in Critical Infrastructures",
  author = "Adedayo O. Adetoye and Sadie Creese and Michael H. Goldsmith",
  year = "2011",
  booktitle = "6th International Conference On Critical Information Infrastructures Security (CRITIS 2011)",
  month = "sep",
  note = "To appear",
  publisher = "LNCS",
}

@article{Adetoye10a,
  title = "Static Analysis of Information Release in Interactive Programs",
  author = "Adedayo O. Adetoye and Nikolaos Papanikolaou",
  year = "2010",
  issn = "1863-2122",
  journal = "Electronic Communications of the EASST",
  note = "{A}utomated Verification of Critical Systems (AVoCS)",
  volume = "35",
}

@inproceedings{Adetoye10b,
  title = "High-Efficiency FPGA Regular Expression Pattern Matching",
  author = "Atta Badii and Adedayo O. Adetoye",
  year = "2010",
  booktitle = "4th High Performance Embedded Architectures \& Compilers (HiPEAC) Workshop on Reconfigurable Computing",
  editor = "Roberto Giorgi and Stephan Wong",
  isbn = "978-90-72298-05-8",
  month = "23 January",
  pages = "98--98",
  publisher = "TU Delft / EWI Computer Engineering Laboratory",
}

@inproceedings{SATURN:CRITIS10,
  title = "A Modelling Approach for Interdependency in Digital Systems-of-Systems Security - Extended Abstract",
  author = "Adedayo Adetoye and Sadie Creese and Michael Goldsmith and Paul Hopkins",
  year = "2010",
  booktitle = "5th International Conference On Critical Information Infrastructures Security (CRITIS 2010)",
  publisher = "Athens, Greece, LNCS 6712, Springer Verlag",
}

@inproceedings{Adetoye09,
  title = "Hydra Semantic Security Resolution Framework to support Ambient Intelligent Environments",
  author = "Atta Badii and Adedayo O. Adetoye and Daniel Thiemert and Mario Hoffmann",
  year = "2009",
  address = "Paderborn, Germany",
  booktitle = "First International Workshop on Distributed Computing in Ambient Environments (DiComAe)",
  editor = "Klaus-Dieter Althoﬀ and Kerstin Bac and Meike Reichl",
  month = "15-18 September",
  note = "Colocated with the 32nd Annual Conference on Artiﬁcial Intelligence (KI 2009)",
  pages = "32",
}

@inproceedings{DBLP:conf/ifip1-7/AdetoyeB09,
  title = "A Policy Model for Secure Information Flow",
  author = "Adedayo Adetoye and Atta Badii",
  year = "2009",
  booktitle = "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",
  editor = "Pierpaolo Degano and Luca Vigan{\`o}",
  isbn = "978-3-642-03458-9",
  pages = "1-17",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5511",
}

@inproceedings{DBLP:conf/usab/BadiiFKA09,
  title = "Accessibility-by-Design: A Framework for Delivery-Context-Aware Personalised Media Content Re-purposing",
  author = "Atta Badii and David Fuschi and Ali Khan and Adedayo Adetoye",
  year = "2009",
  booktitle = "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",
}

@phdthesis{AdetoyePhDThesis,
  title = "Secure Information Flow: Analysis and Enforcement",
  author = "Adedayo Oyelakin Adetoye",
  year = "2009",
  address = "Edgbaston, Birmingham, B15 2TT, United Kingdom",
  school = "School of Computer Science, The University of Birmingham",
}

@inproceedings{Adetoye08B,
  title = "Efficient FPGA-Based Regular Expression Pattern Matching",
  author = "Atta Badii and Adedayo Adetoye and Dhaval Patel and Khurram Hameed",
  year = "2008",
  address = "Al Bostan Rotana, Dubai, UAE",
  booktitle = "European and Mediterranean Conference on Information Systems (EMCIS)",
  editor = "Zahir Irani and Sofiane Sahraoui and Ahmad Ghoneim and John Sharp and Sevgi Ozkan and Maged Ali and Sarmad Alshawi",
  isbn = "978-1-902316-58-1",
  month = "25-26 May",
}

@inproceedings{Adetoye08A,
  title = "A Framework Architecture for Semantic Resolution of Security in Ambient Environments",
  author = "Atta Badii and Adedayo O. Adetoye and Daniel Thiemert and Mario Hoffmann",
  year = "2008",
  address = "Sophia Antipolis, France",
  booktitle = "1st International Workshop of The Internet of Things and Services, EuroTrustAMI",
  month = "19 September",
}

@inproceedings{BadiiKAF08,
  title = "High Resolution Digital Media Personalisation for All Delivery Context Device Agents",
  author = "Atta Badii and Ali Khan and Adedayo Adetoye and David Fuschi",
  year = "2008",
  booktitle = "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",
  publisher = "Knowledge Systems Institute",
}

@article{DBLP:journals/iajit/OgwuTAA07,
  title = "A Framework for Quality of Service in Mobile Ad Hoc Networks",
  author = "Francis Joseph Ogwu and Mohammad Talib and Ganiyu Aderounmu and Adedayo Adetoye",
  year = "2007",
  journal = "Int. Arab J. Inf. Technol.",
  number = "1",
  pages = "33-40",
  volume = "4",
}

@mastersthesis{AdetoyeMscThesis,
  title = "Design and Implementation of a Network Intrusion Detection and Active-Response System",
  author = "Adedayo Oyelakin Adetoye",
  year = "2003",
  address = "Gower Street, London, WC1E 6BT, United Kingdom",
  month = "September",
  school = "University College London",
}

@article{Adetoye03,
  title = "Agent-Based Approach to Selecting Views and Indexes in a Data Warehouse",
  author = "Ganiyu A. Aderounmu and I. O. Awoyelu and Adedayo O. Adetoye",
  year = "2003",
  journal = "Science Focus: An International Journal of Biological and Physical Sciences",
  number = "3",
  pages = "61--68",
  volume = "3",
}

@inproceedings{Adetoye03,
  title = "A Framework for Probabilistic QoS Guarantee in Mobile Ad Hoc Networks",
  author = "Ganiyu A. Aderounmu and Francis J. Ogwu and Adedayo O. Adetoye",
  year = "2003",
  address = "Orlando, Florida, USA",
  booktitle = "International Conference on Computer, Communication and Control Technologies (CCCT’03)",
  month = "31 July--2 August",
  pages = "44--48",
}

@inproceedings{Adetoye02,
  title = "Stochastic Estimator-based ABR Traffic Control Schemes",
  author = "Ganiyu A. Aderounmu and Francis J. Ogwu and Emmanuel R. Adagunodo and Adedayo O. Adetoye and Idowu O. Oduntan",
  year = "2002",
  address = "Missouri, USA",
  booktitle = "Intelligent Engineering Systems Through Artificial Neural Networks, In- ternational Conference on Smart Engineering System Design (ANNIE 2002)",
  month = "November",
  pages = "853--860",
  volume = "12",
}

@article{Adetoye01,
  title = "Intelligent Hybrid Multi-Agent Computational Architecture for Resources Management in Complex Systems",
  author = "Ganiyu A. Aderounmu and Francis J. Ogwu and Emmanuel R. Adagunodo and Adeniyi A. Akintola and Adedayo O. Adetoye and P. K. Mahanti",
  year = "2001",
  journal = "International Journal of Information and Computing Science (IJICS)",
  number = "1",
  pages = "1--12",
  volume = "4",
}

@article{Adetoye00,
  title = "Intelligent Single Agent Control in Deterministic Environment",
  author = "Ganiyu A. Aderounmu and Francis J. Ogwu and Emmanuel R. Adagunodo and Adeniyi A. Akintola and Adedayo O. Adetoye and P. K. Mahanti",
  year = "2000",
  journal = "International Journal of Information and Computing Science (IJICS)",
  number = "1",
  pages = "26--35",
  volume = "3",
}

@article{Adetoye98,
  title = "An Agent-based Approach to Water Distribution System Control",
  author = "Ganiyu A. Aderounmu and Emmanuel R. Adagunodo and Adeniyi A. Akintola and Adedayo O. Adetoye",
  year = "1998",
  journal = "Journal of Agricultural Engineering and Technology",
  pages = "39--46",
  volume = "6",
}

Adedayo Adetoye : Publications

About Us