arrow
返回
W

Wilayat Khan

College of Computer Science and Engineering

11H指数
49论文数
390被引数
收录论文 8
发表时间
err分享
err收藏
FABI: A Formal Analyzer of Binary Image Objects Identification Tools
err2024-01-01
err0
errOAAI
errIqbal, Saima; Altamimi, Ahmed B.; Khan, Wilayat; Alsaffar, Mohammad; Ahmad, Aakash; Alfaisal, Fahad F.
err分享
err收藏
Assessing Grounding Grid Robustness Through Analysis of Static Fields通过静态场分析评估接地网的鲁棒性
err2023-01-01
err1
errOAAI
errQamar, Aamir; Khan, Wilayat; Behram, Belawal; Javed, Umer; Haq, Mohd Anul; Alharby, Sultan; Alhussen, Ahmed
err分享
err收藏
PhishCatcher: Client-Side Defense Against Web Spoofing Attacks Using Machine Learning
err2023-01-01
err6
errOAAI
errAhmed, Muzammil; Altamimi, Ahmed B.; Khan, Wilayat; Alsaffar, Mohammad; Ahmad, Aakash; Khan, Zawar Hussain; Alreshidi, Abdulrahman
err分享
err收藏
Formal Analysis of Language-Based Android Security Using Theorem Proving Approach
err2019-01-01
err10
errOAAI
errKhan, Wilayat; Kamran, Muhammad; Ahmad, Aakash; Khan, Farrukh Aslam; Derhab, Abdelouahid
err分享
err收藏
CrashSafe: a formal model for proving crash-safety of Android applications
err2018-07-26
err11
errOAAI
errKhan, Wilayat; Ullah, Habib; Ahmad, Aakash; Sultan, Khalid; Alzahrani, Abdullah J.; Khan, Sultan Daud; Alhumaid, Mohammad; Abdulaziz, Sultan
err分享
err收藏