Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman, Awais Mehmood Kamboh, Osman Hasan, Muhammad Shafique 0001. ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(4):1167-1180, 2022. [doi]
Abstract is missing.