Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Narges Khakpour.

Newcastle AuthorsTitleYearFull text
Dr Narges Khakpour
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference2023
Dr Narges Khakpour
Security Countermeasure Selection for Component-based Software-intensive Systems2022
Dr Narges Khakpour
A Field-Sensitive Security Monitor for Object-Oriented Programs2021
Dr Narges Khakpour
Composition of Languages, Models, and Analyses2021
Dr Narges Khakpour
Design and Implementation of Self-Protecting systems: A Formal Approach2021
Dr Narges Khakpour
Foundations2021
Dr Narges Khakpour
Security Risk Analysis of Multi-Stage Attacks based on Data Criticality2021
Dr Narges Khakpour
Adaptive Trust-Aware Decentralized Information Flow Control2020
Dr Narges Khakpour
AT-DIFC: Toward Adaptive and Trust-Aware Decentralized Information Flow Control2020
Dr Narges Khakpour
Self-protection against business logic vulnerabilities2020
Dr Narges Khakpour
Smart-troubleshooting connected devices: Concept, challenges and opportunities2020
Dr Narges Khakpour
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems2019
Dr Narges Khakpour
Towards secure architecture-based adaptations2019
Dr Narges Khakpour
Synthesis of a Permissive Security Monitor2018