Compositional security analysis of dynamic component-based systems.

Narges Khakpour https://orcid.org/0000-0002-0377-5595 https://www.wikidata.org/entity/Q130854054

Charilaos Skandylas Narges Khakpour Compositional security analysis of dynamic component-based systems. 108002 2026 191 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2025.108002 db/journals/infsof/infsof191.html#SkandylasK26 streams/journals/infsof

Gianpietro Castiglione Shahriar Ebrahimi Narges Khakpour VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs. 2026 February abs/2602.13682 CoRR https://doi.org/10.48550/arXiv.2602.13682 db/journals/corr/corr2602.html#abs-2602-13682 streams/journals/corr

Rahul Sankalana Gunawardhana Narges Khakpour Security Threats and Challenges of Digital Twins-Enabled Self-adaptive Systems. 390-405 2025 Rebeca for Actor Analysis in Action https://doi.org/10.1007/978-3-031-85134-6_17 conf/birthday/2025sirjani db/conf/birthday/sirjani2025.html#GunawardhanaK25

Narges Khakpour Nicolas Berthier Symmaries: Automatic Inference of Formal Security Summaries for Java Programs. 2025 December abs/2512.20396 CoRR https://doi.org/10.48550/arXiv.2512.20396 db/journals/corr/corr2512.html#abs-2512-20396 streams/journals/corr

Narges Khakpour Charilaos Skandylas Compositional Security Analysis of Dynamic Component-based Systems. 1232-1244 2024 ASE https://doi.org/10.1145/3691620.3695499 conf/kbse/2024 db/conf/kbse/ase2024.html#KhakpourS24 Narges Khakpour Verification of Concurrent Machine Code Running on a Single-Core Machine. 1675-1683 2024 SAC https://doi.org/10.1145/3605098.3635924 https://www.wikidata.org/entity/Q130854055 conf/sac/2024 db/conf/sac/sac2024.html#Khakpour24 Narges Khakpour David Parker 0001 Partially-Observable Security Games for Attack-Defence Analysis in Software Systems. 144-161 2024 SEFM https://doi.org/10.1007/978-3-031-77382-2_9 conf/sefm/2024 db/conf/sefm/sefm2024.html#KhakpourP24 streams/conf/sefm Nicolas Berthier Narges Khakpour Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. 66-90 2023 VMCAI https://doi.org/10.1007/978-3-031-24950-1_4 conf/vmcai/2023 db/conf/vmcai/vmcai2023.html#BerthierK23 Charilaos Skandylas Narges Khakpour Javier Cámara 0001 Security Countermeasure Selection for Component-Based Software-Intensive Systems. 63-72 2022 QRS https://doi.org/10.1109/QRS57517.2022.00017 conf/qrs/2022 db/conf/qrs/qrs2022.html#SkandylasKC22

Narges Khakpour David Parker 0001 Partially-Observable Security Games for Automating Attack-Defense Analysis. 2022 abs/2211.01508 CoRR https://doi.org/10.48550/arXiv.2211.01508 db/journals/corr/corr2211.html#abs-2211-01508

Nicolas Berthier Narges Khakpour Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version). 2022 abs/2211.03450 CoRR https://doi.org/10.48550/arXiv.2211.03450 db/journals/corr/corr2211.html#abs-2211-03450

Narges Khakpour A Field-Sensitive Security Monitor for Object-Oriented Programs. 102349 2021 108 Comput. Secur. https://doi.org/10.1016/j.cose.2021.102349 https://www.wikidata.org/entity/Q115047960 db/journals/compsec/compsec108.html#Khakpour21

Charilaos Skandylas Narges Khakpour Design and Implementation of Self-Protecting systems: A Formal Approach. 421-437 2021 115 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2020.09.005 db/journals/fgcs/fgcs115.html#SkandylasK21

Charilaos Skandylas Luyuan Zhou Narges Khakpour Simon Roe Security Risk Analysis of Multi-Stage Attacks based on Data Criticality. 13-20 2021 EnCyCriS@ICSE https://doi.org/10.1109/EnCyCriS52570.2021.00010 conf/icse-encycris/2021 db/conf/icse-encycris/icse-encycris2021.html#SkandylasZKR21 Carolyn L. Talcott Sofia Ananieva Kyungmin Bae Benoît Combemale Robert Heinrich Mark Hills 0001 Narges Khakpour Ralf H. Reussner Bernhard Rumpe Patrizia Scandurra Hans Vangheluwe Francisco Durán 0001 Steffen Zschaler Foundations. 9-37 2021 Composing Model-Based Analysis Tools https://doi.org/10.1007/978-3-030-81915-6_2 books/sp/21/HDTZ2021 db/books/collections/HDTZ2021.html#TalcottABCH0KRRSV0Z21 Carolyn L. Talcott Sofia Ananieva Kyungmin Bae Benoît Combemale Robert Heinrich Mark Hills 0001 Narges Khakpour Ralf H. Reussner Bernhard Rumpe Patrizia Scandurra Hans Vangheluwe Composition of Languages, Models, and Analyses. 45-70 2021 Composing Model-Based Analysis Tools https://doi.org/10.1007/978-3-030-81915-6_4 books/sp/21/HDTZ2021 db/books/collections/HDTZ2021.html#TalcottABCH0KRRSV21

