Find Experts

Experts in Engineering
M Umit Atalay Nil Uzun Ayse Guliz Bilgin Altinoz M H FERRI ALIABADI Luo Guoqing DR GIULIANOALLEGRI Wasim Orfali PETER BEARMAN Hisham Tolbah Li Lihua Sunil Bhooshan DR PAUL BRUCE Xue Lingyun Daniel E. Acuna Prof. Dr. Ghanshyam Singh Yahya Kemal BAYKAL Li Dujuan Dr. Pradeep Kumar HE CHUN Dr. Rajiv Kumar View More
Shahabuddin Muhammad

Assistant Professor
Computer Science
Prince Mohammad Bin Fahd University
Saudi Arabia

Academician Engineering
Biography

Shahabuddin Muhammad is working as an Assistant Professor of Computer Science and Engineering at Prince Mohammad Bin Fahd University. His research interests are Model Checking, Formal Verification, Program Analysis, Wireless Networks.

Research Intrest

Computer Networks, Wireless Networks, Network Protocols, Design and Analysis of Authentication Protocols, Model Checking and Theorem Proving Techniques, Logic Based Verification, Distributed Systems, Formal Verification.

List of Publications
Shahabuddin Muhammad (2007) A Dynamic Simulation Model and Testing Techniques for Security Protocol Verification. In World Scientific and Engineering Academy and Society (WSEAS) Transactions on Computers 3: 5.
Shahabuddin Muhammad (2007) Analyzing Authentication in Kerberos-5 using Distributed Temporal Protocol Logic. In the Journal of Information and Computing Science 2: 3.
Shahabuddin Muhammad (2007) Authentication Analysis of the 802.11i Protocol. In International Journal of Information Technology 4: 1.

Global Scientific Words in Engineering

Experts in Saudi Arabia
Wasim Orfali Hisham Tolbah James Terry Timothy Jordan Yousef Nazzal Carole Ayoub Moubareck Ian Grey Justin Thomas Rania Dghaim Amal Elamin Ehab W. Hermena Heba Barazi Jibran Iqbal Joana Stocker Tajdar Husain Khan Mariana V. C. Coutinho Mirey Karavetian Zainab Taha Abiot Mindaye Tessema Amal El-Sawad Arshad Malik Christian Chamorro-Coutland Christina Zenker Claire Richards Constance Van Horne View More