Imran Hafeez Abbassi
Imran Hafeez Abbassi
Verified email at
Cited by
Cited by
A self-learning framework to detect the intruded integrated circuits
FK Lodhi, I Abbasi, F Khalid, O Hasan, F Awwad, SR Hasan
2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1702-1705, 2016
Trojanzero: Switching activity-aware design of undetectable hardware trojans with zero power and area footprint
IH Abbassi, F Khalid, S Rehman, AM Kamboh, A Jantsch, S Garg, ...
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 914-919, 2019
Formal verification of gate-level multiple side channel parameters to detect hardware Trojans
IH Abbasi, FK Lodhi, AM Kamboh, O Hasan
International Workshop on Formal Techniques for Safety-Critical Systems, 75-92, 2016
A compact S-Box design for SMS4 block cipher
I Abbasi, M Afzal
IT Convergence and Services, 641-658, 2011
McSeVIC: A model checking based framework for security vulnerability analysis of integrated circuits
IH Abbassi, F Khalid, O Hasan, AM Kamboh, M Shafique
IEEE Access 6, 32240-32257, 2018
Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits
IH Abbassi, F Khalid, O Hasan, AM Kamboh
Science of Computer Programming 171, 42-66, 2019
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits
F Khalid, IH Abbassi, S Rehman, AM Kamboh, O Hasan, M Shafique
arXiv preprint arXiv:1812.05446, 2018
Accelerating Viterbi Algorithm using Custom Instruction Approach
W Ahmad, IH Abbassi, U Sanwal, H Mahmood
2018 14th IEEE/ASME International Conference on Mechatronic and Embedded …, 2018
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans
O Hasan
Formal Techniques for Safety-Critical Systems: 5th International Workshop …, 2017
The system can't perform the operation now. Try again later.
Articles 1–9