{"id":242785,"date":"2021-01-01T00:00:00","date_gmt":"2021-01-01T00:00:00","guid":{"rendered":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/?publications=forasec-formal-analysis-of-hardware-trojan-based-security-vulnerabilities-in-sequential-circuits"},"modified":"2026-06-03T06:30:16","modified_gmt":"2026-06-03T06:30:16","slug":"forasec-formal-analysis-of-hardware-trojan-based-security-vulnerabilities-in-sequential-circuits","status":"publish","type":"publications","link":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/?publications=forasec-formal-analysis-of-hardware-trojan-based-security-vulnerabilities-in-sequential-circuits","title":{"rendered":"ForaSec: Formal analysis of hardware Trojan-based security vulnerabilities in sequential circuits"},"content":{"rendered":"<p>Authors: F. Khalid, I.H. Abbassi, S. Rehman, A.M. Kamboh, O. Hasan, M. Shafique<\/p>\n<p><em>IEEE TCAD; Jan. 2021<\/em><\/p>\n<div class=\"pub-meta\">\n  <span class=\"pub-badge badge-journal\">Journal<\/span><br \/>\n  <a href=\"https:\/\/ohasan.seecs.nust.edu.pk\/Journal\/Journal\/TCAD_2021.pdf\" target=\"_blank\">View Paper \u2197<\/a>\n<\/div>\n","protected":false},"featured_media":0,"template":"","categories":[1],"pub-type":[],"research-area":[],"pub-year":[47],"class_list":["post-242785","publications","type-publications","status-publish","hentry","category-uncategorized","pub-year-47"],"_links":{"self":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/publications\/242785","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/publications"}],"about":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/types\/publications"}],"wp:attachment":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=242785"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=242785"},{"taxonomy":"pub-type","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fpub-type&post=242785"},{"taxonomy":"research-area","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fresearch-area&post=242785"},{"taxonomy":"pub-year","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fpub-year&post=242785"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}