Provably Sound Browser-Based Enforcement of Web Session Integrity. - Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Wilayat Khan; Mauro Tempesta (CSF, 2014)

Automatic and Robust Client-Side Protection for Cookie-Based Sessions. - Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Wilayat Khan (ESSoS, 2014)

Client Side Web Session Integrity as a Non-interference Property. - Wilayat Khan; Stefano Calzavara; Michele Bugliesi; Willem De Groef; Frank Piessens (ICISS, 2014)

Web session security: formal verification, client-side enforcement and experimental analysis. - Wilayat Khan (2014)

CookiExt: Patching the browser against session hijacking attacks. - Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Wilayat Khan (J. Comput. Secur., 2015)

VeriFormal: An Executable Formal Model of a Hardware Description Language. - Wilayat Khan; Alwen Tiu; David Sanán (SG-CRC, 2017)

Density independent hydrodynamics model for crowd coherency detection. - Habib Ullah; Muhammad Uzair; Mohib Ullah; Asif Khan; Ayaz Ahmad; Wilayat Khan (Neurocomputing, 2017)

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)

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)

On embedding a hardware description language in Isabelle/HOL. - Wilayat Khan; David Sanán; Zhe Hou; Yang Liu 003 (Des. Autom. Embed. Syst., 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)

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)

CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover. - Wilayat Khan; Farrukh Aslam Khan; Abdelouahid Derhab; Adi Alhudhaif (Complex., 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)

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)

SpoofCatch: A Client-Side Protection Tool Against Phishing Attacks. - Wilayat Khan; Aakash Ahmad; Aamir Qamar; Muhammad Kamran; Muhammad Altaf (IT Prof., 2021)

An Executable Formal Model of the VHDL in Isabelle/HOL. - Wilayat Khan; Zhe Hou; David Sanán; Jamel Nebhen; Yang Liu 003; Alwen Tiu (CoRR, 2022)

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)

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)

Adaptive Security for Self-Protection of Mobile Computing Devices. - Aakash Ahmad; Asad Waqar Malik; Abdulrahman A. Alshdadi; Wilayat Khan; Maryam Sajjad (Mob. Networks Appl., 2023)

Quantum Cryptography for Future Networks Security: A Systematic Review. - Durr-E.-Shahwar; Muhammad Imran 016; Ahmed B. Altamimi; Wilayat Khan; Shariq Hussain; Mohammad Salih Alsaffar (IEEE Access, 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)

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)

Energy-Efficient Discrete Cosine Transform Architecture Using Reversible Logic for IoT-Enabled Consumer Electronics. - Muhammad Awais 004; Wilayat Khan; Tallha Akram; Yunyoung Nam (IEEE Access, 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)

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)

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)