Wilayat Khan

29 papers A 1Misc 1Journal 24Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A dual-modal analysis of credibility in integrating interpretive structural modeling (ISM) and BERT for enhanced fake news detection.
Multim. Syst.
Muhammad Faisal Abrar, Ali Alferaidi, Tariq S. Almurayziq, Muhammad Saqib, Raza Uddin, Wilayat Khan, Jawad Khan, Mohammad Alsaffar
2025 J jnl
Correction: A dual-modal analysis of credibility in integrating interpretive structural modeling (ISM) and BERT for enhanced fake news detection.
Multim. Syst.
Muhammad Faisal Abrar, Ali Alferaidi, Tariq S. Almurayziq, Muhammad Saqib, Raza Uddin, Wilayat Khan, Jawad Khan, Mohammad Salih Alsaffar
2025 J jnl
Energy-Efficient Discrete Cosine Transform Architecture Using Reversible Logic for IoT-Enabled Consumer Electronics.
IEEE Access
Muhammad Awais, Wilayat Khan, Tallha Akram, Yunyoung Nam
2025 J jnl
Enhancing Extreme Programming (XP) Adoption Through SAMAM: A Scalable Agile Maturity Assessment Model Based on Industry Best Practices.
IEEE Access
Muhammad Faisal Abrar, Ali Alferaidi, Tariq S. Almurayziq, Muhammad Saqib, Wilayat Khan, Zawar H. Khan, Mohammad Salih Alsaffar
2025 J jnl
Machine learning-based optimal data retrieval and resource allocation scheme for edge mesh coupled information-centric IoT networks and disability support systems.
Internet Things
Wilayat Khan, Bilal Hassan, Ramsha Ahmed, Muhammad Nasir Mumtaz Bhutta, Jawad Yousaf, Kais Belwafi, Mohamed Jleli, Bessem Samet, Taimur Hassan
2025 J jnl
Multiscale convolutional transformer for robust detection of aquaculture defects.
Expert Syst. Appl.
Wilayat Khan, Taimur Hassan, Mobeen Ur Rehman, Mohammad Salih Alsaffar, Irfan Hussain
2025 J jnl
The Effect of Driver Behavior on Energy Consumption Using a Microscopic Traffic Model.
IEEE Access
Zawar H. Khan, Faryal Ali, Khurram S. Khattak, Ahmed B. Altamimi, Mohammad Salih Alsaffar, Wilayat Khan, Thomas Aaron Gulliver
2024 J jnl
FABI: A Formal Analyzer of Binary Image Objects Identification Tools.
IEEE Access
Saima Iqbal, Ahmed B. Altamimi, Wilayat Khan, Mohammad Salih Alsaffar, Aakash Ahmad, Fahad F. Alfaisal
2024 J jnl
Quantum Cryptography for Future Networks Security: A Systematic Review.
IEEE Access
Durr-E.-Shahwar, Muhammad Imran, Ahmed B. Altamimi, Wilayat Khan, Shariq Hussain, Mohammad Salih Alsaffar
2023 J jnl
Adaptive Security for Self-Protection of Mobile Computing Devices.
Mob. Networks Appl.
Aakash Ahmad, Asad Waqar Malik, Abdulrahman A. Alshdadi, Wilayat Khan, Maryam Sajjad
2023 J jnl
Assessing Grounding Grid Robustness Through Analysis of Static Fields.
IEEE Access
Aamir Qamar, Wilayat Khan, Belawal Behram, Umer Javed, Mohd Anul Haq, Sultan Alharby, Ahmed Alhussen
2023 J jnl
PhishCatcher: Client-Side Defense Against Web Spoofing Attacks Using Machine Learning.
IEEE Access
Muzammil Ahmed, Ahmed B. Altamimi, Wilayat Khan, Mohammad Salih Alsaffar, Aakash Ahmad, Zawar H. Khan, Abdulrahman Alreshidi
2022 J jnl
An Executable Formal Model of the VHDL in Isabelle/HOL.
CoRR
Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu
2021 J jnl
CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover.
Complex.
Wilayat Khan, Farrukh Aslam Khan, Abdelouahid Derhab, Adi Alhudhaif
2021 J jnl
Corrections to "Modernizing Legacy Software as Context-Sensitive and Portable Mobile-Enabled Application".
IT Prof.
Aakash Ahmad, Adel Alkhalil, Ahmed B. Altamimi, Khalid Sultan, Wilayat Khan
2021 J jnl
Modernizing Legacy Software as Context - Sensitive and Portable Mobile-Enabled Application.
IT Prof.
Aakash Ahmad, Adel Alkhalil, Ahmed B. Altamimi, Khalid Sultan, Wilayat Khan
2021 J jnl
SpoofCatch: A Client-Side Protection Tool Against Phishing Attacks.
IT Prof.
Wilayat Khan, Aakash Ahmad, Aamir Qamar, Muhammad Kamran, Muhammad Altaf
2020 J jnl
Formal Verification of Hardware Components in Critical Systems.
Wirel. Commun. Mob. Comput.
Wilayat Khan, Muhammad Kamran, Syed Rameez Naqvi, Farrukh Aslam Khan, Ahmed S. Alghamdi, Eesa Alsolami
2019 J jnl
Automatic identification of sarcasm in tweets and customer reviews.
J. Intell. Fuzzy Syst.
Farah Naz, Muhammad Kamran, Waqar Mehmood, Wilayat Khan, Mohammed Saeed Alkatheiri, Ahmed S. Alghamdi, Abdulrahman A. Alshdadi
2019 J jnl
Formal Analysis of Language-Based Android Security Using Theorem Proving Approach.
IEEE Access
Wilayat Khan, Muhammad Kamran, Aakash Ahmad, Farrukh Aslam Khan, Abdelouahid Derhab
2019 J jnl
On embedding a hardware description language in Isabelle/HOL.
Des. Autom. Embed. Syst.
Wilayat Khan, David Sanán, Zhe Hou, Yang Liu
2018 J jnl
CrashSafe: a formal model for proving crash-safety of Android applications.
Hum. centric Comput. Inf. Sci.
Wilayat Khan, Habib Ullah, Aakash Ahmad, Khalid Sultan, Abdullah J. Alzahrani, Sultan Daud Khan, Mohammad Alhumaid, Sultan Abdulaziz
2017 J jnl
Density independent hydrodynamics model for crowd coherency detection.
Neurocomputing
Habib Ullah, Muhammad Uzair, Mohib Ullah, Asif Khan, Ayaz Ahmad, Wilayat Khan
2017 — conf
VeriFormal: An Executable Formal Model of a Hardware Description Language.
SG-CRC
Wilayat Khan, Alwen Tiu, David Sanán
2015 J jnl
CookiExt: Patching the browser against session hijacking attacks.
J. Comput. Secur.
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
2014 — conf
Automatic and Robust Client-Side Protection for Cookie-Based Sessions.
ESSoS
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
2014 Misc conf
Client Side Web Session Integrity as a Non-interference Property.
ICISS
Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens
2014 A conf
Provably Sound Browser-Based Enforcement of Web Session Integrity.
CSF
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta
2014 — —
Web session security: formal verification, client-side enforcement and experimental analysis.
Wilayat Khan