Faiq Khalid Lodhi

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 7

Top Topics

Integrated Circuit

Formal Verification

Subgraph Isomorphism

Top Venues

Publications

Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems. Sci. Comput. Program. 133 (2017)
Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking. DATE (2017)
Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models. DATE (2017)
Waqas Gul, Syed Rafay Hasan, Osman Hasan, Faiq Khalid Lodhi, Falah R. Awwad
Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces. ISCAS (2016)
Imran Hafeez Abbasi, Faiq Khalid Lodhi, Awais Mehmood Kamboh, Osman Hasan
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. FTSCS (2016)
Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification. J. Electron. Test. 32 (5) (2016)
Faiq Khalid Lodhi, Imran Hafeez Abbasi, Faiq Khalid, Osman Hasan, Falah R. Awwad, Syed Rafay Hasan
A self-learning framework to detect the intruded integrated circuits. ISCAS (2016)
Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection. NORCAS (2015)
Faiq Khalid Lodhi, Syed Rafay Hasan, Naeha Sharif, Nadra Ramzan, Osman Hasan
Timing variation aware dynamic digital phase detector for low-latency clock domain crossing. IET Circuits Devices Syst. 8 (1) (2014)
Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah Awwad
Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline. MWSCAS (2014)
Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv. FTSCS (2014)
Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline. ISVLSI (2014)
Faiq Khalid Lodhi, Osman Hasan, Syed Rafay Hasan, Falah Awwad
Modified null convention logic pipeline to detect soft errors in both null and data phases. MWSCAS (2012)