Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. - Imran Hafeez Abbasi; Faiq Khalid Lodhi; Awais Mehmood Kamboh; Osman Hasan (FTSCS, 2016)

A self-learning framework to detect the intruded integrated circuits. - Faiq Khalid Lodhi; Imran Hafeez Abbasi; Faiq Khalid; Osman Hasan; Falah R. Awwad; Syed Rafay Hasan (ISCAS, 2016)

Accelerating Viterbi Algorithm using Custom Instruction Approach. - Waqar Ahmad; Imran Hafeez Abbassi; Usman Sanwal; Hasan Mahmood (MESA, 2018)

McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits. - Imran Hafeez Abbassi; Faiq Khalid; Osman Hasan; Awais Mehmood Kamboh; Muhammad Shafique 001 (IEEE Access, 2018)

ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits. - Faiq Khalid; Imran Hafeez Abbassi; Semeen Rehman; Osman Hasan; Muhammad Shafique 001 (CoRR, 2018)

TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint. - Imran Hafeez Abbassi; Faiq Khalid; Semeen Rehman; Awais Mehmood Kamboh; Axel Jantsch; Siddharth Garg; Muhammad Shafique 001 (DATE, 2019)

Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits. - Imran Hafeez Abbassi; Faiq Khalid; Osman Hasan; Awais Mehmood Kamboh (Sci. Comput. Program., 2019)

ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits. - Faiq Khalid; Imran Hafeez Abbassi; Semeen Rehman; Awais Mehmood Kamboh; Osman Hasan; Muhammad Shafique 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Convolutional Neural Networks for Deep Spoken Keyword Spotting. - Nayyer Aafaq; Mehran Saleem; Jahanzeb T. Khan; Imran Hafeez Abbasi (ICAI, 2023)