{"id":"https://openalex.org/W4318037433","doi":"https://doi.org/10.1109/asianhost56390.2022.10022211","title":"EXERT: EXhaustive IntEgRiTy Analysis for Information Flow Security","display_name":"EXERT: EXhaustive IntEgRiTy Analysis for Information Flow Security","publication_year":2022,"publication_date":"2022-12-14","ids":{"openalex":"https://openalex.org/W4318037433","doi":"https://doi.org/10.1109/asianhost56390.2022.10022211"},"language":"en","primary_location":{"id":"doi:10.1109/asianhost56390.2022.10022211","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asianhost56390.2022.10022211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 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/A5045095419","display_name":"Jiaming Wu","orcid":"https://orcid.org/0000-0001-6533-8780"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiaming Wu","raw_affiliation_strings":["University of Florida"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073132031","display_name":"Farhaan Fowze","orcid":"https://orcid.org/0000-0002-3575-3067"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Farhaan Fowze","raw_affiliation_strings":["University of Florida"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009243659","display_name":"Domenic Forte","orcid":"https://orcid.org/0000-0002-2794-7320"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Domenic Forte","raw_affiliation_strings":["University of Florida"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I33213144"],"apc_list":null,"apc_paid":null,"fwci":1.0121,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.7927383,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"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/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9991999864578247,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.7765536308288574},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.7098620533943176},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6248974800109863},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.5868047475814819},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5845926403999329},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.576416015625},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5308077335357666},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.517327070236206},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.48424097895622253},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45035654306411743},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.42396336793899536},{"id":"https://openalex.org/keywords/power-analysis","display_name":"Power analysis","score":0.4121142029762268},{"id":"https://openalex.org/keywords/information-sensitivity","display_name":"Information sensitivity","score":0.41050517559051514},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.358216255903244},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.31169891357421875},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22294145822525024},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.22287023067474365},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.20384618639945984},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.14402160048484802},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1096673309803009}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7765536308288574},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.7098620533943176},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6248974800109863},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.5868047475814819},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5845926403999329},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.576416015625},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5308077335357666},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.517327070236206},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.48424097895622253},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45035654306411743},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.42396336793899536},{"id":"https://openalex.org/C71743495","wikidata":"https://www.wikidata.org/wiki/Q2845210","display_name":"Power analysis","level":3,"score":0.4121142029762268},{"id":"https://openalex.org/C137822555","wikidata":"https://www.wikidata.org/wiki/Q2587068","display_name":"Information sensitivity","level":2,"score":0.41050517559051514},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.358216255903244},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.31169891357421875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22294145822525024},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.22287023067474365},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.20384618639945984},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.14402160048484802},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1096673309803009},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/asianhost56390.2022.10022211","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asianhost56390.2022.10022211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G993417676","display_name":null,"funder_award_id":"FA8650-20-C-1719","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1992787530","https://openalex.org/W2011712479","https://openalex.org/W2021949528","https://openalex.org/W2121894892","https://openalex.org/W2149299285","https://openalex.org/W2161998562","https://openalex.org/W2403248509","https://openalex.org/W2588382938","https://openalex.org/W2614052576","https://openalex.org/W2782017703","https://openalex.org/W2794770547","https://openalex.org/W2908649730","https://openalex.org/W2963311060","https://openalex.org/W3102863525","https://openalex.org/W3158327736","https://openalex.org/W4238698725","https://openalex.org/W4256313551","https://openalex.org/W6753443810"],"related_works":["https://openalex.org/W2393802969","https://openalex.org/W2783822225","https://openalex.org/W1968803687","https://openalex.org/W2327603067","https://openalex.org/W2991573376","https://openalex.org/W3114165286","https://openalex.org/W4288018328","https://openalex.org/W2162436812","https://openalex.org/W2097956020","https://openalex.org/W2110281220"],"abstract_inverted_index":{"Hardware":[0],"information":[1,19,78],"flow":[2,20,79],"analysis":[3,67,75,84],"detects":[4,130],"security":[5],"vulnerabilities":[6,42],"resulting":[7],"from":[8,127],"microarchitectural":[9],"design":[10],"flaws,":[11],"design-for-test/debug":[12],"(DfT/D)":[13],"backdoors,":[14],"and":[15,43,55,73,81,107,144],"hardware":[16],"Trojans.":[17],"Though":[18],"violations":[21,80],"can":[22,103],"be":[23,104],"manifested":[24],"through":[25],"a":[26,65,146,168],"multitude":[27],"of":[28,40,90],"possible":[29],"ways,":[30],"prior":[31,113],"research":[32],"has":[33,46],"only":[34],"focused":[35],"on":[36,123],"detecting":[37],"the":[38,87],"existence":[39],"such":[41],"no":[44],"approach":[45],"been":[47],"proposed":[48],"to":[49,76,149,167,172],"exhaustively":[50],"activate":[51],"all":[52,139],"vulnerable":[53,95],"points":[54],"reduce":[56],"false":[57],"positives.":[58],"In":[59],"this":[60],"paper,":[61],"we":[62],"propose":[63],"EXERT,":[64],"novel":[66],"framework":[68],"that":[69,85,176],"combines":[70],"ATPG,":[71],"SAT,":[72],"FSM":[74,99],"detect":[77],"perform":[82],"exhaustive":[83],"reports":[86],"complete":[88],"set":[89],"violating":[91],"input":[92],"patterns":[93,141],"for":[94],"control":[96],"points.":[97],"The":[98],"analysis,":[100],"in":[101,112,178],"particular,":[102],"performed":[105],"offline":[106],"helps":[108],"resolve":[109],"scalability":[110],"limitations":[111],"approaches":[114],"while":[115],"remaining":[116],"exhaustive.":[117],"As":[118],"proof-of-concept,":[119],"EXERT":[120,163],"is":[121,164],"evaluated":[122],"multiple":[124],"Trojan":[125,132],"benchmarks":[126],"Trust-Hub.":[128],"It":[129],"rare":[131],"triggers":[133],"(activation":[134],"probability":[135],"\u2248":[136],"1.4243e-70),":[137],"generates":[138],"activation":[140],"within":[142],"minutes,":[143],"shows":[145],"15":[147],"x":[148,151],"110":[150],"faster":[152],"run":[153],"time":[154],"compared":[155],"with":[156],"Cadence":[157],"Jasper":[158],"Security":[159],"Path":[160],"Verification":[161],"(SPV).":[162],"also":[165],"applied":[166],"larger":[169],"RISC-V":[170],"benchmark":[171],"identify":[173],"instruction":[174],"sequences":[175],"result":[177],"privilege":[179],"escalation.":[180]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}