Verification of Concurrent Machine Code Running on a Single-Core Machine N Khakpour Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 1675-1683, 2024 | | 2024 |
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference N Berthier, N Khakpour International Conference on Verification, Model Checking, and Abstract …, 2023 | | 2023 |
Reducing Complexity of Runtime Security Analysis in Software-Intensive Systems N Khakpour, C Skandylas ACM Transactions on Software Engineering and Methodology, 2023 | | 2023 |
Security Countermeasure Selection for Component-Based Software-Intensive Systems C Skandylas, N Khakpour, J Cámara 2022 IEEE 22nd International Conference on Software Quality, Reliability and …, 2022 | 1 | 2022 |
Symbolic abstract heaps for polymorphic information-flow guard inference (extended version) N Berthier, N Khakpour arXiv preprint arXiv:2211.03450, 2022 | 1 | 2022 |
Partially-Observable Security Games for Automating Attack-Defense Analysis N Khakpour, D Parker arXiv preprint arXiv:2211.01508, 2022 | | 2022 |
AT-DIFC+: Toward Adaptive and Trust-Aware Decentralized Information Flow Control C Skandylas, N Khakpour, J Andersson ACM Transactions on Autonomous and Adaptive Systems (TAAS) 15 (4), 1-35, 2021 | 4 | 2021 |
A field-sensitive security monitor for object-oriented programs N Khakpour Computers & Security 108, 102349, 2021 | 3 | 2021 |
Security risk analysis of multi-stage attacks based on data criticality C Skandylas, L Zhou, N Khakpour, S Roe 2021 IEEE/ACM 2nd International Workshop on Engineering and Cybersecurity of …, 2021 | 3 | 2021 |
Design and implementation of self-protecting systems: A formal approach C Skandylas, N Khakpour Future Generation Computer Systems 115, 421-437, 2021 | 7 | 2021 |
Composition of languages, models, and analyses C Talcott, S Ananieva, K Bae, B Combemale, R Heinrich, M Hills, ... Composing Model-Based Analysis Tools, 45-70, 2021 | 10 | 2021 |
Smart-troubleshooting connected devices: Concept, challenges and opportunities M Caporuscio, F Flammini, N Khakpour, P Singh, J Thornadtsson Future Generation Computer Systems 111, 681-697, 2020 | 34 | 2020 |
Adaptive trust-aware decentralized information flow control C Skandylas, N Khakpour, J Andersson 2020 IEEE International Conference on Autonomic Computing and Self …, 2020 | 6 | 2020 |
Self-protection against business logic vulnerabilities S Zeller, N Khakpour, D Weyns, D Deogun Proceedings of the IEEE/ACM 15th International Symposium on Software …, 2020 | 7 | 2020 |
Self-Adaptive Trust-Aware Decentralized Information Flow Control-Technical Report C Skandylas, N Khakpour, J Andersson IEEE, 2020 | 1 | 2020 |
Self-adaptive trust-aware decentralized information flow control, extended version C Skandylas, N Khakpour, J Andersson | 3 | 2020 |
Towards secure architecture-based adaptations N Khakpour, C Skandylas, GS Nariman, D Weyns 2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019 | 20 | 2019 |
Explainability and Testing C Gerking, I Gerostathopoulos, J Karlsson, N Khakpour, M Lochau, ... Explainable Software for Cyber-Physical Systems (ES4CPS), 10, 2019 | | 2019 |
Explainability for safety and security M Borg, S Gerasimou, N Hochgeschwender, N Khakpour Explainable Software for Cyber-Physical Systems (ES4CPS), Report from the GI …, 2019 | 2 | 2019 |
Security Explainability Challenges in Cyber-Physical Systems N Khakpour Explainable Software for Cyber-Physical Systems (ES4CPS), 44, 2019 | 1 | 2019 |