Modified null convention logic pipeline to detect soft errors in both null and data phases. - Faiq Khalid Lodhi; Osman Hasan; Syed Rafay Hasan; Falah Awwad (MWSCAS, 2012)

Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv. - Syed Ali Asadullah Bukhari; Faiq Khalid Lodhi; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (FTSCS, 2014)

Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (ISVLSI, 2014)

Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah Awwad (MWSCAS, 2014)

Timing variation aware dynamic digital phase detector for low-latency clock domain crossing. - Faiq Khalid Lodhi; Syed Rafay Hasan; Naeha Sharif; Nadra Ramzan; Osman Hasan (IET Circuits Devices Syst., 2014)

Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (NORCAS, 2015)

Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. - Imran Hafeez Abbasi; Faiq Khalid Lodhi; Awais Mehmood Kamboh; Osman Hasan (FTSCS, 2016)

Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces. - Waqas Gul; Syed Rafay Hasan; Osman Hasan; Faiq Khalid Lodhi; Falah R. Awwad (ISCAS, 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 (ISCAS, 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 (ISCAS, 2016)

Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (J. Electron. Test., 2016)

CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking. - Syed Ali Asadullah Bukhari; Faiq Khalid Lodhi; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (DATE, 2017)

Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models. - Faiq Khalid Lodhi; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (DATE, 2017)

Behavior profiling of power distribution networks for runtime hardware trojan detection. - Faiq Khalid; Syed Rafay Hasan; Osman Hasan; Falah Awwad (MWSCAS, 2017)

FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems. - Syed Ali Asadullah Bukhari; Faiq Khalid Lodhi; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (Sci. Comput. Program., 2017)

An overview of next-generation architectures for machine learning: Roadmap, opportunities and challenges in the IoT era. - Muhammad Shafique 001; Theocharis Theocharides; Christos-Savvas Bouganis; Muhammad Abdullah Hanif; Faiq Khalid; Rehan Hafiz; Semeen Rehman (DATE, 2018)

Intelligent Security Measures for Smart Cyber Physical Systems. - Muhammad Shafique 001; Faiq Khalid; Semeen Rehman (DSD, 2018)

Security for Machine Learning-Based Systems: Attacks and Challenges During Training and Inference. - Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Muhammad Shafique 001 (FIT, 2018)

Robust Machine Learning Systems: Reliability and Security for Deep Neural Networks. - Muhammad Abdullah Hanif; Faiq Khalid; Rachmad Vidya Wicaksana Putra; Semeen Rehman; Muhammad Shafique 001 (IOLTS, 2018)

Hardware and Software Techniques for Heterogeneous Fault-Tolerance. - Semeen Rehman; Florian Kriebel; Bharath Srinivas Prabakaran; Faiq Khalid; Muhammad Shafique 001 (IOLTS, 2018)

FPGA-Based Convolutional Neural Network Architecture with Reduced Parameter Requirements. - Muluken Hailesellasie; Syed Rafay Hasan; Faiq Khalid; Falah Awwad; Muhammad Shafique 001 (ISCAS, 2018)

Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices. - Faiq Khalid; Sunil Nanjiani; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad; Muhammad Shafique 001 (ISCAS, 2018)

Robustness for Smart Cyber Physical Systems and Internet-of-Things: From Adaptive Robustness Methods to Reliability and Security for Machine Learning. - Florian Kriebel; Semeen Rehman; Muhammad Abdullah Hanif; Faiq Khalid; Muhammad Shafique 001 (ISVLSI, 2018)

Hardware Trojan Based Security Issues in Home Area Network: A Testbed Setup. - Hawzhin Mohammed; Jimmy Howell; Syed Rafay Hasan; Nan Guo; Faiq Khalid; Omar S. Elkeelany (MWSCAS, 2018)

Formal verification of a domain specific language for run-time adaptation. - Shahid Khan 002; Faiq Khalid; Osman Hasan; João M. P. Cardoso (SysCon, 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 001 (IEEE Access, 2018)

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems. - Denise Ratasich; Faiq Khalid; Florian Geissler; Radu Grosu; Muhammad Shafique 001; Ezio Bartocci (CoRR, 2018)

ISA4ML: Training Data-Unaware Imperceptible Security Attacks on Machine Learning Modules of Autonomous Vehicles. - Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Muhammad Shafique 001 (CoRR, 2018)

SSCNets: A Selective Sobel Convolution-based Technique to Enhance the Robustness of Deep Neural Networks against Security Attacks. - Hammad Tariq; Hassan Ali 001; Muhammad Abdullah Hanif; Faiq Khalid; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (CoRR, 2018)

ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits. - Faiq Khalid; Imran Hafeez Abbassi; Semeen Rehman; Osman Hasan; Muhammad Shafique 001 (CoRR, 2018)

Runtime hardware Trojan monitors through modeling burst mode communication using formal verification. - Faiq Khalid; Syed Rafay Hasan; Osman Hasan; Falah R. Awwad (Integr., 2018)

CANN: Curable Approximations for High-Performance Deep Neural Network Accelerators. - Muhammad Abdullah Hanif; Faiq Khalid; Muhammad Shafique 001 (DAC, 2019)

Building Robust Machine Learning Systems: Current Progress, Research Challenges, and Opportunities. - Jeff Jun Zhang; Kang Liu 017; Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Theocharis Theocharides; Alessandro Artussi; Muhammad Shafique 001; Siddharth Garg (DAC, 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 001 (DATE, 2019)

FAdeML: Understanding the Impact of Pre-Processing Noise Filtering on Adversarial Machine Learning. - Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Junaid Qadir 001; Muhammad Shafique 001 (DATE, 2019)

QuSecNets: Quantization-based Defense Mechanism for Securing Deep Neural Network against Adversarial Attacks. - Faiq Khalid; Hassan Ali 001; Hammad Tariq; Muhammad Abdullah Hanif; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (IOLTS, 2019)

TrISec: Training Data-Unaware Imperceptible Security Attacks on Deep Neural Networks. - Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (IOLTS, 2019)

Deep Learning for Edge Computing: Current Trends, Cross-Layer Optimizations, and Open Research Challenges. - Alberto Marchisio; Muhammad Abdullah Hanif; Faiq Khalid; George Plastiras; Christos Kyrkou; Theocharis Theocharides; Muhammad Shafique 001 (ISVLSI, 2019)

VAWS: Vulnerability Analysis of Neural Networks using Weight Sensitivity. - Muluken Hailesellasie; Jacob Nelson 003; Faiq Khalid; Syed Rafay Hasan (MWSCAS, 2019)

A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. - Denise Ratasich; Faiq Khalid; Florian Geissler; Radu Grosu; Muhammad Shafique 001; Ezio Bartocci (IEEE Access, 2019)

SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection. - Faiq Khalid; Syed Rafay Hasan; Osman Hasan; Falah Awwad; Muhammad Shafique 001 (CoRR, 2019)

CapsAttacks: Robust and Imperceptible Adversarial Attacks on Capsule Networks. - Alberto Marchisio; Giorgio Nanfa; Faiq Khalid; Muhammad Abdullah Hanif; Maurizio Martina; Muhammad Shafique 001 (CoRR, 2019)

RED-Attack: Resource Efficient Decision based Attack for Machine Learning. - Faiq Khalid; Hassan Ali 001; Muhammad Abdullah Hanif; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (CoRR, 2019)

SNN under Attack: are Spiking Deep Belief Networks vulnerable to Adversarial Examples? - Alberto Marchisio; Giorgio Nanfa; Faiq Khalid; Muhammad Abdullah Hanif; Maurizio Martina; Muhammad Shafique 001 (CoRR, 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)

FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. - Mahum Naseer; Mishal Fatima Minhas; Faiq Khalid; Muhammad Abdullah Hanif; Osman Hasan; Muhammad Shafique 001 (DATE, 2020)

FaDec: A Fast Decision-based Attack for Adversarial Machine Learning. - Faiq Khalid; Hassan Ali 001; Muhammad Abdullah Hanif; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (IJCNN, 2020)

Is Spiking Secure? A Comparative Study on the Security Vulnerabilities of Spiking and Deep Neural Networks. - Alberto Marchisio; Giorgio Nanfa; Faiq Khalid; Muhammad Abdullah Hanif; Maurizio Martina; Muhammad Shafique 001 (IJCNN, 2020)

MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices. - Faiq Khalid; Syed Rafay Hasan; Sara Zia; Osman Hasan; Falah Awwad; Muhammad Shafique 001 (CoRR, 2020)

SSCNets: Robustifying DNNs using Secure Selective Convolutional Filters. - Hassan Ali 001; Faiq Khalid; Hammad Tariq; Muhammad Abdullah Hanif; Rehan Ahmed; Semeen Rehman (IEEE Des. Test, 2020)

SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection. - Faiq Khalid; Syed Rafay Hasan; Osman Hasan; Muhammad Shafique 001 (Microprocess. Microsystems, 2020)

Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads. - Syed Ali Asadullah Bukhari; Faiq Khalid; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices. - Faiq Khalid; Syed Rafay Hasan; Sara Zia; Osman Hasan; Falah Awwad; Muhammad Shafique 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

GNNUnlock: Graph Neural Networks-based Oracle-less Unlocking Scheme for Provably Secure Logic Locking. - Lilas Alrahis; Satwik Patnaik; Faiq Khalid; Muhammad Abdullah Hanif; Hani H. Saleh; Muhammad Shafique 001; Ozgur Sinanoglu (DATE, 2021)

InTrust-IoT: Intelligent Ecosystem based on Power Profiling of Trusted device(s) in IoT for Hardware Trojan Detection. - Hawzhin Mohammed; Faiq Khalid; Paul Sawyer; Gabriella Cataloni; Syed Rafay Hasan (HASP@MICRO, 2021)

Security Analysis of Capsule Network Inference using Horizontal Collaboration. - Adewale Adeyemo; Faiq Khalid; Tolulope A. Odetola; Syed Rafay Hasan (MWSCAS, 2021)

FeSHI: Feature Map-Based Stealthy Hardware Intrinsic Attack. - Tolulope A. Odetola; Faiq Khalid; Hawzhin Mohammed; Travis Sandefur; Syed Rafay Hasan (IEEE Access, 2021)

Exploiting Vulnerabilities in Deep Neural Networks: Adversarial and Fault-Injection Attacks. - Faiq Khalid; Muhammad Abdullah Hanif; Muhammad Shafique 001 (CoRR, 2021)

Side-Channel Attacks on RISC-V Processors: Current Progress, Challenges, and Opportunities. - Mahya Morid Ahmadi; Faiq Khalid; Muhammad Shafique 001 (CoRR, 2021)

LaBaNI: Layer-based Noise Injection Attack on Convolutional Neural Networks. - Tolulope A. Odetola; Faiq Khalid; Syed Rafay Hasan (ACM Great Lakes Symposium on VLSI, 2022)

2L-3W: 2-Level 3-Way Hardware-Software Co-verification for the Mapping of Convolutional Neural Network (CNN) onto FPGA Boards. - Tolulope A. Odetola; Katie M. Groves; Muhammed Yousufuddin; Faiq Khalid; Syed Rafay Hasan (SN Comput. Sci., 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 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

DeMiST: Detection and Mitigation of Stealthy Analog Hardware Trojans. - Enahoro Oriero; Faiq Khalid; Syed Rafay Hasan (HASP@MICRO, 2023)

StAIn: Stealthy Avenues of Attacks on Horizontally Collaborated Convolutional Neural Network Inference and Their Mitigation. - Adewale Adeyemo; Jonathan J. Sanderson; Tolulope A. Odetola; Faiq Khalid; Syed Rafay Hasan (IEEE Access, 2023)

SHIELD: An Adaptive and Lightweight Defense against the Remote Power Side-Channel Attacks on Multi-tenant FPGAs. - Mahya Morid Ahmadi; Faiq Khalid; Radha Vaidya; Florian Kriebel; Andreas Steininger; Muhammad Shafique 001 (CoRR, 2023)

SeVuc: A study on the Security Vulnerabilities of Capsule Networks against adversarial attacks. - Alberto Marchisio; Giorgio Nanfa; Faiq Khalid; Muhammad Abdullah Hanif; Maurizio Martina; Muhammad Shafique 001 (Microprocess. Microsystems, 2023)

FM-ModComp: Feature Map Modification and Hardware-Software Co-Comparison for secure hardware accelerator-based CNN inference. - Tolulope A. Odetola; Adewale Adeyemo; Faiq Khalid; Syed Rafay Hasan (Microprocess. Microsystems, 2023)