Adaptability in CORBA: The Mobile Proxy Approach. - Benjamin Aziz; Christian Damsgaard Jensen (DOA, 2000)

A Denotational Semantics for the Pi-Calculus. - Benjamin Aziz; Geoff W. Hamilton (IWFM, 2001)

A Calculus for Secure Mobility. - Bruno Blanchet; Benjamin Aziz (ASIAN, 2003)

A Denotational Approach to the Static Analysis of Cryptographic Processes. - Benjamin Aziz; Geoff W. Hamilton; David Gray (SVV@ICLP, 2003)

Configuring Storage Area Networks for Mandatory Security. - Benjamin Aziz; Simon N. Foley; John Herbert; Garret Swart (DBSec, 2004)

Trading Off Security in a Service Oriented Architecture. - Garret Swart; Benjamin Aziz; Simon N. Foley; John Herbert (DBSec, 2005)

A Static Analysis of PKI-Based Systems. - Benjamin Aziz; David Gray; Geoff W. Hamilton (ICTCS, 2005)

A Semiring-based Quantitative Analysis of Mobile Systems. - Benjamin Aziz (SVV@ICFEM, 2005)

A static analysis of cryptographic processes: the denotational approach. - Benjamin Aziz; Geoff W. Hamilton; David Gray (J. Log. Algebraic Methods Program., 2005)

Measuring the Speed of Information Leakage in Mobile Processes. - Benjamin Aziz (AMAST, 2006)

Reconfiguring Role Based Access Control policies using risk semantics. - Benjamin Aziz; Simon N. Foley; John Herbert; Garret Swart (J. High Speed Networks, 2006)

Managing Conflicts of Interest in Virtual Organisations. - Alvaro Arenas; Benjamin Aziz; Juan Bicarregui; Brian Matthews (STM@ESORICS, 2007)

Modelling and Analysis of PKI-Based Systems Using Process Calculi. - Benjamin Aziz; Geoff W. Hamilton (Int. J. Found. Comput. Sci., 2007)

Modelling Security Properties in a Grid-based Operating System with Anti-Goals. - Alvaro Arenas; Benjamin Aziz; Juan Bicarregui; Brian Matthews; Erica Y. Yang (ARES, 2008)

Towards Modelling Obligations in Event-B. - Juan Bicarregui; Alvaro Arenas; Benjamin Aziz; Philippe Massonet; Christophe Ponsard (ABZ, 2008)

Reputation Management in Grid-based Virtual Organisations. - Álvaro Enrique Arenas; Benjamin Aziz; Gheorghe Cosmin Silaghi (SECRYPT, 2008)

Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. - Syed Naqvi; Philippe Massonet; Benjamin Aziz; Alvaro Arenas; Fabio Martinelli; Paolo Mori; Lorenzo Blasi; Giovanni Cortese (ServiceWave, 2008)

Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. - Benjamin Aziz; Alvaro Arenas; Fabio Martinelli; Ilaria Matteucci; Paolo Mori (TrustBus, 2008)

On Usage Control in Data Grids. - Federico Stagni; Alvaro Arenas; Benjamin Aziz; Fabio Martinelli (IFIPTM, 2009)

From Goal-Oriented Requirements to Event-B Specifications. - Benjamin Aziz; Alvaro Arenas; Juan Bicarregui; Christophe Ponsard; Philippe Massonet (NASA Formal Methods, 2009)

Detecting Man-in-the-Middle Attacks by Precise Timing. - Benjamin Aziz; Geoff W. Hamilton (SECURWARE, 2009)

Configuring storage-area networks using mandatory security. - Benjamin Aziz; Simon N. Foley; John Herbert; Garret Swart (J. Comput. Secur., 2009)

A Secure and Scalable Grid-Based Content Management System. - Benjamin Aziz; Alvaro Arenas; Giovanni Cortese; Bruno Crispo; Silvio Causetti (ARES, 2010)

An Event-B Approach to Data Sharing Agreements. - Alvaro E. Arenas; Benjamin Aziz; Juan Bicarregui; Michael D. Wilson (IFM, 2010)

Management of Security Policies in Virtual Organisations. - Benjamin Aziz; Alvaro Arenas; Ian Johnson; Matej Artac; Ales Cernivec; Philip Robinson (SECRYPT, 2010)

Reputation management in collaborative computing systems. - Alvaro E. Arenas; Benjamin Aziz; Gheorghe Cosmin Silaghi (Secur. Commun. Networks, 2010)

