{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:14:17Z","timestamp":1760044457929},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/hst.2015.7140256","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T17:21:33Z","timestamp":1436203293000},"source":"Crossref","is-referenced-by-count":28,"title":["Toward automatic proof generation for information flow policies in third-party hardware IP"],"prefix":"10.1109","author":[{"given":"Mohammad-Mahdi","family":"Bidmeshki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiorgos","family":"Makris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"ref11","year":"2014","journal-title":"The Coq Proof Assistant"},{"key":"ref12","article-title":"Data encryption standard (DES)","year":"1999","journal-title":"Federal Information Processing Standards Publication"},{"key":"ref13","first-page":"213","article-title":"Formal verification of hardware synthe-sis","author":"braibant","year":"2013","journal-title":"Computer Aided Verification"},{"key":"ref14","year":"0","journal-title":"Opencores"},{"key":"ref15","author":"rudolf","year":"0","journal-title":"Development and analysis of block ciphers and the DES system"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488808"},{"key":"ref3","first-page":"697","article-title":"FANCI: identification of stealthy malicious logic using boolean functional analysis","author":"waksman","year":"2013","journal-title":"ACM Conf Computer Communications Security"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2011.2160627"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660289"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2012.6231062"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691208"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.21"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581573"}],"event":{"name":"2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","location":"Washington, DC, USA","start":{"date-parts":[[2015,5,5]]},"end":{"date-parts":[[2015,5,7]]}},"container-title":["2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7119893\/7140225\/07140256.pdf?arnumber=7140256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T14:30:19Z","timestamp":1490365819000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7140256\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/hst.2015.7140256","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}