{"id":"https://openalex.org/W3009004642","doi":"https://doi.org/10.1109/asianhost47458.2019.9006675","title":"Runtime Hardware Security Verification Using Approximate Computing: A Case Study on Video Motion Detection","display_name":"Runtime Hardware Security Verification Using Approximate Computing: A Case Study on Video Motion Detection","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3009004642","doi":"https://doi.org/10.1109/asianhost47458.2019.9006675","mag":"3009004642"},"language":"en","primary_location":{"id":"doi:10.1109/asianhost47458.2019.9006675","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asianhost47458.2019.9006675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065008304","display_name":"Mengmei Ye","orcid":"https://orcid.org/0000-0002-3434-1968"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mengmei Ye","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Rutgers University, Piscataway, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Rutgers University, Piscataway, NJ, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004580633","display_name":"Xianglong Feng","orcid":"https://orcid.org/0009-0004-1665-0320"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xianglong Feng","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Rutgers University, Piscataway, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Rutgers University, Piscataway, NJ, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101585930","display_name":"Sheng Wei","orcid":"https://orcid.org/0000-0002-6620-1863"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sheng Wei","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Rutgers University, Piscataway, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Rutgers University, Piscataway, NJ, USA","institution_ids":["https://openalex.org/I102322142"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I102322142"],"apc_list":null,"apc_paid":null,"fwci":0.6471,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.64690918,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8250511884689331},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.7063817381858826},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6686930656433105},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.49831056594848633},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.48077791929244995},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.4179508686065674},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.41446229815483093},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3416610360145569},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3255247473716736},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.28950899839401245}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8250511884689331},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.7063817381858826},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6686930656433105},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.49831056594848633},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.48077791929244995},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.4179508686065674},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.41446229815483093},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3416610360145569},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3255247473716736},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.28950899839401245},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/asianhost47458.2019.9006675","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asianhost47458.2019.9006675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1482540049","https://openalex.org/W1999890536","https://openalex.org/W2018746447","https://openalex.org/W2086309060","https://openalex.org/W2098843110","https://openalex.org/W2104220247","https://openalex.org/W2122711125","https://openalex.org/W2129474264","https://openalex.org/W2148357146","https://openalex.org/W2150619336","https://openalex.org/W2155071901","https://openalex.org/W2161998562","https://openalex.org/W2170049777","https://openalex.org/W2265166184","https://openalex.org/W2535350740","https://openalex.org/W2622617080","https://openalex.org/W2766710082","https://openalex.org/W2766862940","https://openalex.org/W2794898833","https://openalex.org/W2798781612","https://openalex.org/W2807730630","https://openalex.org/W2899869491","https://openalex.org/W2900193304","https://openalex.org/W2905469496","https://openalex.org/W2917674333","https://openalex.org/W3208407575","https://openalex.org/W4241992701","https://openalex.org/W4248152213","https://openalex.org/W4249697915","https://openalex.org/W4255344275","https://openalex.org/W6682636460","https://openalex.org/W6750683659","https://openalex.org/W7001192717"],"related_works":["https://openalex.org/W2406499533","https://openalex.org/W2809618173","https://openalex.org/W3036403349","https://openalex.org/W1968510839","https://openalex.org/W2950360254","https://openalex.org/W4375857205","https://openalex.org/W1563456403","https://openalex.org/W2242847901","https://openalex.org/W2006962382","https://openalex.org/W2106507440"],"abstract_inverted_index":{"The":[0],"heterogeneous":[1],"CPU-FPGA":[2,122],"system":[3,27,44,81],"architecture":[4],"has":[5],"been":[6],"adopted":[7],"in":[8,34,42,128],"system-on-chip":[9],"(SoC),":[10],"server,":[11],"and":[12,20,73,97,107,140],"cloud":[13],"computing":[14,38],"platforms":[15,39],"to":[16,68,93],"achieve":[17,94],"design":[18],"flexibility":[19],"hardware-level":[21],"performance":[22,75,142],"acceleration.":[23],"While":[24],"benefiting":[25],"the":[26,29,35,70,79,109,137,146],"performance,":[28],"newly":[30],"added":[31],"FPGA":[32,49],"component":[33],"traditional":[36],"CPU-based":[37],"could":[40],"result":[41],"undetectable":[43],"security":[45,62,72,103,112,139],"issues":[46],"via":[47],"third-party":[48],"IP":[50],"cores":[51],"that":[52],"are":[53],"produced":[54],"by":[55,78,115,145],"untrusted":[56],"vendors.":[57],"Traditional":[58],"hardware":[59],"and/or":[60],"software":[61],"verification":[63,113],"mechanisms":[64],"do":[65],"not":[66],"suffice":[67],"address":[69],"unique":[71],"runtime":[74],"challenges":[76],"introduced":[77],"new":[80],"architecture.":[82],"In":[83],"this":[84],"paper,":[85],"we":[86],"develop":[87],"a":[88,95,117,121],"novel":[89],"approximate":[90,110],"computing-based":[91,111],"approach":[92],"fast":[96],"accurate":[98],"enough":[99],"repeated":[100],"execution":[101],"for":[102],"verification.":[104],"We":[105],"implement":[106],"evaluate":[108],"framework":[114],"conducting":[116],"case":[118],"study":[119],"on":[120,132],"based":[123],"video":[124],"motion":[125],"detection":[126],"system,":[127],"which":[129],"our":[130],"experiments":[131],"Xilinx":[133],"Zynq":[134],"SoC":[135],"justifies":[136],"premium":[138],"low":[141],"overhead":[143],"obtained":[144],"proposed":[147],"approach.":[148]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}