Narges Khakpour

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 19

Top Topics

Controller Synthesis

Information Flow

Top Venues

Future Gener. Comput. Syst.

Publications

Narges Khakpour
Verification of Concurrent Machine Code Running on a Single-Core Machine. SAC (2024)
Nicolas Berthier, Narges Khakpour
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. VMCAI (2023)
Nicolas Berthier, Narges Khakpour
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version). CoRR (2022)
Narges Khakpour, David Parker
Partially-Observable Security Games for Automating Attack-Defense Analysis. CoRR (2022)
Charilaos Skandylas, Narges Khakpour, Javier Cámara
Security Countermeasure Selection for Component-Based Software-Intensive Systems. QRS (2022)
Narges Khakpour
A Field-Sensitive Security Monitor for Object-Oriented Programs. Comput. Secur. 108 (2021)
Charilaos Skandylas, Narges Khakpour
Design and Implementation of Self-Protecting systems: A Formal Approach. Future Gener. Comput. Syst. 115 (2021)
Charilaos Skandylas, Luyuan Zhou, Narges Khakpour, Simon Roe
Security Risk Analysis of Multi-Stage Attacks based on Data Criticality. EnCyCriS@ICSE (2021)
Charilaos Skandylas, Narges Khakpour, Jesper Andersson
Adaptive Trust-Aware Decentralized Information Flow Control. ACSOS (2020)
Charilaos Skandylas, Narges Khakpour, Jesper Andersson
: Toward Adaptive and Trust-Aware Decentralized Information Flow Control. ACM Trans. Auton. Adapt. Syst. 15 (4) (2020)
Silvan Zeller, Narges Khakpour, Danny Weyns, Daniel Deogun
Self-protection against business logic vulnerabilities. SEAMS@ICSE (2020)
Mauro Caporuscio, Francesco Flammini, Narges Khakpour, Prasannjeet Singh, Johan Thornadtsson
Smart-troubleshooting connected devices: Concept, challenges and opportunities. Future Gener. Comput. Syst. 111 (2020)
Narges Khakpour, Jetty Kleijn, Marjan Sirjani
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. FSEN (2019)
Narges Khakpour, Charilaos Skandylas, Goran Saman Nariman, Danny Weyns
Towards secure architecture-based adaptations. SEAMS@ICSE (2019)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143 (2018)
Narges Khakpour, Charilaos Skandylas
Synthesis of a Permissive Security Monitor. ESORICS (1) (2018)
Narges Khakpour
Control of Self-adaptation Under Partial Observation: A Modular Approach. ECSA (2017)
Narges Khakpour, Farhad Arbab, Éric Rutten
Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Aspects Comput. 28 (1) (2016)
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
Coordinated Actors for Reliable Self-adaptive Systems. FACS (2016)
Narges Khakpour, Mohammad Reza Mousavi
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). CONCUR (2015)
Narges Khakpour, Farhad Arbab, Éric Rutten
Supervisory Controller Synthesis for Safe Software Adaptation. WODES (2014)
Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz
Formal verification of information flow security for a simple arm-based separation kernel. CCS (2013)
Narges Khakpour, Oliver Schwarz, Mads Dam
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. CPP (2013)
Narges Khakpour, Saeed Jalili, Marjan Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study. J. Syst. Softw. 85 (12) (2012)
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78 (1) (2012)
Narges Khakpour, Marjan Sirjani, Ursula Goltz
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. ICFEM (2011)
Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili
Formal analysis of policy-based self-adaptive systems. SAC (2010)
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. Electron. Notes Theor. Comput. Sci. 263 (2010)
Mohsen Khaxar, Saeed Jalili, Narges Khakpour, M. Shaban Jokhio
Monitoring safety properties of composite web services at runtime using CSP. EDOCW (2009)
Narges Khakpour, Marjan Sirjani, Saeed Jalili
Formal Analysis of Smart Home Policies using Compositional Verification. ICFI (2009)
Narges Khakpour, Saeed Jalili
). Appl. Artif. Intell. 23 (10) (2009)