Amjad Ibrahim

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 16

Top Topics

Dynamic Analysis

Insider Attacks

Top Venues

Publications

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