Benjamin Aziz - RankMe

112 papers B 12C 17Misc 2Journal 36Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Towards a set-theoretic model of security policies for database-defined networks. Sci. Comput. Program. Benjamin Aziz
2025	—	`conf`	A Deontic Logic Model of Attribute-Based Information Flows in Database-Defined Networks with Application to Healthcare Monitoring. ICISSP (2) Benjamin Aziz, Ukamaka Oragwu, Safa Tharib
2025	J	`jnl`	A machine learning approach for detecting cybersecurity vulnerabilities in the internet of medical things. Knowl. Based Syst. Ukamaka Oragwu, Benjamin Aziz, Shahadate Rezvy
2025	C	`conf`	Extending the GeoJSON Standard with Deontic Logic Policies. WEBIST Benjamin Aziz
2025	C	`conf`	Requirements Cube: Towards a Matrix-Based Model of Requirements. ICSOFT Benjamin Aziz, Gareth Hewlett, Ukamaka Oragwu, Peter Richards, Safa Tharib, Erica Y. Yang
2024	—	`conf`	A Prediction Analysis for the Case of a Korean Police Dataset. AIAI (2) Benjamin Aziz, Alaa Mohasseb, Jeyong Jung
2024	J	`jnl`	A study on human perception of document paragraph layout using surveys. Intell. Decis. Technol. Benjamin Aziz, Aysha Bukhelli
2024	C	`conf`	An Extended Method for Transmitting Secret Messages in Textual Documents Based on Paragraph Resizing. SECRYPT Benjamin Aziz, Estabraq H. Makiyah, Aysha Bukhelli
2024	J	`jnl`	Cyber Incidents Risk Assessments Using Feature Analysis. SN Comput. Sci. Benjamin Aziz, Alaa Mohasseb
2024	J	`jnl`	The LeWiS Method: Target Variable Estimation Using Cyber Security Intelligence. SN Comput. Sci. Leigh Chase, Alaa Mohasseb, Benjamin Aziz
2023	—	`conf`	A Study on Human Perception of Document Paragraph Layout. IISA Benjamin Aziz, Aysha Bukhelli
2023	C	`conf`	Detecting the Manipulation of Text Structure in Text Steganography Using Machine Learning. WEBIST Benjamin Aziz, Aysha Bukhelli
2023	—	`conf`	Epistemology for Cyber Security: A Controlled Natural Language Approach. ICIKS Leigh Chase, Alaa Mohasseb, Benjamin Aziz
2022	C	`conf`	A Novel Method for Embedding and Extracting Secret Messages in Textual Documents based on Paragraph Resizing. SECRYPT Benjamin Aziz, Aysha Bukhelli, Rinat Khusainov, Alaa Mohasseb
2022	J	`jnl`	An empirical comparison of the security and performance characteristics of topology formation algorithms for Bitcoin networks. Array Muntadher Sallal, Ruairí de Fréin, Ali Malik, Benjamin Aziz
2022	—	`conf`	Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. SBMF Geoff W. Hamilton, Benjamin Aziz
2022	—	`book`	Formal Analysis by Abstract Interpretation - Case Studies in Modern Protocols Benjamin Aziz
2022	C	`conf`	Using Feature Analysis to Guide Risk Calculations of Cyber Incidents. WEBIST Benjamin Aziz, Alaa Mohasseb
2021	J	`jnl`	A Note on the Problem of Semantic Interpretation Agreement in Steganographic Communications. J. Internet Serv. Inf. Secur. Benjamin Aziz
2021	J	`jnl`	A process algebraic mutation framework with application to a vehicle charging protocol. Veh. Commun. Benjamin Aziz
2021	C	`conf`	The LeWiS Method: Target Variable Estimation using Cyber Security Intelligence. WEBIST Leigh Chase, Alaa Mohasseb, Benjamin Aziz
2020	—	`conf`	Application of Extended IOWA Operator for Making Group Decision on Co-owned Contents in Online Social Networks (OSNs). IEEE Conf. on Intelligent Systems Gulsum Akkuzu, Benjamin Aziz, Mo Adda
2020	—	`conf`	Automated Detection of Racial Microaggressions using Machine Learning. SSCI Omar Ali, Nancy Scheidt, Alexander E. Gegov, Ella Haig, Mo Adda, Benjamin Aziz
2020	J	`jnl`	Cyber security incidents analysis and classification in a case study of Korean enterprises. Knowl. Inf. Syst. Alaa Mohasseb, Benjamin Aziz, Jeyong Jung, Julak Lee
2020	J	`jnl`	Modeling and Analyzing an Industry 4.0 Communication Protocol. IEEE Internet Things J. Benjamin Aziz
2020	C	`conf`	SMS Spam Identification and Risk Assessment Evaluations. WEBIST Alaa Mohasseb, Benjamin Aziz, Andreas Kanavos
2020	J	`jnl`	Smart routing: Towards proactive fault handling of software-defined networks. Comput. Networks Ali Malik, Benjamin Aziz, Mo Adda, Chih-Heng Ke
2020	J	`jnl`	Towards Consensus-Based Group Decision Making for Co-Owned Data Sharing in Online Social Networks. IEEE Access Gulsum Akkuzu, Benjamin Aziz, Mo Adda
2020	C	`conf`	Towards Secure Data Sharing Processes in Online Social Networks: Trusty. ICSOFT Gulsum Akkuzu, Benjamin Aziz, Mo Adda
2019	—	`conf`	A Fuzzy Modeling Approach for Group Decision Making in Social Networks. BIS (2) Gulsum Akkuzu, Benjamin Aziz, Mo Adda
2019	—	`conf`	Advantages of Having Users' Trust and Reputation Values on Data Sharing Process in Online Social Networks. SNAMS Gulsum Akkuzu, Benjamin Aziz, Mo Adda
2019	J	`jnl`	Deriving event data sharing in IoT systems using formal modelling and analysis. Internet Things Paul Fremantle, Benjamin Aziz
2019	—	`conf`	Enforcing Multilevel Security Policies in Database-Defined Networks using Row-Level Security. NetSys Ali Al-Haj, Benjamin Aziz
2019	—	`conf`	Evaluating the Quantity of Incident-Related Information in an Open Cyber Security Dataset. BIS (Workshops) Benjamin Aziz, John Arthur Lee, Gulsum Akkuzu
2019	C	`conf`	Fuzzy Logic Decision based Collaborative Privacy Management Framework for Online Social Networks. ICISSP Gulsum Akkuzu, Benjamin Aziz, Mo Adda
2019	C	`conf`	Predicting CyberSecurity Incidents using Machine Learning Algorithms: A Case Study of Korean SMEs. ICISSP Alaa Mohasseb, Benjamin Aziz, Jeyong Jung, Julak Lee
2019	J	`jnl`	Smart Routing: Towards Proactive Fault-Handling in Software-Defined Networks. CoRR Ali Malik, Benjamin Aziz, Mo Adda, Chih-Heng Ke
2019	J	`jnl`	Software-defined networks: A walkthrough guide from occurrence To data plane fault tolerance. PeerJ Prepr. Ali Malik, Benjamin Aziz, Ali Al-Haj, Mo Adda
2018	J	`jnl`	A false negative study of the steganalysis tool: Stegdetect. PeerJ Prepr. Benjamin Aziz, Jeyong Jung
2018	J	`jnl`	Anomaly analysis on an open DNS dataset. PeerJ Prepr. Benjamin Aziz, Nikolaos Menychtas, Ammar Al-Bazi
2018	J	`jnl`	Cloud-based federated identity for the Internet of Things. Ann. des Télécommunications Paul Fremantle, Benjamin Aziz
2018	—	`conf`	Data-Driven Chinese Walls. ICCSW Gulsum Akkuzu, Benjamin Aziz
2018	—	`conf`	THRIFTY: Towards High Reduction In Flow Table memorY. ICCSW Ali Malik, Benjamin Aziz, Chih-Heng Ke
2018	J	`jnl`	Towards a mutation analysis of IoT protocols. Inf. Softw. Technol. Benjamin Aziz
2018	J	`jnl`	Towards open data-driven evaluation of access control policies. Comput. Stand. Interfaces Benjamin Aziz
2017	C	`conf`	Enhancing IoT Security and Privacy with Distributed Ledgers - A Position Paper - . IoTBDS Paul Fremantle, Benjamin Aziz, Tom Kirkham
2017	B	`conf`	Finding most reliable paths for software defined networks. IWCMC Ali Malik, Benjamin Aziz, Mohamed Bader-El-Den
2017	C	`conf`	New Computing Model for Securing Mobile Agents in IP Networks. IoTBDS Jean Tajer, Mo Adda, Benjamin Aziz
2017	J	`jnl`	Optimisation Methods for Fast Restoration of Software-Defined Networks. IEEE Access Ali Malik, Benjamin Aziz, Mo Adda, Chih-Heng Ke
2017	Misc	`conf`	Virtual topology partitioning towards an efficient failure recovery of software defined networks. ICMLC Ali Malik, Benjamin Aziz, Chih-Heng Ke, Han Liu, Mo Adda
2016	—	`conf`	A Temporal Blockchain: A Formal Analysis. CTS Richard Dennis, Gareth Owenson, Benjamin Aziz
2016	Misc	`conf`	A Utility-Based Reputation Model for the Internet of Things. SEC Benjamin Aziz, Paul Fremantle, Rui Wei, Álvaro Enrique Arenas
2016	J	`jnl`	A formal model and analysis of an IoT protocol. Ad Hoc Networks Benjamin Aziz
2016	J	`jnl`	An Incremental B-Model for RBAC-Controlled Electronic Marking System. Int. J. Secur. Softw. Eng. Nasser Al-Hadhrami, Benjamin Aziz, Lotfi Ben Othmane
2016	—	`conf`	Check Your Blind Spot: A New Cyber-Security Metric for Measuring Incident Response Readiness. RISK Benjamin Aziz, Ali Malik, Jeyong Jung
2016	J	`jnl`	Modelling Fine-Grained Access Control Policies in Grids. J. Grid Comput. Benjamin Aziz
2016	—	`conf`	OAuthing: Privacy-enhancing federation for the Internet of Things. CIoT Paul Fremantle, Benjamin Aziz
2016	—	`conf`	Privacy-enhancing Federated Middleware for the Internet of Things. Middleware Posters and Demos Paul Fremantle, Benjamin Aziz
2016	B	`conf`	Search-Based SQL Injection Attacks Testing Using Genetic Programming. EuroGP Benjamin Aziz, Mohamed Bader-El-Den, Cerana Hippolyte
2015	—	`conf`	Goal-Oriented Requirement Engineering Support for Business Continuity Planning. ER Workshops Álvaro Enrique Arenas, Philippe Massonet, Christophe Ponsard, Benjamin Aziz
2015	B	`conf`	Incremental Development of RBAC-Controlled E-Marking System Using the B Method. ARES Nasser Al-Hadhrami, Benjamin Aziz, Shantanu Sardesai, Lotfi Ben Othmane
2015	—	`conf`	Privacy Aware on-Demand Resource Provisioning for IoT Data Processing. IoT 360 (2) Tom Kirkham, Arnab Sinha, Nikos Parlavantzas, Bartosz Kryza, Paul Fremantle, Kyriakos Kritikos, Benjamin Aziz
2015	—	`conf`	Web API Management Meets the Internet of Things. SALAD@ESWC Paul Fremantle, Jacek Kopecký, Benjamin Aziz
2015	—	`conf`	Web API Management Meets the Internet of Things. ESWC (Satellite Events) Paul Fremantle, Jacek Kopecký, Benjamin Aziz
2014	B	`conf`	A Formal Model and Analysis of the MQ Telemetry Transport Protocol. ARES Benjamin Aziz
2014	C	`conf`	A Formal Model for Forensic Storage Media Preparation Tools. SECRYPT Benjamin Aziz, Philippe Massonet, Christophe Ponsard
2014	J	`jnl`	Enforcing Reputation Constraints on Business Process Workflows. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Benjamin Aziz, Geoff W. Hamilton
2014	—	`conf`	Federated Identity and Access Management for the Internet of Things. SIoT Paul Fremantle, Benjamin Aziz, Jacek Kopecký, Philip J. Scott
2014	J	`jnl`	Modelling and refinement of forensic data acquisition specifications. Digit. Investig. Benjamin Aziz
2014	J	`jnl`	Security and VO Management Capabilities in a Large-Scale Grid Operating System. Comput. Informatics Benjamin Aziz, Ioana Sporea
2014	—	`conf`	Using Security Patterns for Modelling Security Capabilities in Grid Systems. SOSE Benjamin Aziz, Clive Blackwell
2013	J	`jnl`	A Framework for Digital Forensics and Investigations: The Goal-Driven Approach. Int. J. Digit. Crime Forensics Benjamin Aziz, Clive Blackwell, Shareeful Islam
2013	J	`jnl`	A study on the false positive rate of Stegdetect. Digit. Investig. Omed S. Khalind, Julio C. Hernandez-Castro, Benjamin Aziz
2013	—	`conf`	On Formalising Policy Refinement in Grid Virtual Organisations. SERA (selected papers) Benjamin Aziz
2013	B	`conf`	Reputation-Controlled Business Process Workflows. ARES Benjamin Aziz, Geoff W. Hamilton
2013	—	`conf`	Single-mismatch 2LSB embedding steganography. ISSPIT Omed S. Khalind, Benjamin Aziz
2013	—	`conf`	Using a Goal-Driven Approach in the Investigation of a Questioned Contract. IFIP Int. Conf. Digital Forensics Clive Blackwell, Shareeful Islam, Benjamin Aziz
2012	J	`jnl`	An Algorithm for Trading Grid Resources in a Virtual Marketplace. Scalable Comput. Pract. Exp. Benjamin Aziz
2012	—	`conf`	Application of formal analysis to enhancing trust in a complex grid-based operating system. ISARCS Benjamin Aziz
2011	—	`conf`	A Metadata Model for Data Centric Security. STA Benjamin Aziz, Shirley Y. Crompton, Michael D. Wilson
2011	—	`conf`	An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper). ServiceWave Alvaro E. Arenas, Benjamin Aziz, Szymon Maj, Brian Matthews
2011	B	`conf`	Correcting a Delegation Protocol for Grids. TrustBus Benjamin Aziz
2011	—	`conf`	Model-Based Refinement of Security Policies in Collaborative Virtual Organisations. ESSoS Benjamin Aziz, Alvaro E. Arenas, Michael D. Wilson
2011	—	`conf`	SecPAL4DSA: A Policy Language for Specifying Data Sharing Agreements. STA Benjamin Aziz, Alvaro Arenas, Michael D. Wilson
2011	J	`jnl`	Verifying a delegation protocol for grid systems. Future Gener. Comput. Syst. Benjamin Aziz, Geoff W. Hamilton
2010	B	`conf`	A Secure and Scalable Grid-Based Content Management System. ARES Benjamin Aziz, Alvaro Arenas, Giovanni Cortese, Bruno Crispo, Silvio Causetti
2010	B	`conf`	An Event-B Approach to Data Sharing Agreements. IFM Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson
2010	C	`conf`	Management of Security Policies in Virtual Organisations. SECRYPT Benjamin Aziz, Alvaro Arenas, Ian Johnson, Matej Artac, Ales Cernivec, Philip Robinson
2010	J	`jnl`	Reputation management in collaborative computing systems. Secur. Commun. Networks Alvaro E. Arenas, Benjamin Aziz, Gheorghe Cosmin Silaghi
2009	J	`jnl`	Configuring storage-area networks using mandatory security. J. Comput. Secur. Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart
2009	—	`conf`	Detecting Man-in-the-Middle Attacks by Precise Timing. SECURWARE Benjamin Aziz, Geoff W. Hamilton
2009	—	`conf`	From Goal-Oriented Requirements to Event-B Specifications. NASA Formal Methods Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet
2009	—	`conf`	On Usage Control in Data Grids. IFIPTM Federico Stagni, Alvaro Arenas, Benjamin Aziz, Fabio Martinelli
2008	B	`conf`	Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2008	—	`conf`	Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. ServiceWave Syed Naqvi, Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Lorenzo Blasi, Giovanni Cortese
2008	B	`conf`	Modelling Security Properties in a Grid-based Operating System with Anti-Goals. ARES Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang
2008	C	`conf`	Reputation Management in Grid-based Virtual Organisations. SECRYPT Álvaro Enrique Arenas, Benjamin Aziz, Gheorghe Cosmin Silaghi
2008	C	`conf`	Towards Modelling Obligations in Event-B. ABZ Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard
2007	—	`conf`	Managing Conflicts of Interest in Virtual Organisations. STM@ESORICS Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews
2007	J	`jnl`	Modelling and Analysis of PKI-Based Systems Using Process Calculi. Int. J. Found. Comput. Sci. Benjamin Aziz, Geoff W. Hamilton
2006	—	`conf`	Measuring the Speed of Information Leakage in Mobile Processes. AMAST Benjamin Aziz
2006	J	`jnl`	Reconfiguring Role Based Access Control policies using risk semantics. J. High Speed Networks Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart
2005	—	`conf`	A Semiring-based Quantitative Analysis of Mobile Systems. SVV@ICFEM Benjamin Aziz
2005	—	`conf`	A Static Analysis of PKI-Based Systems. ICTCS Benjamin Aziz, David Gray, Geoff W. Hamilton
2005	J	`jnl`	A static analysis of cryptographic processes: the denotational approach. J. Log. Algebraic Methods Program. Benjamin Aziz, Geoff W. Hamilton, David Gray
2005	B	`conf`	Trading Off Security in a Service Oriented Architecture. DBSec Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert
2004	B	`conf`	Configuring Storage Area Networks for Mandatory Security. DBSec Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart
2003	—	`ed.`	6th International Workshop on Formal Methods, IWFM 2003, Dublin City University, Ireland, 11 July, 2003 IWFM Joseph M. Morris, Benjamin Aziz, Frédéric Oehl
2003	—	`conf`	A Calculus for Secure Mobility. ASIAN Bruno Blanchet, Benjamin Aziz
2003	—	`conf`	A Denotational Approach to the Static Analysis of Cryptographic Processes. SVV@ICLP Benjamin Aziz, Geoff W. Hamilton, David Gray
2001	—	`conf`	A Denotational Semantics for the Pi-Calculus. IWFM Benjamin Aziz, Geoff W. Hamilton
2000	—	`conf`	Adaptability in CORBA: The Mobile Proxy Approach. DOA Benjamin Aziz, Christian Damsgaard Jensen