Imran Hafeez Abbassi

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 8

Top Topics

Formal Analysis

Security Vulnerabilities

Viterbi Algorithm

Top Venues

Sci. Comput. Program.

Publications

Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman, Awais Mehmood Kamboh, Osman Hasan, Muhammad Shafique
ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (4) (2022)
Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh
Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits. Sci. Comput. Program. 171 (2019)
Imran Hafeez Abbassi, Faiq Khalid, Semeen Rehman, Awais Mehmood Kamboh, Axel Jantsch, Siddharth Garg, Muhammad Shafique
TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint. DATE (2019)
Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh, Muhammad Shafique
McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits. IEEE Access 6 (2018)
Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman, Osman Hasan, Muhammad Shafique
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits. CoRR (2018)
Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood
Accelerating Viterbi Algorithm using Custom Instruction Approach. CoRR (2018)
Imran Hafeez Abbassi, Faiq Khalid, Semeen Rehman, Awais Mehmood Kamboh, Axel Jantsch, Siddharth Garg, Muhammad Shafique
TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint. CoRR (2018)
Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood
Accelerating Viterbi Algorithm using Custom Instruction Approach. MESA (2018)