{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,26]],"date-time":"2026-04-26T07:12:14Z","timestamp":1777187534371,"version":"3.51.4"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"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":[[2019,5]]},"DOI":"10.1109\/hst.2019.8740840","type":"proceedings-article","created":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T02:17:09Z","timestamp":1561083429000},"page":"91-100","source":"Crossref","is-referenced-by-count":43,"title":["QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment"],"prefix":"10.1109","author":[{"given":"Xiaolong","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raj Gautam","family":"Dutta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaji","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark M.","family":"Tehranipoor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yier","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","year":"0","journal-title":"Descriptions of SHA-256 SHA-384 and SHA-512"},{"key":"ref30","article-title":"Flickr’s api signature forgery vulnerability","author":"duong","year":"2009","journal-title":"Tech Rep"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541947"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00596-1_21"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315282"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.41"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"ref15","article-title":"SecVerilog","year":"0","journal-title":"Secverilog documentation"},{"key":"ref16","first-page":"265","article-title":"Measuring information leakage using generalized gain functions","author":"m\u2019rio","year":"2012","journal-title":"Computer Security Foundations Symposium (CSF) 2012 IEEE 25th"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.1994.394764"},{"key":"ref18","first-page":"255","article-title":"Dimensions and principles of declassification","author":"sabelfeld","year":"2005","journal-title":"Computer Security Foundations 2005 CSFW-18 2005 18th IEEE Workshop"},{"key":"ref19","article-title":"A hardware design language for efficient control of timing channels","author":"zhang","year":"2014"},{"key":"ref28","year":"2018"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2707323"},{"key":"ref27","author":"john","year":"2018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.226"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266669"},{"key":"ref29","article-title":"Announcing the first sha1 collision","author":"stevens","year":"2017","journal-title":"Google Security Blog"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2707327"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2775054.2694372"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254078"},{"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.1145\/1993498.1993512"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.36"},{"key":"ref20","author":"daemen","year":"2013","journal-title":"The Design of RIJNDAEL AES-The Advanced Encryption Standard"},{"key":"ref22","year":"0"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_42"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s41635-017-0001-6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657085"},{"key":"ref26","author":"rudolf","year":"2009"},{"key":"ref25","year":"0"}],"event":{"name":"2019 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","location":"McLean, VA, USA","start":{"date-parts":[[2019,5,5]]},"end":{"date-parts":[[2019,5,10]]}},"container-title":["2019 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8736108\/8740830\/08740840.pdf?arnumber=8740840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:11:50Z","timestamp":1657854710000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8740840\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/hst.2019.8740840","relation":{},"subject":[],"published":{"date-parts":[[2019,5]]}}}