I moved to Newcastle University, UK (My homepage).
My research groups
-
Cyber-Physical Systems (CPS) The CPS research group is responsible for research, teaching, and outreach activities in the field of Cyber-Physical Systems.
-
Engineering Resilient Systems (EReS) The Engineering Resilient Systems (EReS) Research Lab conducts research in the area of system resilience. It focuses on investigating (and experimenting with)…
My completed research projects
-
Project: Development of a Master Programme in Computer Science The aim of this project is to develop our existing two-year master programme in Computer Science (with specialization in Software…
-
Project: Provably Secure Self-Protecting Systems (PROSSES) The PROSSES project will result in techniques and tools to create a protecting layer for software systems against attacks from the Internet.
-
Seed project: Smart-Troubleshooting in the Connected Society The main objective for this seed project within Linnaeus University Centre for Data Intensive Sciences and Applications (DISA) was to…
Publications
Article in journal (Refereed)
-
Khakpour, N. (2021). A Field-Sensitive Security Monitor for Object-Oriented Programs. Computers & security (Print). 108.
Status: Published -
Skandylas, C., Khakpour, N. (2021). Design and Implementation of Self-Protecting Systems : A Formal Approach. Future generations computer systems. 115. 421-437.
Status: Published -
Caporuscio, M., Flammini, F., Khakpour, N., Singh, P., Thornadtsson, J. (2020). Smart-troubleshooting connected devices : Concept, challenges and opportunities. Future generations computer systems. 111. 681-697.
Status: Published -
Skandylas, C., Khakpour, N., Andersson, J. (2020). AT-DIFC + : Toward Adaptive and Trust-Aware Decentralized Information Flow Control. ACM Transactions on Autonomous and Adaptive Systems. 15 (4).
Status: Published -
Bagheri, M., Sirjani, M., Khamespanah, E., Khakpour, N., Akkaya, I., et al. (2018). Coordinated actor model of self-adaptive track-based traffic control systems. Journal of Systems and Software. 143. 116-139.
Status: Published -
Khakpour, N., Arbab, F., Rutten, E. (2016). Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Aspects of Computing. 28 (1). 21-43.
Status: Published -
Khakpour, N., Jalili, S., Sirjani, M., Goltz, U., Abolhasanzadeh:, B. (2012). HPobSAM for modeling and analyzing IT Ecosystems : Through a case study. Journal of Systems and Software. 85 (12). 2770-2784.
Status: Published -
Khakpour, N., Jalili, S., Talcott, C., Sirjani, M., Mousavi, M. (2012). Formal modeling of evolving self-adaptive systems. Science of Computer Programming. 78 (1). 3-26.
Status: Published -
Khakpour, N., Jalili, S., Talcott, C., Sirjani, M., Mousavi, M. (2010). PobSAM : Policy-based Managing of Actors in Self-Adaptive Systems. Electronical Notes in Theoretical Computer Science. 263. 129-143.
Status: Published -
Khakpour, N., Jalili, S. (2009). Verification of Distributed Firewalls Configuration vs. Security Policies Using ALCQI(d). Applied Artificial Intelligence. 23 (10). 945-975.
Status: Published -
Khakpour, N., Skandylas, C. Reducing Complexity of Runtime Security Analysis in Software-Intensive Systems. ACM Transactions on Software Engineering and Methodology.
Status: Submitted
Conference paper (Refereed)
- Berthier, N., Khakpour, N. (2023). Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. Verification, Model Checking, and Abstract Interpretation. VMCAI 2023.. 66-90.
- Skandylas, C., Khakpour, N., Cámara, J. (2022). Security Countermeasure Selection for Component-Based Software-Intensive Systems. 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS), Guangzhou, China, 2022. 63-72.
- Skandylas, C., Zhou, L., Khakpour, N., Roe, S. (2021). Security Risk Analysis of Multi-Stage Attacks Based on Data Criticality. The 2nd International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS 2021), June 3th, 2021. 13-20.
- Zeller, S., Khakpour, N., Weyns, D., Deogun, D. (2020). Self-protection against business logic vulnerabilities. 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS@ICSE 2020). 174-180.
- Skandylas, C., Khakpour, N., Andersson, J. (2020). Adaptive Trust-Aware Decentralized Information Flow Control. 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) : Virtual Conference 17-21 August 2020. 92-101.
- Khakpour, N., Skandylas, C., Goran, S.N., Weyns, D. (2019). Towards secure architecture-based adaptations. 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 114-125.
- Khakpour, N., Skandylas, C. (2018). Synthesis of a Permissive Security Monitor. Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I. 48-65.
- Khakpour, N. (2017). Control of Self-adaptation Under Partial Observation : A Modular Approach. Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings. 112-119.
- Bagheri, M., Akkaya, I., Khamespanah, E., Khakpour, N., Sirjani, M., et al. (2017). Coordinated actors for reliable self-adaptive systems. FACS 2016 : The 13th International Conference on Formal Aspects of Component Software. 241-259.
- Khakpour, N., Mousavi, M.R. (2015). Notions of Conformance Testing for Cyber-Physical Systems : Overview and Roadmap. 26th International Conference on Concurrency Theory (CONCUR 2015). 18-40.
- Khakpour, N., Arbab, F., Rutten, E. (2014). Supervisory Controller Synthesis for Safe Software Adaptation. 12th IFAC International Workshop on Discrete Event Systems (2014). 39-45.
- Dam, M., Guanciale, R., Khakpour, N., Nemati, H., Schwartz, O. (2013). Formal verification of information flow security for a simple arm-based separation kernel. Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security. 223-234.
- Khakpour, N., Sirjani, M., Goltz, U. (2011). Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. Formal Methods and Software Engineering. 13th International Conference on Formal Engineering Methods (ICREM 2011). Durham, UK, 20111026. 16-32.
- Khakpour, N., Khosravi, R., Sirjani, M., Jalili, S. (2010). Formal analysis of policy-based self-adaptive systems. Proceedings of the 2010 ACM Symposium on Applied Computing, SAC'10. 2536-2543.
- Khakpour, N., Jalili, S. (2009). Using Supervised and Transductive Learning Techniques to Extract Network Attack Scenarios. 14th International CSI, Computer Conference, CSICC 2009. 71-76.
- Khakpour, N., Sirjani, M., Jalili, S. (2009). Formal Analysis of Smart Home Policies using Compositional Verification. The International Conference on Feature Interactions in Software and Communication Systems (ICFI). 220-233.
- Khakpour, N. (2009). A Formal Model to Develop and Verify Self-Adaptive Systems. Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009. 20-25.
- Khaksar, M., Jalili, S., Khakpour, N., Shaban Jokhio, S. (2009). Monitoring safety properties of composite web services at runtime using CSP. 13th Enterprise Distributed Object Computing Conference Workshops, 2009. EDOCW 2009. 107-113.
- Khakpour, N., Jalili, S. (2007). A Formal Approach for Analysis of Distributed Firewalls Congurations. .
- Jalili, S., Khakpour, N. (2006). Verication of Service Access Control Policies : A Description Logic Approach. .
Chapter in book (Refereed)
- Khakpour, N., Klein, J., Sirjani, M. (2019). A formal model to integrate behavioral and structural adaptations in self-adaptive systems. Fundamentals of software engineering : 8th International conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised selected papers. Springer. 3-19.
- Khakpour, N., Schwartz, O., Dam, M. (2013). Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties.. Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Springer. 276-291.
Report (Other academic)
- Skandylas, C., Khakpour, N., Andersson, J. (2020). Self-Adaptive Trust-aware Decentralized Information Flow Control, extended version. 18.
- Khakpour, N., Jalili, S., Sirjani, M. (2011). Assuring the Correctness of Large-scale Adaptive Systems. TU Braunschweig. 36.
- Goltz, U., Khakpour, N., Knieke, C., Martin, L. (2010). Behavioral Modeling of IT Ecosystems. NTH School for IT Ecosystems. 32.