CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover

by Wilayat Khan, Farrukh Aslam Khan, Abdelouahid Derhab, Adi Alhudhaif
Published 2021-01-01

Formal Analysis of Language-Based Android Security Using Theorem Proving Approach

by Wilayat Khan, Muhammad Kamran, Aakash Ahmad, Farrukh Aslam Khan, Abdelouahid Derhab
Published 2019-01-01

Formal Verification of Hardware Components in Critical Systems

by Wilayat Khan, Muhammad Kamran, Syed Rameez Naqvi, Farrukh Aslam Khan, Ahmed S. Alghamdi, Eesa Alsolami
Published 2020-01-01

Insight into the Optoelectronic and Thermoelectric Properties of Mn Doped ZnTe from First Principles Calculation

by Wilayat Khan, Sikander Azam, Inam Ullah, Malika Rani, Ayesha Younus, Muhammad Irfan, Paweł Czaja, Iwan V. Kityk
Published 2019-05-01

Precision Modeling: Application of Metaheuristics on Current–Voltage Curves of Superconducting Films

by Syed Rameez Naqvi, Tallha Akram, Sajjad Ali Haider, Muhammad Kamran, Aamir Shahzad, Wilayat Khan, Tassawar Iqbal, Hafiz Gulfam Umer
Published 2018-08-01