Amjad Ibrahim

17 papers A 1B 1C 3Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2024 C conf
Static and Dynamic Analysis of a Usage Control System.
SACMAT
Ulrich Schöpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos
2023 C conf
Specifying a Usage Control System.
SACMAT
Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos
2022 C conf
WiP: Metamodel for Continuous Authorisation and Usage Control.
SACMAT
Ali Hariri, Amjad Ibrahim, Theo Dimitrakos, Bruno Crispo
2021 — —
An Actual Causality Framework for Accountable Systems.
Amjad Ibrahim
2020 A conf
Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs.
ECAI
Amjad Ibrahim, Tobias Klesel, Ehsan Zibaei, Severin Kacianka, Alexander Pretschner
2020 — conf
Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks.
GraMSec
Amjad Ibrahim, Simon Rehwald, Antoine Scemama, Florian Andres, Alexander Pretschner
2020 J jnl
Expressing Accountability Patterns using Structural Causal Models.
CoRR
Severin Kacianka, Amjad Ibrahim, Alexander Pretschner
2020 B conf
From Checking to Inference: Actual Causality Computations as Optimization Problems.
ATVA
Amjad Ibrahim, Alexander Pretschner
2020 J jnl
From Checking to Inference: Actual Causality Computations as Optimization Problems.
CoRR
Amjad Ibrahim, Alexander Pretschner
2019 Misc conf
Attack graph generation for microservice architecture.
SAC
Amjad Ibrahim, Stevica Bozhinoski, Alexander Pretschner
2019 J jnl
Efficiently Checking Actual Causality with SAT Solving.
CoRR
Amjad Ibrahim, Simon Rehwald, Alexander Pretschner
2019 — conf
Extending Causal Models from Machines into Humans.
CREST
Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Lüdtke
2019 — conf
Practical Causal Models for Cyber-Physical Systems.
NFM
Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai
2019 J jnl
Taxonomy-as-a-Service: How To Structure Your Related Work.
CoRR
Mohsen Ahmadvand, Amjad Ibrahim, Felix Huber
2017 — conf
ACCBench: A Framework for Comparing Causality Algorithms.
CREST
Simon Rehwald, Amjad Ibrahim, Kristian Beckers, Alexander Pretschner
2016 — conf
Requirements Reconciliation for Scalable and Secure Microservice (De)composition.
RE Workshops
Mohsen Ahmadvand, Amjad Ibrahim
2016 — conf
StIns4CS: A State Inspection Tool for C#.
SPRO@CCS
Amjad Ibrahim, Sebastian Banescu