26 citations · 46 across the 12 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2020★ 26 cited
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…
cs.CR2018
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…