{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:08:33Z","timestamp":1760080113968},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iccad.2017.8203805","type":"proceedings-article","created":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T22:02:04Z","timestamp":1513288924000},"source":"Crossref","is-referenced-by-count":24,"title":["Early SoC security validation by VP-based static information flow analysis"],"prefix":"10.1109","author":[{"given":"Muhammad","family":"Hassan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Herdt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoang M.","family":"Le","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"1691","DOI":"10.23919\/DATE.2017.7927266","article-title":"Register transfer level information flow tracking for provably secure hardware design","author":"ardeshiricham","year":"2017","journal-title":"2017 Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref11","first-page":"337","article-title":"Verifying Information Flow Properties of Firmware Using Symbolic Execution","author":"pramod subramanyan","year":"2016","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref12","first-page":"555","article-title":"Ver-ification of a practical hardware security architecture through static information flow analysis","author":"ferraiuolo","year":"2017","journal-title":"ASPLOS"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"380","DOI":"10.23919\/DATE.2017.7927020","article-title":"Data flow testing for virtual prototypes","author":"hassan","year":"2017","journal-title":"2017 Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref14","first-page":"1","article-title":"LLVM and Clang: Next generation compiler technology","author":"lattner","year":"2008","journal-title":"The BSD Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2014.6860690"},{"key":"ref4","first-page":"319","article-title":"A perspective on information-flow control","author":"hedin","year":"2012","journal-title":"Software Safety and Security - Tools for Analysis and Verification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3631-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508258"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024404"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541947"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2120970"},{"key":"ref2","year":"2011"},{"key":"ref1","first-page":"23","article-title":"Breakthrough silicon scanning discovers backdoor in military chip","author":"skorobogatov","year":"2012","journal-title":"CHES"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694372"}],"event":{"name":"2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","location":"Irvine, CA","start":{"date-parts":[[2017,11,13]]},"end":{"date-parts":[[2017,11,16]]}},"container-title":["2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8167715\/8203744\/08203805.pdf?arnumber=8203805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T22:09:26Z","timestamp":1643148566000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8203805\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iccad.2017.8203805","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}