Imran Hafeez Abbassi

ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits pdf

Muhammad Shafique, Faiq Khalid, Semeen Rehman, 2018, ArXiv.

Accelerating Viterbi Algorithm using Custom Instruction Approach

Hasan Mahmood, Waqar Ahmad, Imran Hafeez Abbassi, 2018, 2018 14th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA).

Hardware Intrusion Detection Using Run-Time Parametric Analysis

Imran Hafeez Abbassi, 2019 .

McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits

Muhammad Shafique, Faiq Khalid, Osman Hasan, 2018, IEEE Access.

TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint

Axel Jantsch, Muhammad Shafique, Faiq Khalid, 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits

Faiq Khalid, Osman Hasan, Awais M. Kamboh, 2019, Sci. Comput. Program..

ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits

Faiq Khalid, Semeen Rehman, Awais M. Kamboh, 2021 .