Wilayat Khan

According to our database, Wilayat Khan authored at least 27 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Machine learning-based optimal data retrieval and resource allocation scheme for edge mesh coupled information-centric IoT networks and disability support systems.

Wilayat Khan, Bilal Hassan, Ramsha Ahmed, Muhammad Nasir Mumtaz Bhutta, Jawad Yousaf, Kais Belwafi, Mohamed Jleli, Bessem Samet, Taimur Hassan

Internet Things, 2025

Multiscale convolutional transformer for robust detection of aquaculture defects.

Wilayat Khan, Taimur Hassan, Mobeen Ur Rehman, Mohammad Salih Alsaffar, Irfan Hussain

Expert Syst. Appl., 2025

The Effect of Driver Behavior on Energy Consumption Using a Microscopic Traffic Model.

Zawar H. Khan, Faryal Ali, Khurram S. Khattak, Ahmed B. Altamimi, Mohammad Salih Alsaffar, Wilayat Khan, Thomas Aaron Gulliver

IEEE Access, 2025

Energy-Efficient Discrete Cosine Transform Architecture Using Reversible Logic for IoT-Enabled Consumer Electronics.

Muhammad Awais, Wilayat Khan, Tallha Akram, Yunyoung Nam

IEEE Access, 2025

Enhancing Extreme Programming (XP) Adoption Through SAMAM: A Scalable Agile Maturity Assessment Model Based on Industry Best Practices.

Muhammad Faisal Abrar, Ali Alferaidi, Tariq S. Almurayziq, Muhammad Saqib, Wilayat Khan, Zawar H. Khan, Mohammad Salih Alsaffar

IEEE Access, 2025

2024

FABI: A Formal Analyzer of Binary Image Objects Identification Tools.

Saima Iqbal, Ahmed B. Altamimi, Wilayat Khan, Mohammad Salih Alsaffar, Aakash Ahmad, Fahad F. Alfaisal

IEEE Access, 2024

Quantum Cryptography for Future Networks Security: A Systematic Review.

Durr-E.-Shahwar, Muhammad Imran, Ahmed B. Altamimi, Wilayat Khan, Shariq Hussain, Mohammad Salih Alsaffar

IEEE Access, 2024

2023

Adaptive Security for Self-Protection of Mobile Computing Devices.

Aakash Ahmad, Asad Waqar Malik, Abdulrahman A. Alshdadi, Wilayat Khan, Maryam Sajjad

Mob. Networks Appl., April, 2023

Assessing Grounding Grid Robustness Through Analysis of Static Fields.

Aamir Qamar, Wilayat Khan, Belawal Behram, Umer Javed, Mohd Anul Haq, Sultan Alharby, Ahmed Alhussen

IEEE Access, 2023

PhishCatcher: Client-Side Defense Against Web Spoofing Attacks Using Machine Learning.

Muzammil Ahmed, Ahmed B. Altamimi, Wilayat Khan, Mohammad Salih Alsaffar, Aakash Ahmad, Zawar H. Khan, Abdulrahman Alreshidi

IEEE Access, 2023

2022

An Executable Formal Model of the VHDL in Isabelle/HOL.

Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu

CoRR, 2022

2021

SpoofCatch: A Client-Side Protection Tool Against Phishing Attacks.

Wilayat Khan, Aakash Ahmad, Aamir Qamar, Muhammad Kamran, Muhammad Altaf

IT Prof., 2021

Corrections to "Modernizing Legacy Software as Context-Sensitive and Portable Mobile-Enabled Application".

Aakash Ahmad, Adel Alkhalil, Ahmed B. Altamimi, Khalid Sultan, Wilayat Khan

IT Prof., 2021

Modernizing Legacy Software as Context - Sensitive and Portable Mobile-Enabled Application.

Aakash Ahmad, Adel Alkhalil, Ahmed B. Altamimi, Khalid Sultan, Wilayat Khan

IT Prof., 2021

CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover.

Wilayat Khan, Farrukh Aslam Khan, Abdelouahid Derhab, Adi Alhudhaif

Complex., 2021

2020

Formal Verification of Hardware Components in Critical Systems.

Wilayat Khan, Muhammad Kamran, Syed Rameez Naqvi, Farrukh Aslam Khan, Ahmed S. Alghamdi, Eesa Alsolami

Wirel. Commun. Mob. Comput., 2020

2019

Automatic identification of sarcasm in tweets and customer reviews.

Farah Naz, Muhammad Kamran, Waqar Mehmood, Wilayat Khan, Mohammed Saeed Alkatheiri, Ahmed S. Alghamdi, Abdulrahman A. Alshdadi

J. Intell. Fuzzy Syst., 2019

On embedding a hardware description language in Isabelle/HOL.

Wilayat Khan, David Sanán, Zhe Hou, Yang Liu

Des. Autom. Embed. Syst., 2019

Formal Analysis of Language-Based Android Security Using Theorem Proving Approach.

Wilayat Khan, Muhammad Kamran, Aakash Ahmad, Farrukh Aslam Khan, Abdelouahid Derhab

IEEE Access, 2019

2018

CrashSafe: a formal model for proving crash-safety of Android applications.

Wilayat Khan, Habib Ullah, Aakash Ahmad, Khalid Sultan, Abdullah J. Alzahrani, Sultan Daud Khan, Mohammad Alhumaid, Sultan Abdulaziz

Hum. centric Comput. Inf. Sci., 2018

2017

Density independent hydrodynamics model for crowd coherency detection.

Habib Ullah, Muhammad Uzair, Mohib Ullah, Asif Khan, Ayaz Ahmad, Wilayat Khan

Neurocomputing, 2017

VeriFormal: An Executable Formal Model of a Hardware Description Language.

Wilayat Khan, Alwen Tiu, David Sanán

Proceedings of the A Systems Approach to Cyber Security, 2017

2015

CookiExt: Patching the browser against session hijacking attacks.

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan

J. Comput. Secur., 2015

2014

Web session security: formal verification, client-side enforcement and experimental analysis.

Wilayat Khan

PhD thesis, 2014

Client Side Web Session Integrity as a Non-interference Property.

Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens

Proceedings of the Information Systems Security - 10th International Conference, 2014

Automatic and Robust Client-Side Protection for Cookie-Based Sessions.

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

Provably Sound Browser-Based Enforcement of Web Session Integrity.

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014