{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:27:46Z","timestamp":1768350466187,"version":"3.49.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,15]],"date-time":"2020-12-15T00:00:00Z","timestamp":1607990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,15]],"date-time":"2020-12-15T00:00:00Z","timestamp":1607990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,15]],"date-time":"2020-12-15T00:00:00Z","timestamp":1607990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,15]]},"DOI":"10.1109\/asianhost51057.2020.9358257","type":"proceedings-article","created":{"date-parts":[[2021,2,26]],"date-time":"2021-02-26T21:25:45Z","timestamp":1614374745000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["A Formal Framework for Gate- Level Information Leakage Using Z3"],"prefix":"10.1109","author":[{"given":"Qizhi","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Jiaji","family":"He","sequence":"additional","affiliation":[]},{"given":"Yiqiang","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Xiaolong","family":"Guo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744823"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_17"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2017.2751615"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266669"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254078"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2775054.2694372"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993512"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2654822.2541947"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2019.8740840"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.225"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2011.2160627"},{"key":"ref27","year":"0","journal-title":"Epfl and iscas85 combinational benchmark circuits in generic gate verilog"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2011.5954998"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2014.54"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581573"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747939"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.9"},{"key":"ref2","first-page":"51","article-title":"Hardware Trojan detection using path delay fingerprint","author":"jin","year":"2008","journal-title":"IEEE International Workshop on Hardware-Oriented Security and Trust"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2010.59"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.36"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2019.05.005"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref21","first-page":"193","article-title":"Secchisel: Language and tool for practical and scalable security verification of security-aware hardware architectures","volume":"2017","author":"deng","year":"2017","journal-title":"IACR Cryptol ePrint Arch"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2012.2189105"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1508284.1508258"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"ref25","year":"0","journal-title":"Z3 api in python"}],"event":{"name":"2020 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)","location":"Kolkata, India","start":{"date-parts":[[2020,12,15]]},"end":{"date-parts":[[2020,12,17]]}},"container-title":["2020 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9358237\/9358248\/09358257.pdf?arnumber=9358257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T16:06:42Z","timestamp":1656346002000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9358257\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,15]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/asianhost51057.2020.9358257","relation":{},"subject":[],"published":{"date-parts":[[2020,12,15]]}}}