Jag är docent på institutionen för datavetenskap och medieteknik vid Linnéuniversitetet.
Forskning
Mina forskningsintressen ligger inom formell verifiering och syntes, interaktiv bevisning av teorem och säkerhet. I synnerhet har jag fokuserat på syntes och verifiering av självskyddande system och verifiering av maskinkod.
Inom ramen för forskningsprojektet PROSSES arbetar vi med att utveckla skalbara verktyg och tekniker för att styra informationsflödet i Java-applikationer (Android). Självskydd med hjälp av styrning av informationsflöden, tekniker för design av självanpassande mjukvara samt säkerhetsmodellering och -verifiering är en annan riktning som vi nyligen har fokuserat på.
Mina forskargrupper
-
Cyber-Physical Systems (CPS) Forskargruppen CPS ansvarar för forskning, undervisning och samverkan inom området cyberfysikaliska system.
-
Engineering Resilient Systems (EReS) Forskargruppen Engineering Resilient Systems (EReS) Research Lab bedriver forskning inom så kallad systemresiliens. EReS fokuserar på att undersöka (och…
Mina avslutade forskningsprojekt
-
Projekt: Nyutveckling av masterprogram i datavetenskap Syftet med projektet är att nyutveckla vårt befintliga 2-åriga masterprogram i datavetenskap, med inriktning mot programvaruteknik. Resultatet…
-
Projekt: Provably secure self-protecting systems (PROSSES) Projektet PROSSES ska ta fram tekniker och verktyg för att skapa ett skyddslager för datasystem mot attacker från Internet.
-
Såddprojekt: Smart-Troubleshooting in the Connected Society Huvudmålet för detta såddprojekt inom Linnaeus University Centre for Data Intensive Sciences and Applications (DISA) var att skicka in en…
Publikationer
Artikel i tidskrift (Refereegranskat)
-
Khakpour, N. (2021). A Field-Sensitive Security Monitor for Object-Oriented Programs. Computers & security (Print). 108.
Status: Publicerad -
Skandylas, C., Khakpour, N. (2021). Design and Implementation of Self-Protecting Systems : A Formal Approach. Future generations computer systems. 115. 421-437.
Status: Publicerad -
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: Publicerad -
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: Publicerad -
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: Publicerad -
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: Publicerad -
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: Publicerad -
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: Publicerad -
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: Publicerad -
Khakpour, N., Jalili, S. (2009). Verification of Distributed Firewalls Configuration vs. Security Policies Using ALCQI(d). Applied Artificial Intelligence. 23 (10). 945-975.
Status: Publicerad -
Khakpour, N., Skandylas, C. Reducing Complexity of Runtime Security Analysis in Software-Intensive Systems. ACM Transactions on Software Engineering and Methodology.
Status: Inskickad
Konferensbidrag (Refereegranskat)
- 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.
- 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. (2009). A Formal Model to Develop and Verify Self-Adaptive Systems. Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009. 20-25.
- 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. .
Kapitel i bok, del av antologi (Refereegranskat)
- 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.
Rapport (Övrigt vetenskapligt)
- 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.