Get started
Author

Wilayat Khan

Observed name: W. Khan
Institution: University of Ha'il
ORCID: 0000-0003-0993-5964
Observed ORCID: 0000-0003-0993-5964
OpenAlex ID: A5075745260
Density independent hydrodynamics model for crowd coherency detection
2017 · Habib Ullah, Muhammad Uzair, et al. · Neurocomputing · 52
CookiExt: Patching the browser against session hijacking attacks
2015 · Michele Bugliesi, Stefano Calzavara, et al. · Journal of Computer Security · 43
Learning outcomes and assessment methodology: Case study of an undergraduate engineering project
2018 · Syed Rameez Naqvi, Tallha Akram, et al. · International Journal of Electrical Engineering Education · 42
PhishCatcher: Client-Side Defense Against Web Spoofing Attacks Using Machine Learning
2023 · Muzammil Ahmed, Ahmed B. Altamimi, et al. · IEEE Access · 32
PDF
IoT Data Sharing Platform in Web 3.0 Using Blockchain Technology
2023 · Abdul Razzaq, Ahmed B. Altamimi, et al. · Electronics · 30
PDF
Automatic and Robust Client-Side Protection for Cookie-Based Sessions
2014 · Michele Bugliesi, Stefano Calzavara, et al. · Lecture notes in computer science · 28
Provably Sound Browser-Based Enforcement of Web Session Integrity
2014 · Michele Bugliesi, Stefano Calzavara, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 22
Adaptive Security for Self-Protection of Mobile Computing Devices
2019 · Aakash Ahmad, Asad Waqar Malik, et al. · Mobile Networks and Applications · 21
Formal Analysis of Language-Based Android Security Using Theorem Proving Approach
2019 · Wilayat Khan, Muhammad Kamran, et al. · IEEE Access · 21
PDF
CrashSafe: a formal model for proving crash-safety of Android applications
2018 · Wilayat Khan, Habib Ullah, et al. · Human-centric Computing and Information Sciences · 19
Formal Verification of Hardware Components in Critical Systems
2020 · Wilayat Khan, Muhammad Kamran, et al. · Wireless Communications and Mobile Computing · 16
PDF
Energy-Efficient Mutual Authentication Protocol for Handhled Devices Based on Public Key Cryptography
2013 · Wilayat Khan, Habib Ullah, et al. · International Journal of Computer Theory and Engineering · 16
PDF
Automatic identification of sarcasm in tweets and customer reviews
2019 · Farah Naz, Muhammad Kamran, et al. · Journal of Intelligent & Fuzzy Systems · 12
Proving Reliability of Image Processing Techniques in Digital Forensics Applications
2022 · Saima Iqbal, Wilayat Khan, et al. · Security and Communication Networks · 9
PDF
SpoofCatch: A Client-Side Protection Tool Against Phishing Attacks
2021 · Wilayat Khan, Aakash Ahmad, et al. · IT Professional · 9
Client Side Web Session Integrity as a Non-interference Property
2014 · Wilayat Khan, Stefano Calzavara, et al. · Lecture notes in computer science · 9
Energy-Efficient Discrete Cosine Transform Architecture Using Reversible Logic for IoT-Enabled Consumer Electronics
2025 · Muhammad Awais, Wilayat Khan, et al. · IEEE Access · 8
Modernizing Legacy Software as Context—Sensitive and Portable Mobile-Enabled Application
2021 · Aakash Ahmad, Adel Alkhalil, et al. · IT Professional · 8
Precision Modeling: Application of Metaheuristics on Current–Voltage Curves of Superconducting Films
2018 · Syed Rameez Naqvi, Tallha Akram, et al. · Electronics · 7
PDF
Enhancing Extreme Programming (XP) Adoption Through SAMAM: A Scalable Agile Maturity Assessment Model Based on Industry Best Practices
2025 · Muhammad Faisal Abrar, Ali Alferaidi, et al. · IEEE Access · 6
A New Macroscopic Traffic Flow Characterization Incorporating Traffic Emissions
2023 · Tanveer Qaiser, Ahmed B. Altamimi, et al. · Applied Sciences · 6
PDF
On embedding a hardware description language in Isabelle/HOL
2019 · Wilayat Khan, David Sanan, et al. · Design Automation for Embedded Systems · 6
CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover
2021 · Wilayat Khan, Farrukh Aslam Khan, et al. · Complexity · 5
PDF
Formal Verification of Digital Circuits Using Simulator with Mathematical Foundation
2019 · Wilayat Khan, Basim Azam, et al. · Applied Mechanics and Materials · 5
Non‐destructive depth detection approach for substation grounding grids based on magnetostatics
2019 · A. Qamar, W. Khan, et al. · Electronics Letters · 4
PDF
Works count: 41
Citation count: 449
H-index: 12
I10-index: 13
Year
Topic
Type