165 citations · 330 across the 20 of their papers we have counts for
4 papers · 1 filter
Holo-Block Chain: A Hybrid Approach for Secured IoT Healthcare Ecosystem
Asad Aftab, Chrysostomos Chrysostomou, Hassaan Khaliq Qureshi +1
The Internet-of-Things (IoT) is an imminent and corporal technology that enables the connectivity of smart physical devices with virtual objects contriving in distinct platforms wi…
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…