|
1
2021
|
1
Ahmad, Aakash,Adel Alkhalil,Ahmed B. Altamimi, Khalid Sultan, and Wilayat Khan''Modernizing Legacy Software as Context—Sensitive and Portable Mobile-Enabled Application'',IT Professional, IEEE Computer Society,2021.
|
|
2
2021
|
2
Khan, Wilayat,Aakash Ahmad,Aamir Qamar, Muhammad Kamran''Spoof- Catch: A Client-Side Protection Tool Against Phishing Attacks'',IT Professional, IEEE Computer Society,2021.
|
|
3
2021
|
3
Khan,Wilayat,Farrukh Aslam Khan,Abdelouahid Derhab and Adi Alhudhaif''CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on Interactive Theorem Prover'',Complexity, Hindawi,2021.
|
|
4
2020
|
4
Khan, Wilayat,Muhammad Kamran,Syed Rameez Naqvi, Farrukh Aslam Khan''Formal Verification of Hardware Components in Critical Systems'',Wireless Communications and Mobile Computing, Hindawi,2020.
|
|
5
2019
|
5
Naqvi Syed Rameez,Tallha Akram,Sajjad Ali Haider, Wilayat Khan''Learning outcomes and assessment methodology: Case study of an undergraduate engineering project'',International Journal of Electrical Engineering & Education, SAGE,2019.
|
|
6
2019
|
6
Khan Wilayat,Muhammad Kamran,Aakash Ahmad''Formal Analysis of Language-based Android Security Using Theorem Proving Approach'',IEEE Access,2019.
|
|
7
2019
|
7
Khan Wilayat,Basim Azam,Noman Shahid''Formal Verification of Digital Circuits Using Simulator with Mathematical Foundation'',Applied Mechanics and Materials, Trans Tech Publications,2019.
|
|
8
2019
|
8
Qamar Aamir,Wilayat Khan,Syed Rameez Naqvi''Non-destructive depth detection approach for substation grounding grids based on magnetostatics'',Electronics Letters, IEEE,2019.
|
|
9
2019
|
9
Ahmad Aakash,Asad Waqar Malik,Abdulrahman Alreshidi, Wilayat Khan, and Maryam Sajjad''Adaptive Security for Self-Protection of Mobile Computing Devices'',Mobile Networks and Applications, Hindawi,2019.
|
|
10
2019
|
10
Farah Naz,Muhammad Kamran,Waqar Mehmood, Wilayat Khan''Automatic identification of sarcasm in tweets and customer reviews'',Intelligent & Fuzzy Systems, IOS press,2019.
|
|
11
2019
|
11
Khan Wilayat,David Sanan,Zhe Hou, and Liu Yang''On embedding a hardware description language in Isabelle/HOL'',Design Automation for Embedded Systems, Springer,2019.
|
|
12
2018
|
12
Khan Wilayat,Muhammad Uzair,Muhammad Altaf''Hybrid Cross-Platform Application Framework for Mobile Devices'',Transylvanian Review,2018.
|
|
13
2018
|
13
Khan Wilayat,Habib Ullah,Aakash Ahmad''CrashSafe: a formal model for proving crashsafety of Android applications'',Human-centric Computing and Information Sciences, Springer ,2018.
|
|
14
2018
|
14
Syed Rameez Naqvi,Tallha Akram,Sajjad Haider, Muhammad Kamran, Aamir Shahzad, Wilayat Khan''Precision Modeling: Application of Metaheuristics on Current–Voltage Curves of Superconducting Films'',Electronics, MDPI,2018.
|
|
15
2018
|
15
Wilayat Khan,Basim Azam,Noman Shahid''Formal Verification of Digital Circuits Using Simulator With Mathematical Foundation'',International Conference on Computational Science & Engineering,2018.
|
|
16
2017
|
16
Khan Wilayat,David Sanan,Alwen Tiu''VeriFormal: An Executable Formal Model of a Hardware Description Language'',Singapore Cyber Security R&D Conference, IOS Press,2017.
|
|
17
2017
|
17
Ullah Habib,Muhammad Uzair,Mohib Ullah, Asif Khan, Ayaz Ahmad, and Wilayat Khan''Density independent hydrodynamics model for crowd coherency detection'',Neurocomputing, Elsevier,2017.
|
|
18
2017
|
18
Zahoor Uddin,Farooq Alam,Muhammad Altaf, Muhammad Uzair, Wilayat Khan''Design of hardware mixing model for ICA algorithms using wireless MIMO system'',Transylvanian Review,2017.
|
|
19
2015
|
19
Wilayat Khan,Stefano Calzavara,Bugliesi, Michele''CookiExt: Patching the Browser Against Session Hijacking Attacks'',Journal of Computer Security,2015.
|
|
20
2014
|
20
Wilayat Khan,Stefano Calzavara,Michele Bugliesi''Client Side Web Session Integrity as a Non-interference Property'',Information Systems Security,2014.
|
|
21
2014
|
21
Wilayat Khan,Stefano Calzavara,Bugliesi, Michele''Provably sound browser-based enforcement of web session integrity'',Computer Security Foundations Symposium (CSF),2014.
|
|
22
2014
|
22
Wilayat Khan,Stefano Calzavara,Bugliesi, Michele''Automatic and robust client-side protection for cookie-based sessions'',Engineering Secure Software and Systems,2014.
|
|
23
2014
|
23
Khan Wilayat,Stefano Calzavara,Michele Bugliesi, Willem De Groef, and Frank Piessens''Client Side Web Session Integrity as a Non-interference Property'',Information Systems Security, Springer,2014.
|
|
24
2014
|
24
Bugliesi, Michele,Stefano Calzavara,Riccardo Focardi, Wilayat Khan, and Mauro Tempesta''Provably sound browser-based enforcement of web session integrity'',Computer Security Foundations Symposium, IEEE,2014.
|
|
25
2014
|
25
Bugliesi, Michele,Stefano Calzavara,Riccardo Focardi, and Wilayat Khan''Automatic and robust client-side protection for cookie-based sessions'',Engineering Secure Software and Systems, Springer,2014.
|
|
26
2013
|
26
Wilayat Khan,Habib Ullah,Riaz Hussain''Energy-Efficient Mutual Authentication Protocol for Handhled Devices Based on Public Key Cryptography'',International Journal of Computer Theory and Engineering,2013.
|
|
27
2010
|
27
Wilayat Khan,Habib Ullah,''Authentication and Secure Communication in GSM, GPRS, and UMTS Using Asymmetric Cryptography'',International Journal of Computer and Sciences Issues,2010.
|
|
28
2010
|
28
Wilayat Khan,Habib Ullah,''Scientific Reasoning: A Solution to the Problem of Induction'',International Journal of Basic & Applied Sciences,2010.
|
|
29
2010
|
29
Wilayat Khan,,''Lossless Fast Serving Radio Network Controller Relocation'',IEEE Computer Science and Information Technology,2010.
|
|
30
2010
|
30
Wilayat Khan,,''Lossless Fast Serving Radio Network Controller relocation'',Computer Science and Information Technology, IEEE,2010.
|