Faculty Proflle

Biography:

Dr. Wilayat Khan is an assistant professor at the Department of Electrical Engineering, COMSATS University Islamabad, Wah Cant. Dr. Khan was awarded PhD degree by the university of Venice, Italy in Feb 2015, under the supervision of Prof Michele Bugliesi. During his PhD, he was funded by Erasmus Mundus for a research period of five months in the DistriNet research laboratory in KU Leuven University, Belgium. In the meantime, he was also sponsored by the same university, NSF and Jane Street to attend the prestigious Oregon Programming Language Summer School, in University of Oregon, USA. In 2015, Dr. he worked as a research fellow in Nanyang Technological University (NTU), Singapore.

Dr. Khan is currently working on the formal analysis of computer systems. In particular, he is using mathematical tools and techniques to study and reason about computer hardware and software systems using interactive proof assistants Coq and Isabelle/HOL.

Educational Information

Year	Degree	Board / University

2015	PhD	University of Venice, Italy and KU Leuven Belgium
2009	MS	Royal Institute of Technology and Stockholm University, Sweden
2007	BSc	University of Engineering and Technology, Peshawar
2015	PhD	University of Venice, Italy

Academic Experience

From	To	Post Held	Organization

Dec 29, 2015	Current	Assistant Professor	COMSATS Institute of IT, Wah Cant
Jun 08, 2015	Dec 28, 2015	Research fellow	Nanyang Technological University, Singapore
Mar 02, 2014	Jul 28, 2014	Researcher	DistriNet, KU Leuven, Belgium
Oct 05, 2009	Oct 15, 2011	Lecturer	COMSATS Institute of IT, Wah Cant

Publications

Key Publications

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.
Khan, Wilayat,Aakash Ahmad,Aamir Qamar, Muhammad Kamran''Spoof- Catch: A Client-Side Protection Tool Against Phishing Attacks'',IT Professional, IEEE Computer Society,2021.
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.
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.
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.
Khan Wilayat,Muhammad Kamran,Aakash Ahmad''Formal Analysis of Language-based Android Security Using Theorem Proving Approach'',IEEE Access,2019.
Khan Wilayat,Basim Azam,Noman Shahid''Formal Verification of Digital Circuits Using Simulator with Mathematical Foundation'',Applied Mechanics and Materials, Trans Tech Publications,2019.
Qamar Aamir,Wilayat Khan,Syed Rameez Naqvi''Non-destructive depth detection approach for substation grounding grids based on magnetostatics'',Electronics Letters, IEEE,2019.
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.
Farah Naz,Muhammad Kamran,Waqar Mehmood, Wilayat Khan''Automatic identification of sarcasm in tweets and customer reviews'',Intelligent & Fuzzy Systems, IOS press,2019.
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.
Khan Wilayat,Muhammad Uzair,Muhammad Altaf''Hybrid Cross-Platform Application Framework for Mobile Devices'',Transylvanian Review,2018.
Khan Wilayat,Habib Ullah,Aakash Ahmad''CrashSafe: a formal model for proving crashsafety of Android applications'',Human-centric Computing and Information Sciences, Springer ,2018.
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.
Wilayat Khan,Basim Azam,Noman Shahid''Formal Verification of Digital Circuits Using Simulator With Mathematical Foundation'',International Conference on Computational Science & Engineering,2018.
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.
Ullah Habib,Muhammad Uzair,Mohib Ullah, Asif Khan, Ayaz Ahmad, and Wilayat Khan''Density independent hydrodynamics model for crowd coherency detection'',Neurocomputing, Elsevier,2017.
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.
Wilayat Khan,Stefano Calzavara,Bugliesi, Michele''CookiExt: Patching the Browser Against Session Hijacking Attacks'',Journal of Computer Security,2015.
Wilayat Khan,Stefano Calzavara,Michele Bugliesi''Client Side Web Session Integrity as a Non-interference Property'',Information Systems Security,2014.
Wilayat Khan,Stefano Calzavara,Bugliesi, Michele''Provably sound browser-based enforcement of web session integrity'',Computer Security Foundations Symposium (CSF),2014.
Wilayat Khan,Stefano Calzavara,Bugliesi, Michele''Automatic and robust client-side protection for cookie-based sessions'',Engineering Secure Software and Systems,2014.
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.
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.
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.
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.
Wilayat Khan,Habib Ullah,''Authentication and Secure Communication in GSM, GPRS, and UMTS Using Asymmetric Cryptography'',International Journal of Computer and Sciences Issues,2010.
Wilayat Khan,Habib Ullah,''Scientific Reasoning: A Solution to the Problem of Induction'',International Journal of Basic & Applied Sciences,2010.
Wilayat Khan,,''Lossless Fast Serving Radio Network Controller Relocation'',IEEE Computer Science and Information Technology,2010.
Wilayat Khan,,''Lossless Fast Serving Radio Network Controller relocation'',Computer Science and Information Technology, IEEE,2010.

Conferences

Year	Level	Country	City	Conference

No records to display.

Awards

Year	Awarding Organization	Description

No records to display.

Memberships

From	To	Title	Organization

No records to display.

Courses Taught

Type	Title	University	Semester

Under Graduate	Electronic Circuits	COMSATS University Islamabad-Wah Campus	2
Under Graduate	Optical Fiber Communications	COMSATS University Islamabad-Wah Campus	8
Under Graduate	Digital Logic and Computer Design	COMSATS University Islamabad-Wah Campus
Under Graduate	Microprocessor Systems and Interfacing	COMSATS University Islamabad-Wah Campus
Under Graduate	Computer Organization and Architecture	COMSATS University Islamabad-Wah Campus
Graduate	Formal Specification and Verification Using Coq	COMSATS University Islamabad-Wah Campus
Graduate	Information Security	COMSATS University Islamabad-Wah Campus
Graduate	Compiler Construction	COMSATS University Islamabad-Wah Campus

Supervisions

Title	From	To	Organization / Institute	Type

No records to display.

Services

From	To	Institute / Organization	Job Specification

No records to display.

Books

Title	Subject	First Author	Second Author	Third Author	Year	Publisher

No records to display.

Fundings

From	To	Type	Title	Source	Amount

No records to display.

Active Collaborations

From	To	Type	Country	Organization

No records to display.

Industrial / Consulting Experience

From	To	Post Held	Organization

No records to display.

Extracurricular Activities

Hobbies	Interests

Photography and travelling	Cricket

Languages and Skills

Languages	Skills

Proof Assistant Coq and C++	Formal specification and verification

Disclaimer: The information displayed on this page belong to the author. Our employees are obliged not to display any false information. Therefore, CU will not take any liability for any false information included in this page. In case of any damages or other liabilites arising, employees are fully responsible for the content of their profiles.

Publication Year	Key Publications

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.

Dr. Wilayat Khan

Tenured Associate Professor of Electrical and Computer Engineering, CUI Wah Campus