Model-Based Refinement of Security Policies in Collaborative Virtual Organisations. - Benjamin Aziz; Alvaro E. Arenas; Michael D. Wilson (ESSoS, 2011)

An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper). - Alvaro E. Arenas; Benjamin Aziz; Szymon Maj; Brian Matthews (ServiceWave, 2011)

SecPAL4DSA: A Policy Language for Specifying Data Sharing Agreements. - Benjamin Aziz; Alvaro Arenas; Michael D. Wilson (STA, 2011)

A Metadata Model for Data Centric Security. - Benjamin Aziz; Shirley Y. Crompton; Michael D. Wilson (STA, 2011)

Correcting a Delegation Protocol for Grids. - Benjamin Aziz (TrustBus, 2011)

Verifying a delegation protocol for grid systems. - Benjamin Aziz; Geoff W. Hamilton (Future Gener. Comput. Syst., 2011)

Application of formal analysis to enhancing trust in a complex grid-based operating system. - Benjamin Aziz (ISARCS, 2012)

An Algorithm for Trading Grid Resources in a Virtual Marketplace. - Benjamin Aziz (Scalable Comput. Pract. Exp., 2012)

Reputation-Controlled Business Process Workflows. - Benjamin Aziz; Geoff W. Hamilton (ARES, 2013)

Using a Goal-Driven Approach in the Investigation of a Questioned Contract. - Clive Blackwell; Shareeful Islam; Benjamin Aziz (IFIP Int. Conf. Digital Forensics, 2013)

Single-mismatch 2LSB embedding steganography. - Omed S. Khalind; Benjamin Aziz (ISSPIT, 2013)

On Formalising Policy Refinement in Grid Virtual Organisations. - Benjamin Aziz (SERA (selected papers), 2013)

A study on the false positive rate of Stegdetect. - Omed S. Khalind; Julio C. Hernandez-Castro; Benjamin Aziz (Digit. Investig., 2013)

A Framework for Digital Forensics and Investigations: The Goal-Driven Approach. - Benjamin Aziz; Clive Blackwell; Shareeful Islam (Int. J. Digit. Crime Forensics, 2013)

A Formal Model and Analysis of the MQ Telemetry Transport Protocol. - Benjamin Aziz (ARES, 2014)

A Formal Model for Forensic Storage Media Preparation Tools. - Benjamin Aziz; Philippe Massonet; Christophe Ponsard (SECRYPT, 2014)

Federated Identity and Access Management for the Internet of Things. - Paul Fremantle; Benjamin Aziz; Jacek Kopecký; Philip J. Scott (SIoT, 2014)

Using Security Patterns for Modelling Security Capabilities in Grid Systems. - Benjamin Aziz; Clive Blackwell (SOSE, 2014)

Security and VO Management Capabilities in a Large-Scale Grid Operating System. - Benjamin Aziz; Ioana Sporea (Comput. Informatics, 2014)

Modelling and refinement of forensic data acquisition specifications. - Benjamin Aziz (Digit. Investig., 2014)

