Wilayat Khan

According to our database, Wilayat Khan authored at least 20 papers between 2014 and 2023.

Collaborative distances:

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

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