9
Publications
218
Citations
9
H-Index
2006
Active since
Shahabuddin Muhammad is an author at Prince Mohammad bin Fahd University specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceFormal VerificationVerificationSystems EngineeringInformation SecurityCryptographyData SecurityFormal MethodsSecurity
Publications per year
2006–2023
9
9
Formal Analysis of Human-Assisted Smart City Emergency Services
Nazeeruddin Mohammad, Shahabuddin Muhammad, Abul Bashar et al. · IEEE Access · 2019 · 37 citations · Full text
Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking
Eman Shaikh, A. R. Al-Ali, Shahabuddin Muhammad et al. · IEEE Access · 2023 · 28 citations · Full text
Rows per page
1–5 of 9