Imran Hafeez Abbassi

According to our database, Imran Hafeez Abbassi authored at least 8 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

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

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits.

Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman, Osman Hasan, Muhammad Shafique

CoRR, 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

IEEE Access, 2018

Accelerating Viterbi Algorithm using Custom Instruction Approach.

Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood

Proceedings of the 14th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2018

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

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans.

Imran Hafeez Abbasi, Faiq Khalid Lodhi, Awais Mehmood Kamboh, Osman Hasan

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016