返回导师列表
NK

Narges Khakpour

Senior Lecturer in Cyber Security · School of Computing

Newcastle University · United Kingdom
Formal MethodsSecuritySecure Software SystemsLanguage-Based SecuritySelf-Protecting SystemsThreat ModellingFormal Verification

简介

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.

教育经历

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

代表成果

  • 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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。