{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T08:23:43Z","timestamp":1765268623884},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"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,12]]},"DOI":"10.1109\/asianhost47458.2019.9006675","type":"proceedings-article","created":{"date-parts":[[2020,2,25]],"date-time":"2020-02-25T00:07:41Z","timestamp":1582589261000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["Runtime Hardware Security Verification Using Approximate Computing: A Case Study on Video Motion Detection"],"prefix":"10.1109","author":[{"given":"Mengmei","family":"Ye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xianglong","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheng","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","article-title":"Information retrieval","author":"rijsbergen","year":"1979","journal-title":"Butterworth-Heinemann"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3126686.3126713"},{"journal-title":"Motion detection in VGA video (640×480) on ZC702 (Zynq FPGA)","year":"0","author":"sykora","key":"ref30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.65"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2668322.2668323"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2008.61"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993512"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0005-1098(90)90018-D","article-title":"Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy","author":"frank","year":"1990","journal-title":"Automatica"},{"key":"ref15","first-page":"1424","article-title":"Applying observer based FDI techniques to detect faults in dynamic and bounded stochastic distributions","author":"hong","year":"2000","journal-title":"International Journal of Control"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2641562"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133984"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2966991"},{"journal-title":"Microsoft Azure Cloud Computing Platform & Services","year":"0","key":"ref4"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00049"},{"journal-title":"Amazon EC2 F1 instances","year":"0","key":"ref3"},{"key":"ref27","first-page":"1111","article-title":"An inside job: Remote power analysis attacks on FPGAs","author":"schellenberg","year":"2018","journal-title":"DATE"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2755013"},{"journal-title":"Video Sample","year":"0","key":"ref29"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240839"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.28"},{"journal-title":"Xilinx Zynq SoCs with hardware and software programmability","year":"0","key":"ref2"},{"journal-title":"Intel FPGA acceleration hub for Intel Xeon CPU with FPGAs","year":"0","key":"ref1"},{"key":"ref9","first-page":"343","article-title":"Dynamic hardware plugins in an FPGA with partial run-time reconfiguration","author":"horta","year":"2002","journal-title":"DAC"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2893356"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98935-8_3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.176"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2013.2276759"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372600"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3289602.3293895"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240814"}],"event":{"name":"2019 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)","start":{"date-parts":[[2019,12,16]]},"location":"Xi'an, China","end":{"date-parts":[[2019,12,17]]}},"container-title":["2019 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8976189\/9006656\/09006675.pdf?arnumber=9006675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T17:53:25Z","timestamp":1658080405000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9006675\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/asianhost47458.2019.9006675","relation":{},"subject":[],"published":{"date-parts":[[2019,12]]}}}