ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits | IEEE Journals & Magazine | IEEE Xplore