Electrical and Computer Engineering
Wah
Campus
|
Abdullah Shoukat,
Muhammad Ali Mughal,
Saifullah Younus Gondal''Optimal Parameter Estimation of Transmission Line Using Chaotic Initialized Time-Varying PSO Algorithm'',2021.
|
Meteorology
Islamabad
Campus
|
Gomal Amin, Muhammad Imran Shahzad,
Majid Nazeer, Ibrahim Zia,
Sundas Jaweria, Irfan Mehmood''Assessing the spatial distribution and impacts of recent oil spill along the Western Coast of Karachi, Pakistan'',2021.
|
Meteorology
Islamabad
Campus
|
Muhammad Nawaz,
Muhammad Farooq iqbal,
Irfan Mahmood''Validation of CHIRPS satellite-based precipitation dataset over Pakistan'',2021.
|
Meteorology
Islamabad
Campus
|
Saima Naz,
Muhammad Farooq iqbal,
Irfan Mahmood, Mona Allam''Marine oil spill detection using Synthetic Aperture Radar over Indian Ocean'',2021.
|
Electrical and Computer Engineering
Wah
Campus
|
Wilayat Khan,
,
''Lossless Fast Serving Radio Network Controller relocation'',2010.
|
Electrical and Computer Engineering
Wah
Campus
|
Bugliesi, Michele,
Stefano Calzavara,
Riccardo Focardi, and Wilayat Khan''Automatic and robust client-side protection for cookie-based sessions'',2014.
|
Electrical and Computer Engineering
Wah
Campus
|
Bugliesi, Michele,
Stefano Calzavara,
Riccardo Focardi, Wilayat Khan, and Mauro Tempesta''Provably sound browser-based enforcement of web session integrity'',2014.
|
Electrical and Computer Engineering
Wah
Campus
|
Khan Wilayat,
Stefano Calzavara,
Michele Bugliesi, Willem De Groef, and Frank Piessens''Client Side Web Session Integrity as a Non-interference Property'',2014.
|
Electrical and Computer Engineering
Wah
Campus
|
Wilayat Khan,
Basim Azam,
Noman Shahid''Formal Verification of Digital Circuits Using Simulator With Mathematical Foundation'',2018.
|
Electrical and Computer Engineering
Wah
Campus
|
Khan Wilayat,
David Sanan,
Alwen Tiu''VeriFormal: An Executable Formal Model of a Hardware Description Language'',2017.
|
Electrical and Computer Engineering
Wah
Campus
|
Khan,Wilayat,
Farrukh Aslam Khan,
Abdelouahid Derhab and Adi Alhudhaif''CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on Interactive Theorem Prover'',2021.
|
Electrical and Computer Engineering
Wah
Campus
|
Khan, Wilayat,
Aakash Ahmad,
Aamir Qamar, Muhammad Kamran''Spoof- Catch: A Client-Side Protection Tool Against Phishing Attacks'',2021.
|
Electrical and Computer Engineering
Wah
Campus
|
Ahmad, Aakash,
Adel Alkhalil,
Ahmed B. Altamimi, Khalid Sultan, and Wilayat Khan''Modernizing Legacy Software as Context—Sensitive and Portable Mobile-Enabled Application'',2021.
|
Electrical and Computer Engineering
Wah
Campus
|
Khan, Wilayat,
Muhammad Kamran,
Syed Rameez Naqvi, Farrukh Aslam Khan''Formal Verification of Hardware Components in Critical Systems'',2020.
|
Electrical and Computer Engineering
Wah
Campus
|
Khan Wilayat,
David Sanan,
Zhe Hou, and Liu Yang''On embedding a hardware description language in Isabelle/HOL'',2019.
|