137 citations · 329 across the 21 of their papers we have counts for
10 papers · 1 filter
SHIELD: An Adaptive and Lightweight Defense against the Remote Power Side-Channel Attacks on Multi-tenant FPGAs
Mahya Morid Ahmadi, Faiq Khalid, Radha Vaidya +3
Dynamic partial reconfiguration enables multi-tenancy in cloud-based FPGAs, which presents security challenges for tenants, IPs, and data. Malicious users can exploit FPGAs for rem…
Side-Channel Attacks on RISC-V Processors: Current Progress, Challenges, and Opportunities
Mahya Morid Ahmadi, Faiq Khalid, Muhammad Shafique
Side-channel attacks on microprocessors, like the RISC-V, exhibit security vulnerabilities that lead to several design challenges. Hence, it is imperative to study and analyze thes…
FeSHI: Feature Map Based Stealthy Hardware Intrinsic Attack
Tolulope Odetola, Faiq Khalid, Travis Sandefur +2
To reduce the time-to-market and access to state-of-the-art techniques, CNN hardware mapping and deployment on embedded accelerators are often outsourced to untrusted third parties…
Exploiting Vulnerabilities in Deep Neural Networks: Adversarial and Fault-Injection Attacks
Faiq Khalid, Muhammad Abdullah Hanif, Muhammad Shafique
From tiny pacemaker chips to aircraft collision avoidance systems, the state-of-the-art Cyber-Physical Systems (CPS) have increasingly started to rely on Deep Neural Networks (DNNs…
GNNUnlock: Graph Neural Networks-based Oracle-less Unlocking Scheme for Provably Secure Logic Locking
Lilas Alrahis, Satwik Patnaik, Faiq Khalid +4
In this paper, we propose GNNUnlock, the first-of-its-kind oracle-less machine learning-based attack on provably secure logic locking that can identify any desired protection logic…
MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices
Faiq Khalid, Syed Rafay Hasan, Sara Zia +3
Traditional learning-based approaches for run-time Hardware Trojan detection require complex and expensive on-chip data acquisition frameworks and thus incur high area and power ov…
RED-Attack: Resource Efficient Decision based Attack for Machine Learning
Faiq Khalid, Hassan Ali, Muhammad Abdullah Hanif +3
Due to data dependency and model leakage properties, Deep Neural Networks (DNNs) exhibit several security vulnerabilities. Several security attacks exploited them but most of them…
SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection
Faiq Khalid, Syed Rafay Hasan, Osman Hasan +1
Timely detection of Hardware Trojans (HTs) has become a major challenge for secure integrated circuits. We present a run-time methodology for HT detection that employs a multi-para…
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits
Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman +3
Security vulnerability analysis of Integrated Circuits using conventional design-time validation and verification techniques (like simulations, emulations, etc.) is generally a com…
TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint
Imran Hafeez Abbassi, Faiq Khalid, Semeen Rehman +4
Conventional Hardware Trojan (HT) detection techniques are based on the validation of integrated circuits to determine changes in their functionality, and on non-invasive side-chan…