ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits.
Faiq KhalidImran Hafeez AbbassiSemeen RehmanAwais Mehmood KambohOsman HasanMuhammad ShafiquePublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)