Mauro Caporuscio Francesco Flammini Narges Khakpour Prasannjeet Singh Johan Thornadtsson Smart-troubleshooting connected devices: Concept, challenges and opportunities. 681-697 2020 111 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2019.09.004 db/journals/fgcs/fgcs111.html#CaporuscioFKST20

Charilaos Skandylas Narges Khakpour Jesper Andersson AT-DIFC+: Toward Adaptive and Trust-Aware Decentralized Information Flow Control. 13:1-13:35 2020 15 ACM Trans. Auton. Adapt. Syst. 4 https://doi.org/10.1145/3487292 db/journals/taas/taas15.html#SkandylasKA20

Charilaos Skandylas Narges Khakpour Jesper Andersson Adaptive Trust-Aware Decentralized Information Flow Control. 92-101 2020 ACSOS https://doi.org/10.1109/ACSOS49614.2020.00030 conf/acsos/2020 db/conf/acsos/acsos2020.html#SkandylasKA20 Silvan Zeller Narges Khakpour Danny Weyns Daniel Deogun Self-protection against business logic vulnerabilities. 174-180 2020 SEAMS@ICSE https://doi.org/10.1145/3387939.3391609 https://www.wikidata.org/entity/Q130838807 conf/icse/2020seams db/conf/icse/seams2020.html#ZellerKWD20 Narges Khakpour Jetty Kleijn Marjan Sirjani A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. 3-19 2019 FSEN https://doi.org/10.1007/978-3-030-31517-7_1 conf/fsen/2019 db/conf/fsen/fsen2019.html#KhakpourKS19 Narges Khakpour Charilaos Skandylas Goran Saman Nariman Danny Weyns Towards secure architecture-based adaptations. 114-125 2019 SEAMS@ICSE https://doi.org/10.1109/SEAMS.2019.00023 https://dl.acm.org/citation.cfm?id=3341544 conf/icse/2019seams db/conf/icse/seams2019.html#KhakpourSNW19

Maryam Bagheri 0001 Marjan Sirjani Ehsan Khamespanah Narges Khakpour Ilge Akkaya Ali Movaghar 0001 Edward A. Lee Coordinated actor model of self-adaptive track-based traffic control systems. 116-139 2018 143 J. Syst. Softw. https://doi.org/10.1016/j.jss.2018.05.034 https://www.wikidata.org/entity/Q129778250 db/journals/jss/jss143.html#BagheriSKKAML18

Narges Khakpour Charilaos Skandylas Synthesis of a Permissive Security Monitor. 48-65 2018 ESORICS (1) https://doi.org/10.1007/978-3-319-99073-6_3 conf/esorics/2018-1 db/conf/esorics/esorics2018-1.html#KhakpourS18 Narges Khakpour Control of Self-adaptation Under Partial Observation: A Modular Approach. 112-119 2017 ECSA https://doi.org/10.1007/978-3-319-65831-5_8 conf/ecsa/2017 db/conf/ecsa/ecsa2017.html#Khakpour17

Narges Khakpour Farhad Arbab Éric Rutten Synthesizing structural and behavioral control for reconfigurations in component-based systems. 21-43 2016 28 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-015-0346-y db/journals/fac/fac28.html#KhakpourAR16

Maryam Bagheri 0001 Ilge Akkaya Ehsan Khamespanah Narges Khakpour Marjan Sirjani Ali Movaghar 0001 Edward A. Lee Coordinated Actors for Reliable Self-adaptive Systems. 241-259 2016 FACS https://doi.org/10.1007/978-3-319-57666-4_15 https://www.wikidata.org/entity/Q57835148 conf/facs2/2016 db/conf/facs2/facs2016.html#BagheriAKKSML16 Narges Khakpour Mohammad Reza Mousavi 0001 Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). 18-40 2015 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2015.18 conf/concur/2015 db/conf/concur/concur2015.html#KhakpourM15 Narges Khakpour Farhad Arbab Éric Rutten Supervisory Controller Synthesis for Safe Software Adaptation. 39-45 2014 WODES https://doi.org/10.3182/20140514-3-FR-4046.00035 conf/wodes/2014 db/conf/wodes/wodes2014.html#KhakpourAR14 Mads Dam Roberto Guanciale Narges Khakpour Hamed Nemati Oliver Schwarz Formal verification of information flow security for a simple arm-based separation kernel. 223-234 2013 CCS https://doi.org/10.1145/2508859.2516702 conf/ccs/2013 db/conf/ccs/ccs2013.html#DamGKNS13 Narges Khakpour Oliver Schwarz Mads Dam Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. 276-291 2013 CPP https://doi.org/10.1007/978-3-319-03545-1_18 conf/cpp/2013 db/conf/cpp/cpp2013.html#KhakpourSD13

Narges Khakpour Saeed Jalili Marjan Sirjani Ursula Goltz Bahareh Abolhasanzadeh HPobSAM for modeling and analyzing IT Ecosystems - Through a case study. 2770-2784 2012 85 J. Syst. Softw. 12 https://doi.org/10.1016/j.jss.2012.03.007 db/journals/jss/jss85.html#KhakpourJSGA12

Narges Khakpour Saeed Jalili Carolyn L. Talcott Marjan Sirjani Mohammad Reza Mousavi 0001 Formal modeling of evolving self-adaptive systems. 3-26 2012 78 Sci. Comput. Program. 1 https://doi.org/10.1016/j.scico.2011.09.004 https://www.wikidata.org/entity/Q57745548 db/journals/scp/scp78.html#KhakpourJTSM12

Narges Khakpour Marjan Sirjani Ursula Goltz Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. 16-32 2011 ICFEM https://doi.org/10.1007/978-3-642-24559-6_4 conf/icfem/2011 db/conf/icfem/icfem2011.html#KhakpourSG11 Narges Khakpour Ramtin Khosravi Marjan Sirjani Saeed Jalili Formal analysis of policy-based self-adaptive systems. 2536-2543 2010 SAC https://doi.org/10.1145/1774088.1774613 conf/sac/2010 db/conf/sac/sac2010.html#KhakpourKSJ10

Narges Khakpour Saeed Jalili Verification of Distributed Firewalls Configuration vs. Security Policies Using ALCQI(d). 945-975 2009 23 Appl. Artif. Intell. 10 https://doi.org/10.1080/08839510903208088 https://www.wikidata.org/entity/Q58242825 db/journals/aai/aai23.html#KhakpourJ09

Mohsen Khaxar Saeed Jalili Narges Khakpour M. Shaban Jokhio Monitoring safety properties of composite web services at runtime using CSP. 107-113 2009 EDOCW https://doi.org/10.1109/EDOCW.2009.5332007 conf/edoc/2009w db/conf/edoc/edoc2009w.html#KhaxarJKJ09 Narges Khakpour Marjan Sirjani Saeed Jalili Formal Analysis of Smart Home Policies using Compositional Verification. 220-233 2009 ICFI https://doi.org/10.3233/978-1-60750-014-8-220 conf/fiw/2009 db/conf/fiw/icfi2009.html#KhakpourSJ09 Narges Khakpour Saeed Jalili Carolyn L. Talcott Marjan Sirjani Mohammad Reza Mousavi 0001 PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. 129-143 2009 conf/facs2/2009 FACS@FMWeek https://doi.org/10.1016/j.entcs.2010.05.008 https://www.wikidata.org/entity/Q57745640 db/journals/entcs/entcs263.html#KhakpourJTSM10 Bahareh Abolhasanzadeh Ilge Akkaya Jesper Andersson Farhad Arbab Kyungmin Bae Maryam Bagheri 0001 Nicolas Berthier Javier Cámara 0001 Mauro Caporuscio Gianpietro Castiglione Benoît Combemale Mads Dam Daniel Deogun Francisco Durán 0001 Shahriar Ebrahimi Francesco Flammini Ursula Goltz Roberto Guanciale Rahul Sankalana Gunawardhana Robert Heinrich Mark Hills 0001 Saeed Jalili M. Shaban Jokhio Ehsan Khamespanah Mohsen Khaxar Ramtin Khosravi Jetty Kleijn Edward A. Lee Sofia LinsbauerSofia Ananieva Mohammad Reza Mousavi 0001 Ali Movaghar-RahimabadiAli Movaghar 0001 Goran Saman Nariman Hamed Nemati David Parker 0001 Ralf H. Reussner Simon Roe Bernhard Rumpe Éric Rutten Patrizia Scandurra Oliver Schwarz Prasannjeet Singh Marjan Sirjani Charilaos Skandylas Carolyn L. Talcott Johan Thornadtsson Hans Vangheluwe Danny Weyns Silvan Zeller Luyuan Zhou Steffen Zschaler