| 2024 | SAC | Verification of Concurrent Machine Code Running on a Single-Core Machine. | Narges Khakpour |
| 2024 | SEFM | Partially-Observable Security Games for Attack-Defence Analysis in Software Systems. | Narges Khakpour, David Parker |
| 2023 | VMCAI | Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. | Nicolas Berthier, Narges Khakpour |
| 2022 | QRS | Security Countermeasure Selection for Component-Based Software-Intensive Systems. | Charilaos Skandylas, Narges Khakpour, Javier Cmara |
| 2020 | ICSE | Self-protection against business logic vulnerabilities. | Silvan Zeller, Narges Khakpour, Danny Weyns, Daniel Deogun |
| 2019 | ICSE | Towards secure architecture-based adaptations. | Narges Khakpour, Charilaos Skandylas, Goran Saman Nariman, Danny Weyns |
| 2018 | ESORICS | Synthesis of a Permissive Security Monitor. | Narges Khakpour, Charilaos Skandylas |
| 2017 | ECSA | Control of Self-adaptation Under Partial Observation: A Modular Approach. | Narges Khakpour |
| 2015 | CONCUR | Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). | Narges Khakpour, Mohammad Reza Mousavi |
| 2013 | CCS | Formal verification of information flow security for a simple arm-based separation kernel. | Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz |
| 2013 | CPP | Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. | Narges Khakpour, Oliver Schwarz, Mads Dam |
| 2011 | ICFEM | Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. | Narges Khakpour, Marjan Sirjani, Ursula Goltz |
| 2010 | SAC | Formal analysis of policy-based self-adaptive systems. | Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili |
| 2009 | EDOC | Monitoring safety properties of composite web services at runtime using CSP. | Mohsen Khaxar, Saeed Jalili, Narges Khakpour, M. Shaban Jokhio |