Imran Hafeez Abbasi

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

Osman Hasan, Awais M. Kamboh, Imran Hafeez Abbasi, 2016, FTSCS.

A self-learning framework to detect the intruded integrated circuits

Faiq Khalid, Osman Hasan, Falah R. Awwad, 2016, 2016 IEEE International Symposium on Circuits and Systems (ISCAS).