Mahmoud Abdelgawad

19 papers B 1C 7Misc 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Access Control Policies Specification and Analysis for Multi-Institutional Collaborative Projects.
CIC
Abhimanyu Chawla, Mahmoud Abdelgawad, Indrakshi Ray
2025 J jnl
Correctness and security analysis of the protection in transit (PIT) protocol.
J. Syst. Softw.
Rakesh Podder, Mahmoud Abdelgawad, Indrakshi Ray, Indrajit Ray, Madhan B. Santharam, Stefano Righi
2025 C conf
Safety Analysis in the NGAC Model.
SACMAT
Brian Tan, Ewan S. D. Davies, Indrakshi Ray, Mahmoud Abdelgawad
2025 J jnl
Safety Analysis in the NGAC Model.
CoRR
Brian Tan, Ewan S. D. Davies, Indrakshi Ray, Mahmoud Abdelgawad
2025 C conf
Securing Android Inter-Process Communication (IPC) Using NGAC.
PST
Jason Simental, Elmaddin Azizli, Mahmoud Abdelgawad, Indrakshi Ray
2024 C conf
Assets Criticality Assessment of Industrial Control Systems: A Wind Farm Case Study.
QRS
Shwetha Gowdanakatte, Mahmoud Abdelgawad, Indrakshi Ray
2024 Misc conf
Methodology for Resiliency Analysis of Mission-critical Systems.
SAC
Mahmoud Abdelgawad, Indrakshi Ray
2024 B conf
Resiliency Analysis of Mission-Critical System of Systems Using Formal Methods.
DBSec
Mahmoud Abdelgawad, Indrakshi Ray
2024 — conf
SR2ACM: A Methodical Approach for Translating Natural Language Security Requirements to Access Control Model.
TPS-ISA
Saja Alqurashi, Indrakshi Ray, Mahmoud Abdelgawad, Hossein Shirazi
2024 Misc conf
Securing Virtual Reality Apps Inter-process Communication.
ICISS
Oluwatosin Falebita, Mahmoud Abdelgawad, Evan Anspach, Indrakshi Ray
2023 — conf
Model Based Risk Assessment and Risk Mitigation Framework for Cyber-Physical Systems.
TPS-ISA
Shwetha Gowdanakatte, Indrakshi Ray, Mahmoud Abdelgawad
2023 C conf
Synthesizing and Analyzing Attribute-Based Access Control Model Generated from Natural Language Policy Statements.
SACMAT
Mahmoud Abdelgawad, Indrakshi Ray, Saja Alqurashi, Videep Venkatesha, Hossein Shirazi
2023 C conf
Workflow Resilience for Mission Critical Systems.
SSS
Mahmoud Abdelgawad, Indrakshi Ray, Tomas Vasquez
2017 J jnl
Model-based testing of a real-time adaptive motion planning system.
Adv. Robotics
Mahmoud Abdelgawad, Sterling McLeod, Anneliese Andrews, Jing Xiao
2016 — conf
Model-based testing of real-time adaptive motion planning (RAMP).
SIMPAR
Mahmoud Abdelgawad, Sterling McLeod, Anneliese Andrews, Jing Xiao
2016 — conf
World Model for Testing Autonomous Systems Using Petri Nets.
HASE
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
2016 C conf
World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets.
MODELSWARD
Anneliese Amschler Andrews, Mahmoud Abdelgawad, Ahmed Gario
2015 — conf
Active World Model for Testing Autonomous Systems Using CEFSM.
MoDeVVa@MoDELS
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
2015 C conf
Towards World Model-based Test Generation in Autonomous Systems.
MODELSWARD
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario