ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits

Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman, Awais Mehmood Kamboh, Osman Hasan, Muhammad Shafique

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits'. Together they form a unique fingerprint.

Engineering & Materials Science