31 citations · 38 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018★ 1 cited
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…
cs.LG2018★ 31 cited
Security for Machine Learning-based Systems: Attacks and Challenges during Training and Inference
Faiq Khalid, Muhammad Abdullah Hanif, Semeen Rehman +1
The exponential increase in dependencies between the cyber and physical world leads to an enormous amount of data which must be efficiently processed and stored. Therefore, computi…