Narges Khakpour

About

I am a Senior Lecturer in Cybersecurity at the School of Computing, Newcastle University. Prior to joining Newcastle in 2022, I was an Associate Professor (docent) at Linnaeus University, Sweden (2014-2023), a Research Associate at KTH Royal Institute of Technology (2012-2014), and a visiting researcher at Braunschweig University of Technology (2011). My research spans developing and applying formal methods to analyse security and design secure software systems, including language-based security and self-protecting systems.

Education

• PhD, Tarbiat Modares University, 2012
• MSc, Tarbiat Modares University
• BSc, Shahid Beheshti University

Selected publications

• Design and Implementation of Self-Protecting systems: A Formal Approach
• A Field-Sensitive Security Monitor for Object-Oriented Programs
• Smart-troubleshooting connected devices: Concept, challenges and opportunities
• AT-DIFC: Toward Adaptive and Trust-Aware Decentralized Information Flow Control
• Compositional Security Analysis of Dynamic Component-based Systems
• Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference
• Security Countermeasure Selection for Component-based Software-intensive Systems
• Security Risk Analysis of Multi-Stage Attacks based on Data Criticality
• Self-protection against business logic vulnerabilities
• Adaptive Trust-Aware Decentralized Information Flow Control