Muhammad Abdul Basit Ur Rahim

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 8

Top Topics

Moving Target Defense

Phishing Attacks

Top Venues

ICCSA (Short Papers/poster papers/PhD student showcase works)

Publications

Jeet Patel, Delicia Fernandes, Darshkumar Jasani, Kunjal Patel, Muhammad Abdul Basit Ur Rahim
Non-fungible Tokens and Their Applications. WorldCIST (4) (2023)
Ilmaan Zia, Muhammad Abdul Basit Ur Rahim, Tairan Liu, Zhangying He
Formal Modeling and Verification of Industrial Robotic Arm - A Case Study. QRS Companion (2023)
Bhavraaj Singh, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Abid Rizwan, Jie Zhao
AI Ethics in Healthcare - A Survey. QRS Companion (2023)
Satyam Sharma, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Tairan Liu
Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges. QRS Companion (2023)
Md. Mazharul Islam, Ehab Al-Shaer, Muhammad Abdul Basit Ur Rahim
Email Address Mutation for Proactive Deterrence Against Lateral Spear-Phishing Attacks. SecureComm (1) (2020)
Muhammad Abdul Basit Ur Rahim, Ehab Al-Shaer, Qi Duan
A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense. SecureComm (1) (2020)
Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer
A Formal Analysis of Moving Target Defense. COMPSAC (2020)
Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer
A formal verification of mutation-based moving target defense. HotSoS (2019)
Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif
Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM. ICCSA (Short Papers/poster papers/PhD student showcase works) (2015)
Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif
Formal verification of internal block diagram of SysML for modeling real-time system. SNPD (2015)
Muhammad Abdul Basit Ur Rahim, Fahim Arif, Jamil Ahmad
Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool. ICCSA (5) (2014)