Wilayat Khan

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 15

Top Topics

Predicate Calculus

Mobile Computing Devices

Top Venues

Publications

Aamir Qamar, Wilayat Khan, Belawal Behram, Umer Javed, Mohd Anul Haq, Sultan Alharby, Ahmed Alhussen
Assessing Grounding Grid Robustness Through Analysis of Static Fields. IEEE Access 11 (2023)
Aakash Ahmad, Asad Waqar Malik, Abdulrahman A. Alshdadi, Wilayat Khan, Maryam Sajjad
Adaptive Security for Self-Protection of Mobile Computing Devices. Mob. Networks Appl. 28 (2) (2023)
Muzammil Ahmed, Ahmed B. Altamimi, Wilayat Khan, Mohammad Salih Alsaffar, Aakash Ahmad, Zawar H. Khan, Abdulrahman Alreshidi
PhishCatcher: Client-Side Defense Against Web Spoofing Attacks Using Machine Learning. IEEE Access 11 (2023)
Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu
An Executable Formal Model of the VHDL in Isabelle/HOL. CoRR (2022)
Wilayat Khan, Aakash Ahmad, Aamir Qamar, Muhammad Kamran, Muhammad Altaf
SpoofCatch: A Client-Side Protection Tool Against Phishing Attacks. IT Prof. 23 (2) (2021)
Wilayat Khan, Farrukh Aslam Khan, Abdelouahid Derhab, Adi Alhudhaif
CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover. Complex. 2021 (2021)
Aakash Ahmad, Adel Alkhalil, Ahmed B. Altamimi, Khalid Sultan, Wilayat Khan
Modernizing Legacy Software as Context - Sensitive and Portable Mobile-Enabled Application. IT Prof. 23 (1) (2021)
Aakash Ahmad, Adel Alkhalil, Ahmed B. Altamimi, Khalid Sultan, Wilayat Khan
Corrections to "Modernizing Legacy Software as Context-Sensitive and Portable Mobile-Enabled Application". IT Prof. 23 (3) (2021)
Wilayat Khan, Muhammad Kamran, Syed Rameez Naqvi, Farrukh Aslam Khan, Ahmed S. Alghamdi, Eesa Alsolami
Formal Verification of Hardware Components in Critical Systems. Wirel. Commun. Mob. Comput. 2020 (2020)
Wilayat Khan, David Sanán, Zhe Hou, Yang Liu
On embedding a hardware description language in Isabelle/HOL. Des. Autom. Embed. Syst. 23 (3-4) (2019)
Farah Naz, Muhammad Kamran, Waqar Mehmood, Wilayat Khan, Mohammed Saeed Alkatheiri, Ahmed S. Alghamdi, Abdulrahman A. Alshdadi
Automatic identification of sarcasm in tweets and customer reviews. J. Intell. Fuzzy Syst. 37 (5) (2019)
Wilayat Khan, Muhammad Kamran, Aakash Ahmad, Farrukh Aslam Khan, Abdelouahid Derhab
Formal Analysis of Language-Based Android Security Using Theorem Proving Approach. IEEE Access 7 (2019)
Wilayat Khan, Habib Ullah, Aakash Ahmad, Khalid Sultan, Abdullah J. Alzahrani, Sultan Daud Khan, Mohammad Alhumaid, Sultan Abdulaziz
CrashSafe: a formal model for proving crash-safety of Android applications. Hum. centric Comput. Inf. Sci. 8 (2018)
Habib Ullah, Muhammad Uzair, Mohib Ullah, Asif Khan, Ayaz Ahmad, Wilayat Khan
Density independent hydrodynamics model for crowd coherency detection. Neurocomputing 242 (2017)
Wilayat Khan, Alwen Tiu, David Sanán
VeriFormal: An Executable Formal Model of a Hardware Description Language. SG-CRC (2017)
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
CookiExt: Patching the browser against session hijacking attacks. J. Comput. Secur. 23 (4) (2015)
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
Automatic and Robust Client-Side Protection for Cookie-Based Sessions. ESSoS (2014)
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta
Provably Sound Browser-Based Enforcement of Web Session Integrity. CSF (2014)
Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens
Client Side Web Session Integrity as a Non-interference Property. ICISS (2014)