{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T22:21:15Z","timestamp":1792275675623,"version":"4.4.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8714927","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:29:07Z","timestamp":1558042147000},"page":"602-605","source":"Crossref","is-referenced-by-count":10,"title":["Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing"],"prefix":"10.23919","author":[{"given":"Hoang M.","family":"Le","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Niklas","family":"Bruns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846638"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967016"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0717"},{"key":"ref13","article-title":"Technical whitepaper for afl-fuzz","author":"zalewski","year":"0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISSoC.2012.6376356"},{"key":"ref4","article-title":"SystemC synthesizable subset version 1.4.7","author":"initiative","year":"2016"},{"key":"ref3","article-title":"Advancing the state-of-the-art in hardware trojans detection","author":"haider","year":"2018","journal-title":"TDSC"},{"key":"ref6","volume":"1666","year":"2011","journal-title":"IEEE Standard SystemC Language Reference Manual"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1878993"},{"key":"ref8","first-page":"576","article-title":"Hardware trojan detection in behavioral intellectual properties (IP’s) using property checking techniques","volume":"5","author":"veeranna","year":"2017","journal-title":"TETC"},{"key":"ref7","article-title":"Are we there yet? a study on the state of high-level synthesis","author":"lahti","year":"2018","journal-title":"TCAD"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3126552"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2906147"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s41635-017-0014-1"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Florence, Italy","start":{"date-parts":[[2019,3,25]]},"end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08714927.pdf?arnumber=8714927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T23:49:16Z","timestamp":1559605756000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8714927\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":14,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8714927","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}