Follow
Amjad Ibrahim
Amjad Ibrahim
Huawei | Technical University of Munich
Verified email at huawei.com
Title
Cited by
Cited by
Year
Requirements reconciliation for scalable and secure microservice (de) composition
M Ahmadvand, A Ibrahim
2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016
932016
Attack graph generation for microservice architecture
A Ibrahim, S Bozhinoski, A Pretschner
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1235-1242, 2019
512019
Practical Causal Models for Cyber-Physical Systems
A Ibrahim, S Kacianka, A Pretschner, C Hartsell, G Karsai
NASA Formal Methods Symposium, 211-227, 2019
202019
Actual Causality Canvas: A General Framework for Explanation-based Socio-Technical Constructs
A Ibrahim, T Klesel, E Zibaei, S Kacianka, A Pretschner
The 24th European Conference on Artificial Intelligence (ECAI 2020) 325 …, 2020
192020
From Checking to Inference: Actual Causality Computations as Optimization Problems
A Ibrahim, A Pretschner
ATVA 2020: Automated Technology for Verification and Analysis, pp 343-359, 2020
132020
Efficient Checking of Actual Causality with SAT Solving
A Ibrahim, S Rehwald, A Pretschner
Engineering Secure and Dependable Software Systems 53, 241, 2019
122019
Extending Causal Models from Machines into Humans
S Kacianka, A Ibrahim, A Pretschner, A Trende, A Lüdtke
In Proceedings CREST 2019, 2019
112019
StIns4CS: A State Inspection Tool for C#
A Ibrahim, S Banescu
Proceedings of the 2016 ACM Workshop on Software PROtection, 61-71, 2016
62016
Towards Collaborative Security Approaches Based on the European Digital Sovereignty Ecosystem
A Ibrahim, T Dimitrakos
Collaborative Approaches for Cyber Security in Cyber-Physical Systems, 123-144, 2023
42023
Causality-based accountability mechanisms for socio-technical systems
A Ibrahim, S Kyriakopoulos, A Pretschner
Journal of Responsible Technology 7, 100016, 2021
32021
Expressing Accountability Patterns using Structural Causal Models
S Kacianka, A Ibrahim, A Pretschner
arXiv preprint arXiv:2005.03294, 2020
32020
Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks
A Ibrahim, S Rehwald, A Scemama, F Andres, A Pretschner
Graphical Models for Security. GraMSec 2020 12419, 2020
32020
WiP: Metamodel for Continuous Authorisation and Usage Control
A Hariri, A Ibrahim, T Dimitrakos, B Crispo
Proceedings of the 27th ACM on Symposium on Access Control Models and …, 2022
22022
Accbench: A framework for comparing causality algorithms
S Rehwald, A Ibrahim, K Beckers, A Pretschner
In Proceedings CREST 2017 arXiv preprint arXiv:1710.05720, 2017
22017
UCON+: Comprehensive Model, Architecture and Implementation for Usage Control and Continuous Authorization
A Hariri, A Ibrahim, B Alangot, S Bandopadhyay, A La Marra, A Rosetti, ...
Collaborative Approaches for Cyber Security in Cyber-Physical Systems, 209-226, 2023
12023
An Actual Causality Framework for Accountable Systems
A Ibrahim
Technische Universität München, 2021
12021
Specifying a Usage Control System
U Schöpp, C Xu, A Ibrahim, F Faghih, T Dimitrakos
Proceedings of the 28th ACM Symposium on Access Control Models and …, 2023
2023
Taxonomy-as-a-Service: How To Structure Your Related Work
M Ahmadvand, A Ibrahim, F Huber
arXiv preprint arXiv:1906.11217, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–18