217 citations · 1.3k across the 49 of their papers we have counts for
9 papers · 1 filter
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…
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…
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead
Muhammad Shafique, Mahum Naseer, Theocharis Theocharides +4
Machine Learning (ML) techniques have been rapidly adopted by smart Cyber-Physical Systems (CPS) and Internet-of-Things (IoT) due to their powerful decision-making capabilities. Ho…
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…
NeuroAttack: Undermining Spiking Neural Networks Security through Externally Triggered Bit-Flips
Valerio Venceslai, Alberto Marchisio, Ihsen Alouani +2
Due to their proven efficiency, machine-learning systems are deployed in a wide range of complex real-life problems. More specifically, Spiking Neural Networks (SNNs) emerged as a…
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…
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…