Login / Signup
Faiq Khalid
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 63
Top Topics
Noise Tolerance
Machine Learning
Formal Analysis
Neural Network
Top Venues
CoRR
DATE
MWSCAS
IOLTS
</>
Publications
</>
Tolulope A. Odetola
,
Adewale Adeyemo
,
Faiq Khalid
,
Syed Rafay Hasan
FM-ModComp: Feature Map Modification and Hardware-Software Co-Comparison for secure hardware accelerator-based CNN inference.
Microprocess. Microsystems
100 (2023)
Enahoro Oriero
,
Faiq Khalid
,
Syed Rafay Hasan
DeMiST: Detection and Mitigation of Stealthy Analog Hardware Trojans.
CoRR
(2023)
Mahya Morid Ahmadi
,
Faiq Khalid
,
Radha Vaidya
,
Florian Kriebel
,
Andreas Steininger
,
Muhammad Shafique
SHIELD: An Adaptive and Lightweight Defense against the Remote Power Side-Channel Attacks on Multi-tenant FPGAs.
CoRR
(2023)
Adewale Adeyemo
,
Jonathan J. Sanderson
,
Tolulope A. Odetola
,
Faiq Khalid
,
Syed Rafay Hasan
StAIn: Stealthy Avenues of Attacks on Horizontally Collaborated Convolutional Neural Network Inference and Their Mitigation.
IEEE Access
11 (2023)
Enahoro Oriero
,
Faiq Khalid
,
Hasan Rafay Syed
DeMiST: Detection and Mitigation of Stealthy Analog Hardware Trojans.
HASP@MICRO
(2023)
Alberto Marchisio
,
Giorgio Nanfa
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Maurizio Martina
,
Muhammad Shafique
SeVuc: A study on the Security Vulnerabilities of Capsule Networks against adversarial attacks.
Microprocess. Microsystems
96 (2023)
Tolulope A. Odetola
,
Katie M. Groves
,
Muhammed Yousufuddin
,
Faiq Khalid
,
Syed Rafay Hasan
2L-3W: 2-Level 3-Way Hardware-Software Co-verification for the Mapping of Convolutional Neural Network (CNN) onto FPGA Boards.
SN Comput. Sci.
3 (1) (2022)
Tolulope A. Odetola
,
Faiq Khalid
,
Syed Rafay Hasan
LaBaNI: Layer-based Noise Injection Attack on Convolutional Neural Networks.
ACM Great Lakes Symposium on VLSI
(2022)
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)
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Muhammad Shafique
Exploiting Vulnerabilities in Deep Neural Networks: Adversarial and Fault-Injection Attacks.
CoRR
(2021)
Adewale Adeyemo
,
Faiq Khalid
,
Tolulope A. Odetola
,
Syed Rafay Hasan
Security Analysis of Capsule Network Inference using Horizontal Collaboration.
CoRR
(2021)
Hawzhin Mohammed
,
Faiq Khalid
,
Paul Sawyer
,
Gabriella Cataloni
,
Syed Rafay Hasan
InTrust-IoT: Intelligent Ecosystem based on Power Profiling of Trusted device(s) in IoT for Hardware Trojan Detection.
HASP@MICRO
(2021)
Adewale Adeyemo
,
Faiq Khalid
,
Tolulope A. Odetola
,
Syed Rafay Hasan
Security Analysis of Capsule Network Inference using Horizontal Collaboration.
MWSCAS
(2021)
Tolulope A. Odetola
,
Faiq Khalid
,
Hawzhin Mohammed
,
Travis Sandefur
,
Syed Rafay Hasan
FeSHI: Feature Map-Based Stealthy Hardware Intrinsic Attack.
IEEE Access
9 (2021)
Tolulope A. Odetola
,
Faiq Khalid
,
Travis Sandefur
,
Hawzhin Mohammed
,
Syed Rafay Hasan
FeSHI: Feature Map Based Stealthy Hardware Intrinsic Attack.
CoRR
(2021)
Mahya Morid Ahmadi
,
Faiq Khalid
,
Muhammad Shafique
Side-Channel Attacks on RISC-V Processors: Current Progress, Challenges, and Opportunities.
CoRR
(2021)
Lilas Alrahis
,
Satwik Patnaik
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Hani H. Saleh
,
Muhammad Shafique
,
Ozgur Sinanoglu
GNNUnlock: Graph Neural Networks-based Oracle-less Unlocking Scheme for Provably Secure Logic Locking.
DATE
(2021)
Faiq Khalid
,
Syed Rafay Hasan
,
Sara Zia
,
Osman Hasan
,
Falah Awwad
,
Muhammad Shafique
MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
39 (11) (2020)
Lilas Alrahis
,
Satwik Patnaik
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Hani H. Saleh
,
Muhammad Shafique
,
Ozgur Sinanoglu
GNNUnlock: Graph Neural Networks-based Oracle-less Unlocking Scheme for Provably Secure Logic Locking.
CoRR
(2020)
Hassan Ali
,
Faiq Khalid
,
Hammad Tariq
,
Muhammad Abdullah Hanif
,
Rehan Ahmed
,
Semeen Rehman
SSCNets: Robustifying DNNs using Secure Selective Convolutional Filters.
IEEE Des. Test
37 (2) (2020)
Mahum Naseer
,
Mishal Fatima Minhas
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Osman Hasan
,
Muhammad Shafique
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks.
DATE
(2020)
Syed Ali Asadullah Bukhari
,
Faiq Khalid
,
Osman Hasan
,
Muhammad Shafique
,
Jörg Henkel
Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
39 (8) (2020)
Alberto Marchisio
,
Giorgio Nanfa
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Maurizio Martina
,
Muhammad Shafique
Is Spiking Secure? A Comparative Study on the Security Vulnerabilities of Spiking and Deep Neural Networks.
IJCNN
(2020)
Faiq Khalid
,
Syed Rafay Hasan
,
Sara Zia
,
Osman Hasan
,
Falah Awwad
,
Muhammad Shafique
MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices.
CoRR
(2020)
Faiq Khalid
,
Syed Rafay Hasan
,
Osman Hasan
,
Muhammad Shafique
SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection.
Microprocess. Microsystems
77 (2020)
Faiq Khalid
,
Hassan Ali
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Rehan Ahmed
,
Muhammad Shafique
FaDec: A Fast Decision-based Attack for Adversarial Machine Learning.
IJCNN
(2020)
Alberto Marchisio
,
Giorgio Nanfa
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Maurizio Martina
,
Muhammad Shafique
CapsAttacks: Robust and Imperceptible Adversarial Attacks on Capsule Networks.
CoRR
(2019)
Faiq Khalid
,
Hassan Ali
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Rehan Ahmed
,
Muhammad Shafique
RED-Attack: Resource Efficient Decision based Attack for Machine Learning.
CoRR
(2019)
Jeff Jun Zhang
,
Kang Liu
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Theocharis Theocharides
,
Alessandro Artussi
,
Muhammad Shafique
,
Siddharth Garg
Building Robust Machine Learning Systems: Current Progress, Research Challenges, and Opportunities.
DAC
(2019)
Denise Ratasich
,
Faiq Khalid
,
Florian Geissler
,
Radu Grosu
,
Muhammad Shafique
,
Ezio Bartocci
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems.
IEEE Access
7 (2019)
Mahum Naseer
,
Mishal Fatima Minhas
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Osman Hasan
,
Muhammad Shafique
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks.
CoRR
(2019)
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Junaid Qadir
,
Muhammad Shafique
FAdeML: Understanding the Impact of Pre-Processing Noise Filtering on Adversarial Machine Learning.
DATE
(2019)
Alberto Marchisio
,
Muhammad Abdullah Hanif
,
Faiq Khalid
,
George Plastiras
,
Christos Kyrkou
,
Theocharis Theocharides
,
Muhammad Shafique
Deep Learning for Edge Computing: Current Trends, Cross-Layer Optimizations, and Open Research Challenges.
ISVLSI
(2019)
Faiq Khalid
,
Syed Rafay Hasan
,
Osman Hasan
,
Falah Awwad
,
Muhammad Shafique
SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection.
CoRR
(2019)
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)
Alberto Marchisio
,
Giorgio Nanfa
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Maurizio Martina
,
Muhammad Shafique
SNN under Attack: are Spiking Deep Belief Networks vulnerable to Adversarial Examples?
CoRR
(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)
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Rehan Ahmed
,
Muhammad Shafique
TrISec: Training Data-Unaware Imperceptible Security Attacks on Deep Neural Networks.
IOLTS
(2019)
Muhammad Abdullah Hanif
,
Faiq Khalid
,
Muhammad Shafique
CANN: Curable Approximations for High-Performance Deep Neural Network Accelerators.
DAC
(2019)
Faiq Khalid
,
Hassan Ali
,
Hammad Tariq
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Rehan Ahmed
,
Muhammad Shafique
QuSecNets: Quantization-based Defense Mechanism for Securing Deep Neural Network against Adversarial Attacks.
IOLTS
(2019)
Muluken Hailesellasie
,
Jacob Nelson
,
Faiq Khalid
,
Syed Rafay Hasan
VAWS: Vulnerability Analysis of Neural Networks using Weight Sensitivity.
MWSCAS
(2019)
Faiq Khalid
,
Sunil Nanjiani
,
Syed Rafay Hasan
,
Osman Hasan
,
Falah R. Awwad
,
Muhammad Shafique
Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices.
ISCAS
(2018)
Florian Kriebel
,
Semeen Rehman
,
Muhammad Abdullah Hanif
,
Faiq Khalid
,
Muhammad Shafique
Robustness for Smart Cyber Physical Systems and Internet-of-Things: From Adaptive Robustness Methods to Reliability and Security for Machine Learning.
ISVLSI
(2018)
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)
Hammad Tariq
,
Hassan Ali
,
Muhammad Abdullah Hanif
,
Faiq Khalid
,
Semeen Rehman
,
Rehan Ahmed
,
Muhammad Shafique
SSCNets: A Selective Sobel Convolution-based Technique to Enhance the Robustness of Deep Neural Networks against Security Attacks.
CoRR
(2018)
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Junaid Qadir
,
Muhammad Shafique
FAdeML: Understanding the Impact of Pre-Processing Noise Filtering on Adversarial Machine Learning.
CoRR
(2018)
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Muhammad Shafique
Security for Machine Learning-based Systems: Attacks and Challenges during Training and Inference.
CoRR
(2018)
Hawzhin Mohammed
,
Jimmy Howell
,
Syed Rafay Hasan
,
Nan Guo
,
Faiq Khalid
,
Omar S. Elkeelany
Hardware Trojan Based Security Issues in Home Area Network: A Testbed Setup.
MWSCAS
(2018)
Denise Ratasich
,
Faiq Khalid
,
Florian Geissler
,
Radu Grosu
,
Muhammad Shafique
,
Ezio Bartocci
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems.
CoRR
(2018)
Hassan Ali
,
Hammad Tariq
,
Muhammad Abdullah Hanif
,
Faiq Khalid
,
Semeen Rehman
,
Rehan Ahmed
,
Muhammad Shafique
QuSecNets: Quantization-based Defense Mechanism for Securing Deep Neural Network against Adversarial Attacks.
CoRR
(2018)
Faiq Khalid
,
Syed Rafay Hasan
,
Osman Hasan
,
Falah R. Awwad
Runtime hardware Trojan monitors through modeling burst mode communication using formal verification.
Integr.
61 (2018)
Faiq Khalid
,
Imran Hafeez Abbassi
,
Semeen Rehman
,
Osman Hasan
,
Muhammad Shafique
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits.
CoRR
(2018)
Semeen Rehman
,
Florian Kriebel
,
Bharath Srinivas Prabakaran
,
Faiq Khalid
,
Muhammad Shafique
Hardware and Software Techniques for Heterogeneous Fault-Tolerance.
IOLTS
(2018)
Muhammad Abdullah Hanif
,
Faiq Khalid
,
Rachmad Vidya Wicaksana Putra
,
Semeen Rehman
,
Muhammad Shafique
Robust Machine Learning Systems: Reliability and Security for Deep Neural Networks.
IOLTS
(2018)
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Muhammad Shafique
Security for Machine Learning-Based Systems: Attacks and Challenges During Training and Inference.
FIT
(2018)
Muhammad Shafique
,
Faiq Khalid
,
Semeen Rehman
Intelligent Security Measures for Smart Cyber Physical Systems.
DSD
(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)
Shahid Khan
,
Faiq Khalid
,
Osman Hasan
,
João M. P. Cardoso
Formal verification of a domain specific language for run-time adaptation.
SysCon
(2018)
Muluken Hailesellasie
,
Syed Rafay Hasan
,
Faiq Khalid
,
Falah Awwad
,
Muhammad Shafique
FPGA-Based Convolutional Neural Network Architecture with Reduced Parameter Requirements.
ISCAS
(2018)
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Semeen Rehman
,
Muhammad Shafique
ISA4ML: Training Data-Unaware Imperceptible Security Attacks on Machine Learning Modules of Autonomous Vehicles.
CoRR
(2018)
Muhammad Shafique
,
Theocharis Theocharides
,
Christos-Savvas Bouganis
,
Muhammad Abdullah Hanif
,
Faiq Khalid
,
Rehan Hafiz
,
Semeen Rehman
An overview of next-generation architectures for machine learning: Roadmap, opportunities and challenges in the IoT era.
DATE
(2018)
Faiq Khalid
,
Syed Rafay Hasan
,
Osman Hasan
,
Falah Awwadl
Behavior profiling of power distribution networks for runtime hardware trojan detection.
MWSCAS
(2017)
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)