Semeen Rehman
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits
Faiq Khalid and others (2022) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems