| 2026 | SAC | A Framework for Zero-Knowledge Proofs of Exploits in Solidity Smart Contracts. | Alessandro Cavaliere, Santiago Galianes Arienti, Christian Esposito, Naghmeh Ivaki, Nuno Laranjeiro |
| 2025 | EDCC | On Metrics for U-Space Safety Risk Assessment. | Omid Asghari, Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
| 2025 | EDCC | A Decentralized Architecture for Electronic Health Records to Enhanced Security and Privacy. | Rodrigo Tertulino, Fernando Vidal, Naghmeh Ivaki |
| 2025 | ISSRE | bBench: A Comprehensive Performance Benchmark for Blockchain Applications. | Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro |
| 2024 | DSN | A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults. | Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
| 2024 | EDCC | A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller. | Diogo Costa, Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
| 2023 | DSN | Integration of U-space Safety Assessment Methodologies With Experimentation. | Omid Asghari, Naghmeh Ivaki, Henrique Madeira |
| 2023 | DSN | Using AI to Inject Vulnerabilities in Python Code. | C. G. Frdric Bogaerts, Naghmeh Ivaki, Jos Fonseca |
| 2023 | DSN | Advancing Blockchain Security: from Vulnerability Detection to Transaction Revocation. | Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro |
| 2023 | PRDC | Lead Time Analysis for UAVs' Failure Prediction in U-space. | Omid Asghari, Naghmeh Ivaki, Henrique Madeira |
| 2023 | PRDC | A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller. | Anamta Khan, Joo R. Campos, Naghmeh Ivaki, Henrique Madeira |
| 2023 | QRS | Savery: A Framework for the Assessment and Comparison of Mobile Development Tools. | Jos Donato, Naghmeh Ivaki, Nuno Antunes |
| 2022 | PRDC | Are UAVs' Flight Controller Software Reliable? | Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
| 2020 | ISSRE | SIDE: Security-aware Integrated Development Environment. | Naghmeh Ivaki, Nuno Antunes |