Amjad Ibrahim

Orcid: 0000-0003-3106-566X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Static and Dynamic Analysis of a Usage Control System.
Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024

2023
Specifying a Usage Control System.
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

2022
WiP: Metamodel for Continuous Authorisation and Usage Control.
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.
PhD thesis, 2021

2020
Expressing Accountability Patterns using Structural Causal Models.
CoRR, 2020

Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks.
Proceedings of the Graphical Models for Security - 7th International Workshop, 2020

Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2019
Extending Causal Models from Machines into Humans.
Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

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

Efficiently Checking Actual Causality with SAT Solving.
CoRR, 2019

Attack graph generation for microservice architecture.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Practical Causal Models for Cyber-Physical Systems.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2017
ACCBench: A Framework for Comparing Causality Algorithms.
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.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

StIns4CS: A State Inspection Tool for C#.
Proceedings of the 2016 ACM Workshop on Software PROtection, 2016


  Loading...