| 2025 | PST | Securing Android Inter-Process Communication (IPC) Using NGAC. | Jason Simental, Elmaddin Azizli, Mahmoud Abdelgawad, Indrakshi Ray |
| 2025 | SACMAT | Safety Analysis in the NGAC Model. | Brian Tan, Ewan S. D. Davies, Indrakshi Ray, Mahmoud Abdelgawad |
| 2024 | DBSEC | Resiliency Analysis of Mission-Critical System of Systems Using Formal Methods. | Mahmoud Abdelgawad, Indrakshi Ray |
| 2024 | ICISS | Securing Virtual Reality Apps Inter-process Communication. | Oluwatosin Falebita, Mahmoud Abdelgawad, Evan Anspach, Indrakshi Ray |
| 2024 | QRS | Assets Criticality Assessment of Industrial Control Systems: A Wind Farm Case Study. | Shwetha Gowdanakatte, Mahmoud Abdelgawad, Indrakshi Ray |
| 2024 | SAC | Methodology for Resiliency Analysis of Mission-critical Systems. | Mahmoud Abdelgawad, Indrakshi Ray |
| 2023 | SACMAT | Synthesizing and Analyzing Attribute-Based Access Control Model Generated from Natural Language Policy Statements. | Mahmoud Abdelgawad, Indrakshi Ray, Saja Alqurashi, Videep Venkatesha, Hossein Shirazi |
| 2023 | SSS | Workflow Resilience for Mission Critical Systems. | Mahmoud Abdelgawad, Indrakshi Ray, Tomas Vasquez |
| 2016 | MODELSWARD | World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets. | Anneliese Amschler Andrews, Mahmoud Abdelgawad, Ahmed Gario |
| 2015 | MODELS | Active World Model for Testing Autonomous Systems Using CEFSM. | Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario |
| 2015 | MODELSWARD | Towards World Model-based Test Generation in Autonomous Systems. | Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario |