{"id":"https://openalex.org/W4399119920","doi":"https://doi.org/10.1109/vts60656.2024.10538813","title":"Static Gate-Level Information Flow for Hardware Information Security with Bounded Model Checking","display_name":"Static Gate-Level Information Flow for Hardware Information Security with Bounded Model Checking","publication_year":2024,"publication_date":"2024-04-22","ids":{"openalex":"https://openalex.org/W4399119920","doi":"https://doi.org/10.1109/vts60656.2024.10538813"},"language":"en","primary_location":{"id":"doi:10.1109/vts60656.2024.10538813","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vts60656.2024.10538813","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 42nd VLSI Test Symposium (VTS)","raw_type":"proceedings-article"},"type":"article","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/A5100952126","display_name":"Yiqiang Zhao","orcid":"https://orcid.org/0000-0002-4564-952X"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yiqiang Zhao","raw_affiliation_strings":["Tianjin University,School of Microelectronics,Tianjin,China","School of Microelectronics, Tianjin University, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University,School of Microelectronics,Tianjin,China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"School of Microelectronics, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114169676","display_name":"Gonsen Qu","orcid":null},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gonsen Qu","raw_affiliation_strings":["Tianjin University,School of Microelectronics,Tianjin,China","School of Microelectronics, Tianjin University, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University,School of Microelectronics,Tianjin,China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"School of Microelectronics, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004136136","display_name":"Qizhi Zhang","orcid":"https://orcid.org/0000-0002-8544-609X"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qizhi Zhang","raw_affiliation_strings":["Tianjin University,School of Microelectronics,Tianjin,China","School of Microelectronics, Tianjin University, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University,School of Microelectronics,Tianjin,China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"School of Microelectronics, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100411211","display_name":"Yao Li","orcid":"https://orcid.org/0000-0001-8720-883X"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yao Li","raw_affiliation_strings":["Tianjin University,School of Microelectronics,Tianjin,China","School of Microelectronics, Tianjin University, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University,School of Microelectronics,Tianjin,China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"School of Microelectronics, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100736672","display_name":"Zhengyang Li","orcid":"https://orcid.org/0009-0007-6764-933X"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhengyang Li","raw_affiliation_strings":["Tianjin University,School of Microelectronics,Tianjin,China","School of Microelectronics, Tianjin University, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University,School of Microelectronics,Tianjin,China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"School of Microelectronics, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012948983","display_name":"Jiaji He","orcid":"https://orcid.org/0000-0003-1443-9279"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaji He","raw_affiliation_strings":["Tianjin University,School of Microelectronics,Tianjin,China","School of Microelectronics, Tianjin University, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University,School of Microelectronics,Tianjin,China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"School of Microelectronics, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100952126"],"corresponding_institution_ids":["https://openalex.org/I162868743"],"apc_list":null,"apc_paid":null,"fwci":1.1586,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80358074,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"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.9998000264167786,"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.9998000264167786,"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.9990000128746033,"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.9983000159263611,"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.7826968431472778},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.689888596534729},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5642717480659485},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5379467606544495},{"id":"https://openalex.org/keywords/hardware-security-module","display_name":"Hardware security module","score":0.5271503329277039},{"id":"https://openalex.org/keywords/information-sensitivity","display_name":"Information sensitivity","score":0.5231267809867859},{"id":"https://openalex.org/keywords/covert-channel","display_name":"Covert channel","score":0.4990108013153076},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.48597654700279236},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.48532313108444214},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.4555072784423828},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.4254814386367798},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.41430792212486267},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4057825803756714},{"id":"https://openalex.org/keywords/security-information-and-event-management","display_name":"Security information and event management","score":0.24967050552368164},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.22325697541236877},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.16924837231636047},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.16769146919250488},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.13798728585243225},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13670694828033447}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7826968431472778},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.689888596534729},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5642717480659485},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5379467606544495},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.5271503329277039},{"id":"https://openalex.org/C137822555","wikidata":"https://www.wikidata.org/wiki/Q2587068","display_name":"Information sensitivity","level":2,"score":0.5231267809867859},{"id":"https://openalex.org/C29024540","wikidata":"https://www.wikidata.org/wiki/Q1476964","display_name":"Covert channel","level":5,"score":0.4990108013153076},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.48597654700279236},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.48532313108444214},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.4555072784423828},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.4254814386367798},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.41430792212486267},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4057825803756714},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.24967050552368164},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.22325697541236877},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.16924837231636047},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.16769146919250488},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.13798728585243225},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13670694828033447},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vts60656.2024.10538813","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vts60656.2024.10538813","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 42nd VLSI Test Symposium (VTS)","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":25,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1819209966","https://openalex.org/W2011712479","https://openalex.org/W2103175743","https://openalex.org/W2117550587","https://openalex.org/W2131129639","https://openalex.org/W2157116240","https://openalex.org/W2167849054","https://openalex.org/W2604769341","https://openalex.org/W2606854262","https://openalex.org/W2782017703","https://openalex.org/W2798776451","https://openalex.org/W2939057911","https://openalex.org/W2946251796","https://openalex.org/W2952795984","https://openalex.org/W3043998178","https://openalex.org/W3102863525","https://openalex.org/W3165729797","https://openalex.org/W4200275019","https://openalex.org/W4237492309","https://openalex.org/W4242741415","https://openalex.org/W4247198503","https://openalex.org/W4312591852","https://openalex.org/W4318037433","https://openalex.org/W6735675979"],"related_works":["https://openalex.org/W2612718941","https://openalex.org/W3088996813","https://openalex.org/W4389101406","https://openalex.org/W2740609710","https://openalex.org/W1854591799","https://openalex.org/W1528221867","https://openalex.org/W1969049073","https://openalex.org/W3041781162","https://openalex.org/W4200317015","https://openalex.org/W2156610720"],"abstract_inverted_index":{"Information":[0],"flow":[1,37,42,49,78],"security":[2,33,51,96,105],"is":[3,21,148],"an":[4],"essential":[5],"component":[6],"of":[7,16,43,76,90,128,150],"hardware":[8,19,80,122,135],"security.":[9],"Ensuring":[10],"the":[11,41,54,73,102,121,126,139,158],"confidentiality,":[12],"integrity,":[13],"and":[14,31,50,67,93],"availability":[15],"data":[17,28],"within":[18,79],"systems":[20],"critical":[22],"to":[23,45,71],"protect":[24],"against":[25],"unauthorized":[26],"access,":[27],"breaches,":[29],"tampering,":[30],"other":[32],"threats.":[34],"Gate-level":[35],"information":[36,48,77,91,118,153],"technology":[38],"can":[39],"trace":[40],"signals":[44],"detect":[46],"malicious":[47,117,152],"vulnerabilities":[52],"in":[53,98,115,120,157],"design.":[55],"In":[56],"this":[57],"paper,":[58],"we":[59,131],"introduce":[60],"a":[61,110],"novel":[62],"framework":[63,108,147],"that":[64,112,144,155],"combines":[65],"GLIFT":[66],"bounded":[68],"model":[69],"checking":[70],"enable":[72],"static":[74],"verification":[75,133,146],"systems.":[81],"This":[82],"combination":[83],"facilitates":[84],"designers":[85,114],"conducting":[86],"exhaustive":[87],"analysis,":[88],"tracking":[89],"flows":[92,119,154],"detecting":[94,151],"potential":[95],"threats":[97],"their":[99],"designs.":[100,159],"When":[101],"design":[103],"violates":[104],"policies,":[106],"our":[107,129,145],"provides":[109],"counterexample":[111],"assists":[113],"identifying":[116],"circuits.":[123],"To":[124],"demonstrate":[125],"efficiency":[127],"framework,":[130],"conducted":[132],"on":[134],"Trojan":[136],"benchmarks":[137],"from":[138],"Trust-hub.":[140],"The":[141],"results":[142],"indicate":[143],"capable":[149],"exist":[156]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}