Enforcing Reputation Constraints on Business Process Workflows. - Benjamin Aziz; Geoff W. Hamilton (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

Incremental Development of RBAC-Controlled E-Marking System Using the B Method. - Nasser Al-Hadhrami; Benjamin Aziz; Shantanu Sardesai; Lotfi Ben Othmane (ARES, 2015)

Goal-Oriented Requirement Engineering Support for Business Continuity Planning. - Álvaro Enrique Arenas; Philippe Massonet; Christophe Ponsard; Benjamin Aziz (ER Workshops, 2015)

Web API Management Meets the Internet of Things. - Paul Fremantle; Jacek Kopecký; Benjamin Aziz (SALAD@ESWC, 2015)

Privacy Aware on-Demand Resource Provisioning for IoT Data Processing. - Tom Kirkham; Arnab Sinha; Nikos Parlavantzas; Bartosz Kryza; Paul Fremantle; Kyriakos Kritikos; Benjamin Aziz (IoT 360 (2), 2015)

OAuthing: Privacy-enhancing federation for the Internet of Things. - Paul Fremantle; Benjamin Aziz (CIoT, 2016)

A Temporal Blockchain: A Formal Analysis. - Richard Dennis; Gareth Owenson; Benjamin Aziz (CTS, 2016)

Search-Based SQL Injection Attacks Testing Using Genetic Programming. - Benjamin Aziz; Mohamed Bader-El-Den; Cerana Hippolyte (EuroGP, 2016)

Privacy-enhancing Federated Middleware for the Internet of Things. - Paul Fremantle; Benjamin Aziz (Middleware Posters and Demos, 2016)

Check Your Blind Spot: A New Cyber-Security Metric for Measuring Incident Response Readiness. - Benjamin Aziz; Ali Malik; Jeyong Jung (RISK, 2016)

A Utility-Based Reputation Model for the Internet of Things. - Benjamin Aziz; Paul Fremantle; Rui Wei; Álvaro Enrique Arenas (SEC, 2016)

A formal model and analysis of an IoT protocol. - Benjamin Aziz (Ad Hoc Networks, 2016)

Modelling Fine-Grained Access Control Policies in Grids. - Benjamin Aziz (J. Grid Comput., 2016)

An Incremental B-Model for RBAC-Controlled Electronic Marking System. - Nasser Al-Hadhrami; Benjamin Aziz; Lotfi Ben Othmane (Int. J. Secur. Softw. Eng., 2016)

Virtual topology partitioning towards an efficient failure recovery of software defined networks. - Ali Malik; Benjamin Aziz; Chih-Heng Ke; Han Liu; Mo Adda (ICMLC, 2017)

Enhancing IoT Security and Privacy with Distributed Ledgers - A Position Paper - . - Paul Fremantle; Benjamin Aziz; Tom Kirkham (IoTBDS, 2017)

New Computing Model for Securing Mobile Agents in IP Networks. - Jean Tajer; Mo Adda; Benjamin Aziz (IoTBDS, 2017)

Finding most reliable paths for software defined networks. - Ali Malik; Benjamin Aziz; Mohamed Bader-El-Den (IWCMC, 2017)

Optimisation Methods for Fast Restoration of Software-Defined Networks. - Ali Malik; Benjamin Aziz; Mo Adda; Chih-Heng Ke (IEEE Access, 2017)

Data-Driven Chinese Walls. - Gulsum Akkuzu; Benjamin Aziz (ICCSW, 2018)

THRIFTY: Towards High Reduction In Flow Table memorY. - Ali Malik; Benjamin Aziz; Chih-Heng Ke (ICCSW, 2018)

Cloud-based federated identity for the Internet of Things. - Paul Fremantle; Benjamin Aziz (Ann. des Télécommunications, 2018)

Towards open data-driven evaluation of access control policies. - Benjamin Aziz (Comput. Stand. Interfaces, 2018)

Towards a mutation analysis of IoT protocols. - Benjamin Aziz (Inf. Softw. Technol., 2018)

A false negative study of the steganalysis tool: Stegdetect. - Benjamin Aziz; Jeyong Jung (PeerJ Prepr., 2018)

Anomaly analysis on an open DNS dataset. - Benjamin Aziz; Nikolaos Menychtas; Ammar Al-Bazi (PeerJ Prepr., 2018)

A Fuzzy Modeling Approach for Group Decision Making in Social Networks. - Gulsum Akkuzu; Benjamin Aziz; Mo Adda (BIS (2), 2019)

Evaluating the Quantity of Incident-Related Information in an Open Cyber Security Dataset. - Benjamin Aziz; John Arthur Lee; Gulsum Akkuzu (BIS (Workshops), 2019)

Fuzzy Logic Decision based Collaborative Privacy Management Framework for Online Social Networks. - Gulsum Akkuzu; Benjamin Aziz; Mo Adda (ICISSP, 2019)

Predicting CyberSecurity Incidents using Machine Learning Algorithms: A Case Study of Korean SMEs. - Alaa Mohasseb; Benjamin Aziz; Jeyong Jung; Julak Lee (ICISSP, 2019)

Enforcing Multilevel Security Policies in Database-Defined Networks using Row-Level Security. - Ali Al-Haj 002; Benjamin Aziz (NetSys, 2019)

Advantages of Having Users' Trust and Reputation Values on Data Sharing Process in Online Social Networks. - Gulsum Akkuzu; Benjamin Aziz; Mo Adda (SNAMS, 2019)

Deriving event data sharing in IoT systems using formal modelling and analysis. - Paul Fremantle; Benjamin Aziz (Internet Things, 2019)

Software-defined networks: A walkthrough guide from occurrence To data plane fault tolerance. - Ali Malik; Benjamin Aziz; Ali Al-Haj 002; Mo Adda (PeerJ Prepr., 2019)

Towards Secure Data Sharing Processes in Online Social Networks: Trusty. - Gulsum Akkuzu; Benjamin Aziz; Mo Adda (ICSOFT, 2020)

Application of Extended IOWA Operator for Making Group Decision on Co-owned Contents in Online Social Networks (OSNs). - Gulsum Akkuzu; Benjamin Aziz; Mo Adda (IEEE Conf. on Intelligent Systems, 2020)

Automated Detection of Racial Microaggressions using Machine Learning. - Omar Ali; Nancy Scheidt; Alexander E. Gegov; Ella Haig; Mo Adda; Benjamin Aziz (SSCI, 2020)

SMS Spam Identification and Risk Assessment Evaluations. - Alaa Mohasseb; Benjamin Aziz; Andreas Kanavos (WEBIST, 2020)

Towards Consensus-Based Group Decision Making for Co-Owned Data Sharing in Online Social Networks. - Gulsum Akkuzu; Benjamin Aziz; Mo Adda (IEEE Access, 2020)

Smart routing: Towards proactive fault handling of software-defined networks. - Ali Malik; Benjamin Aziz; Mo Adda; Chih-Heng Ke (Comput. Networks, 2020)

Modeling and Analyzing an Industry 4.0 Communication Protocol. - Benjamin Aziz (IEEE Internet Things J., 2020)

Cyber security incidents analysis and classification in a case study of Korean enterprises. - Alaa Mohasseb; Benjamin Aziz; Jeyong Jung; Julak Lee (Knowl. Inf. Syst., 2020)

A Note on the Problem of Semantic Interpretation Agreement in Steganographic Communications. - Benjamin Aziz (J. Internet Serv. Inf. Secur., 2021)

A process algebraic mutation framework with application to a vehicle charging protocol. - Benjamin Aziz (Veh. Commun., 2021)

Formal Analysis by Abstract Interpretation - Case Studies in Modern Protocols - Benjamin Aziz (Springer, 2022)

Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. - Geoff W. Hamilton; Benjamin Aziz (SBMF, 2022)

A Novel Method for Embedding and Extracting Secret Messages in Textual Documents based on Paragraph Resizing. - Benjamin Aziz; Aysha Bukhelli; Rinat Khusainov; Alaa Mohasseb (SECRYPT, 2022)

Using Feature Analysis to Guide Risk Calculations of Cyber Incidents. - Benjamin Aziz; Alaa Mohasseb (WEBIST, 2022)

An empirical comparison of the security and performance characteristics of topology formation algorithms for Bitcoin networks. - Muntadher Sallal; Ruairí de Fréin; Ali Malik; Benjamin Aziz (Array, 2022)

Epistemology for Cyber Security: A Controlled Natural Language Approach. - Leigh Chase; Alaa Mohasseb; Benjamin Aziz (ICIKS, 2023)

A Study on Human Perception of Document Paragraph Layout. - Benjamin Aziz; Aysha Bukhelli (IISA, 2023)

Detecting the Manipulation of Text Structure in Text Steganography Using Machine Learning. - Benjamin Aziz; Aysha Bukhelli (WEBIST, 2023)

A Prediction Analysis for the Case of a Korean Police Dataset. - Benjamin Aziz; Alaa Mohasseb; Jeyong Jung (AIAI (2), 2024)

An Extended Method for Transmitting Secret Messages in Textual Documents Based on Paragraph Resizing. - Benjamin Aziz; Estabraq H. Makiyah; Aysha Bukhelli (SECRYPT, 2024)

A study on human perception of document paragraph layout using surveys. - Benjamin Aziz; Aysha Bukhelli (Intell. Decis. Technol., 2024)

Cyber Incidents Risk Assessments Using Feature Analysis. - Benjamin Aziz; Alaa Mohasseb (SN Comput. Sci., 2024)

The LeWiS Method: Target Variable Estimation Using Cyber Security Intelligence. - Leigh Chase; Alaa Mohasseb; Benjamin Aziz (SN Comput. Sci., 2024)

A Deontic Logic Model of Attribute-Based Information Flows in Database-Defined Networks with Application to Healthcare Monitoring. - Benjamin Aziz; Ukamaka Oragwu; Safa Tharib (ICISSP (2), 2025)

Requirements Cube: Towards a Matrix-Based Model of Requirements. - Benjamin Aziz; Gareth Hewlett; Ukamaka Oragwu; Peter Richards; Safa Tharib; Erica Y. Yang (ICSOFT, 2025)

A machine learning approach for detecting cybersecurity vulnerabilities in the internet of medical things. - Ukamaka Oragwu; Benjamin Aziz; Shahadate Rezvy (Knowl. Based Syst., 2025)