Amjad Ibrahim

According to our database, Amjad Ibrahim authored at least 16 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Static and Dynamic Analysis of a Usage Control System.

Ulrich Schöpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos

Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024

2023

Specifying a Usage Control System.

Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

2022

WiP: Metamodel for Continuous Authorisation and Usage Control.

Ali Hariri, Amjad Ibrahim, Theo Dimitrakos, Bruno Crispo

Proceedings of the SACMAT '22: The 27th ACM Symposium on Access Control Models and Technologies, New York, NY, USA, June 8, 2022

2021

An Actual Causality Framework for Accountable Systems.

Amjad Ibrahim

PhD thesis, 2021

2020

Expressing Accountability Patterns using Structural Causal Models.

Severin Kacianka, Amjad Ibrahim, Alexander Pretschner

CoRR, 2020

Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks.

Amjad Ibrahim, Simon Rehwald, Antoine Scemama, Florian Andres, Alexander Pretschner

Proceedings of the Graphical Models for Security - 7th International Workshop, 2020

Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs.

Amjad Ibrahim, Tobias Klesel, Ehsan Zibaei, Severin Kacianka, Alexander Pretschner

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

From Checking to Inference: Actual Causality Computations as Optimization Problems.

Amjad Ibrahim, Alexander Pretschner

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Extending Causal Models from Machines into Humans.

Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Lüdtke

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Taxonomy-as-a-Service: How To Structure Your Related Work.

Mohsen Ahmadvand, Amjad Ibrahim, Felix Huber

CoRR, 2019

Efficiently Checking Actual Causality with SAT Solving.

Amjad Ibrahim, Simon Rehwald, Alexander Pretschner

CoRR, 2019

Attack graph generation for microservice architecture.

Amjad Ibrahim, Stevica Bozhinoski, Alexander Pretschner

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Practical Causal Models for Cyber-Physical Systems.

Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2017

ACCBench: A Framework for Comparing Causality Algorithms.

Simon Rehwald, Amjad Ibrahim, Kristian Beckers, Alexander Pretschner

Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

2016

Requirements Reconciliation for Scalable and Secure Microservice (De)composition.

Mohsen Ahmadvand, Amjad Ibrahim

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

StIns4CS: A State Inspection Tool for C#.

Amjad Ibrahim, Sebastian Banescu

Proceedings of the 2016 ACM Workshop on Software PROtection, 2016