| 2025 | ICSA | User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study. | Megha Quamara, Luca Vigan |
| 2025 | VR | MASSXR 2025: The 3 | Megha Quamara, Oya eliktutan, Luca Vigan, Aniket Bera, Pablo Csar, Funda Durupinar, Aline Normoyle, Chirag Raman, Zerrin Yumak |
| 2024 | SAFECOMP | Where Do Safety and Security Mutually Reinforce? A Multi-level Model-Based Approach for a Consistent Interplay. | Megha Quamara, Christina Kolb, Ankur Lohachab |
| 2023 | SAFECOMP | Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model. | Megha Quamara, Christina Kolb, Brahim Hamid |
| 2022 | DASC | Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2022 | EDCC | Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2021 | MODELS | Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2021 | QRS | Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |