{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:27:12Z","timestamp":1763458032285,"version":"3.37.3"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,4,7]],"date-time":"2021-04-07T00:00:00Z","timestamp":1617753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,4,7]],"date-time":"2021-04-07T00:00:00Z","timestamp":1617753600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,4,7]],"date-time":"2021-04-07T00:00:00Z","timestamp":1617753600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,4,7]]},"DOI":"10.1109\/isqed51717.2021.9424363","type":"proceedings-article","created":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T00:09:51Z","timestamp":1620691791000},"page":"496-503","source":"Crossref","is-referenced-by-count":10,"title":["SoC Trust Validation Using Assertion-Based Security Monitors"],"prefix":"10.1109","author":[{"given":"Khitam","family":"Alatoun","sequence":"first","affiliation":[]},{"given":"Bharath","family":"Shankaranarayanan","sequence":"additional","affiliation":[]},{"given":"Shanmukha Murali","family":"Achyutha","sequence":"additional","affiliation":[]},{"given":"Ranga","family":"Vemuri","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2007.38"},{"journal-title":"OpenRISC 1200 core openCore org","year":"0","key":"ref11"},{"key":"ref12","first-page":"94","volume":"360","author":"oddos","year":"2011","journal-title":"From assertion-based verification to assertion-based synthesis"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2016.22"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2003303"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8586-4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2006.319966"},{"key":"ref17","first-page":"221","volume":"2005","author":"boul\u00e9","year":"2005","journal-title":"Incorporating efficient assertion checkers into hardware emulation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1297666.1297670"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39724-3_12"},{"key":"ref4","first-page":"1","article-title":"IEEE standard for property specification language (PSL)","year":"2010","journal-title":"IEEE Std 1850-2010 (Revision of IEEE Std 1850-2005) IEEESTD"},{"key":"ref3","first-page":"1","article-title":"IEEE standard for systemverilog–unified hardware design, specification, and verification language","year":"2018","journal-title":"IEEE Std 1800-2017 (Rev of IEEE Std 1800-2012)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2013.6673253"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243776"},{"journal-title":"Defining and Enforcing Hardware Security Requirements","year":"2011","author":"bilzor","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04772-5_10"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744921"},{"journal-title":"System-on-Chip Security Validation and Verification","year":"2019","author":"farahmandi","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2008.4479731"}],"event":{"name":"2021 22nd International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2021,4,7]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2021,4,9]]}},"container-title":["2021 22nd International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9424228\/9424248\/09424363.pdf?arnumber=9424363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:41:24Z","timestamp":1652197284000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9424363\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/isqed51717.2021.9424363","relation":{},"subject":[],"published":{"date-parts":[[2021,4,7]]}}}