![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Wilayat Khan
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j14]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: 61249-61263 (2023) - [j13]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: 102508-102514 (2023) - [j12]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): 1-20 (2023) - 2022
- [i1]Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu:
An Executable Formal Model of the VHDL in Isabelle/HOL. CoRR abs/2202.04192 (2022) - 2021
- [j11]Wilayat Khan
, Farrukh Aslam Khan
, Abdelouahid Derhab
, Adi Alhudhaif
:
CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover. Complex. 2021: 5525539:1-5525539:12 (2021) - [j10]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): 42-50 (2021) - [j9]Wilayat Khan, Aakash Ahmad
, Aamir Qamar, Muhammad Kamran, Muhammad Altaf:
SpoofCatch: A Client-Side Protection Tool Against Phishing Attacks. IT Prof. 23(2): 65-74 (2021) - [j8]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): 110 (2021) - 2020
- [j7]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: 7346763:1-7346763:15 (2020)
2010 – 2019
- 2019
- [j6]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: 16550-16560 (2019) - [j5]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): 123-151 (2019) - [j4]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): 6815-6828 (2019) - 2018
- [j3]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: 21 (2018) - 2017
- [j2]Habib Ullah, Muhammad Uzair
, Mohib Ullah, Asif Khan, Ayaz Ahmad
, Wilayat Khan:
Density independent hydrodynamics model for crowd coherency detection. Neurocomputing 242: 28-39 (2017) - [c4]Wilayat Khan, Alwen Tiu, David Sanán
:
VeriFormal: An Executable Formal Model of a Hardware Description Language. SG-CRC 2017: 19-36 - 2015
- [j1]Michele Bugliesi, Stefano Calzavara
, Riccardo Focardi
, Wilayat Khan:
CookiExt: Patching the browser against session hijacking attacks. J. Comput. Secur. 23(4): 509-537 (2015) - 2014
- [b1]Wilayat Khan:
Web session security: formal verification, client-side enforcement and experimental analysis. Ca' Foscari University of Venice, Italy, 2014 - [c3]Michele Bugliesi, Stefano Calzavara
, Riccardo Focardi
, Wilayat Khan, Mauro Tempesta:
Provably Sound Browser-Based Enforcement of Web Session Integrity. CSF 2014: 366-380 - [c2]Michele Bugliesi, Stefano Calzavara
, Riccardo Focardi
, Wilayat Khan:
Automatic and Robust Client-Side Protection for Cookie-Based Sessions. ESSoS 2014: 161-178 - [c1]Wilayat Khan, Stefano Calzavara
, Michele Bugliesi, Willem De Groef, Frank Piessens:
Client Side Web Session Integrity as a Non-interference Property. ICISS 2014: 89-108
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint