{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T16:54:42Z","timestamp":1779382482347,"version":"3.53.1"},"reference-count":53,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Dynetics","award":["AWD07446"],"award-info":[{"award-number":["AWD07446"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/tifs.2023.3343970","type":"journal-article","created":{"date-parts":[[2023,12,18]],"date-time":"2023-12-18T19:27:49Z","timestamp":1702927669000},"page":"1794-1809","source":"Crossref","is-referenced-by-count":4,"title":["AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-5096-3766","authenticated-orcid":false,"given":"Nusrat Farzana","family":"Dipu","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Florida Institute for Cybersecurity (FICS) Research, University of Florida, Gainesville, FL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-1915-0746","authenticated-orcid":false,"given":"Avinash","family":"Ayalasomayajula","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Florida Institute for Cybersecurity (FICS) Research, University of Florida, Gainesville, FL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark M.","family":"Tehranipoor","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Florida Institute for Cybersecurity (FICS) Research, University of Florida, Gainesville, FL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Farimah","family":"Farahmandi","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Florida Institute for Cybersecurity (FICS) Research, University of Florida, Gainesville, FL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/iemc.2005.1559195"},{"key":"ref2","volume-title":"Trust-Hub Benchmark","year":"2023"},{"key":"ref3","volume-title":"OpenCores"},{"key":"ref4","first-page":"213","article-title":"HardFails: Insights into software-exploitable hardware bugs","volume-title":"Proc. 28th USENIX Secur. Symp.","author":"Dessouky"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ITC44170.2019.9000170"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED51717.2021.9424365"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2897992"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/c2016-0-03251-5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.08.061"},{"key":"ref11","article-title":"Introducing the new Accellera open verification library standard","volume-title":"Proc. Design Verification Conf.","author":"Foster"},{"key":"ref12","volume-title":"IEEE Standard for Property Specification Language (PSL)","year":"2005"},{"key":"ref13","volume-title":"JasperGold Formal Fundamentals Cadence","year":"2023"},{"key":"ref14","volume-title":"EBMC\u2014A Model Checker for Verilog Designs","year":"2023"},{"key":"ref15","volume-title":"VC Formal Synopsys","year":"2023"},{"key":"ref16","volume-title":"Hardware Design Verification: Simulation and Formal Method-Based Approaches","author":"Lam","year":"2005"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2005.193920"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484908"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2013995"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2241176"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062206"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0110"},{"key":"ref25","volume-title":"Trust-Hub Property Database"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00071"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3474376.3487286"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2018.8297287"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2017.56"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75197-7"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2016.12"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2012.2189105"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240839"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2331332"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024782"},{"key":"ref36","volume-title":"Building a Secure System using TrustZone Technology","year":"2009"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/VTS50974.2021.9441039"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372616"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2021.3129512"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2016.2605087"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14623-7_27"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30596-3_7"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98116-1"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49025-0"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657085"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1201\/b19721-8"},{"key":"ref47","volume-title":"SAEAES","author":"Naito","year":"2019"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-010-0115-0"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2012.6224318"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ITC44778.2020.9325264"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6600-1"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2016.143"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3565801"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10206\/10319981\/10363345.pdf?arnumber=10363345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T20:45:58Z","timestamp":1705092358000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10363345\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":53,"URL":"https:\/\/doi.org\/10.1109\/tifs.2023.3343970","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}