{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T06:08:04Z","timestamp":1759730884867},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"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,7]]},"DOI":"10.1109\/dac18072.2020.9218494","type":"proceedings-article","created":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T19:57:03Z","timestamp":1602273423000},"source":"Crossref","is-referenced-by-count":22,"title":["Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes"],"prefix":"10.1109","author":[{"given":"Pascal","family":"Pieper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Herdt","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":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024404"},{"key":"ref2","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","article-title":"Cryptography and Data Security","author":"Robling Denning","year":"1982"},{"key":"ref4","article-title":"IEEE Standard SystemC Language Reference Manual, Std. 1666","year":"2011"},{"key":"ref5","article-title":"OSCI TLM-2.0 Language Reference Manual","volume-title":"OSCI"},{"key":"ref6","article-title":"Better Software","volume-title":"Faster!: Best Practices in Virtual Prototyping","author":"De Schutter","year":"2014"},{"key":"ref7","article-title":"Automotive Virtual Prototyping Platform (White Paper)","year":"2019"},{"key":"ref8","article-title":"HDFI: hardware-assisted data-flow isolation","author":"Song","year":"2016","journal-title":"Security and Privacy"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2018.8547578"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250722"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270347"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2857321"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CODES-ISSS.2013.6658991"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834421"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927266"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508258"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2006.6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.29"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273490"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0793"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_11"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342262"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315261"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203805"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1515\/itit-2018-0027"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-3631-5","article-title":"Quality-Driven SystemC Design","author":"Gro\u00dfe","year":"2010"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0352"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101756"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2018.8524047"},{"key":"ref30","article-title":"A comparison of publicly available tools for dynamic buffer overflow prevention","volume-title":"NDSS","author":"Wilander"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317807"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714912"}],"event":{"name":"2020 57th ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2020,7,20]]},"end":{"date-parts":[[2020,7,24]]}},"container-title":["2020 57th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9211868\/9218488\/09218494.pdf?arnumber=9218494","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T01:35:55Z","timestamp":1706060155000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9218494\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/dac18072.2020.9218494","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}