{"id":"https://openalex.org/W4411173238","doi":"https://doi.org/10.1109/vts65138.2025.11022932","title":"Special Session: ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification","display_name":"Special Session: ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification","publication_year":2025,"publication_date":"2025-04-28","ids":{"openalex":"https://openalex.org/W4411173238","doi":"https://doi.org/10.1109/vts65138.2025.11022932"},"language":"en","primary_location":{"id":"doi:10.1109/vts65138.2025.11022932","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vts65138.2025.11022932","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 43rd 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/A5109645985","display_name":"Dipayan Saha","orcid":null},"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":"Dipayan Saha","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072161674","display_name":"Hasan Al Shaikh","orcid":null},"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":"Hasan Al Shaikh","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092398902","display_name":"Shams Tarek","orcid":"https://orcid.org/0000-0001-7671-6409"},"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":"Shams Tarek","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019820972","display_name":"Farimah Farahmandi","orcid":"https://orcid.org/0000-0003-1535-0938"},"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":"Farimah Farahmandi","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":12.8785,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.98902774,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"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.9994000196456909,"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.9994000196456909,"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.9970999956130981,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9818999767303467,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.8645994663238525},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.750043511390686},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5629695057868958},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.47148510813713074},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4494742751121521},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3269306719303131},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09550610184669495}],"concepts":[{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.8645994663238525},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.750043511390686},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5629695057868958},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.47148510813713074},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4494742751121521},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3269306719303131},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09550610184669495},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vts65138.2025.11022932","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vts65138.2025.11022932","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 43rd VLSI Test Symposium (VTS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.6499999761581421}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2182559810","https://openalex.org/W2477020977","https://openalex.org/W3109872189","https://openalex.org/W4386528482","https://openalex.org/W4389163039","https://openalex.org/W4392405447","https://openalex.org/W4399396317","https://openalex.org/W4399487123","https://openalex.org/W4400578969","https://openalex.org/W4401568137","https://openalex.org/W4403186335","https://openalex.org/W4404133728","https://openalex.org/W4408151705","https://openalex.org/W6685646793","https://openalex.org/W6861295083","https://openalex.org/W6881438148"],"related_works":["https://openalex.org/W4230197055","https://openalex.org/W4296749040","https://openalex.org/W4404605447","https://openalex.org/W621808327","https://openalex.org/W644007644","https://openalex.org/W2497198634","https://openalex.org/W3012257603","https://openalex.org/W1586784764","https://openalex.org/W4292264782","https://openalex.org/W1559289099"],"abstract_inverted_index":{"Current":[0],"hardware":[1,52],"security":[2,44,53,63,102,117],"verification":[3,91,118],"processes":[4],"predominantly":[5],"rely":[6],"on":[7,108],"manual":[8,90],"threat":[9,45,68],"modeling":[10,46],"and":[11,19,27,47,70,95,123],"test":[12,48,80,121],"plan":[13,49],"generation,":[14],"which":[15],"are":[16],"labor-intensive,":[17],"error-prone,":[18],"struggle":[20],"to":[21,60,74,101,115],"scale":[22],"with":[23],"increasing":[24],"design":[25],"complexity":[26],"evolving":[28],"attack":[29],"methodologies.":[30],"To":[31],"address":[32],"these":[33,84],"challenges,":[34],"we":[35],"propose":[36],"ThreatLens,":[37],"an":[38],"LLM-driven":[39],"multi-agent":[40],"framework":[41,87,107],"that":[42],"automates":[43],"generation":[50,58,77],"for":[51,67],"verification.":[54,103],"ThreatLens":[55],"integrates":[56],"retrieval-augmented":[57],"(RAG)":[59],"extract":[61],"relevant":[62],"knowledge,":[64],"LLM-powered":[65],"reasoning":[66],"assessment,":[69],"interactive":[71],"user":[72],"feedback":[73],"ensure":[75],"the":[76,86,89,109],"of":[78],"practical":[79],"plans.":[81],"By":[82],"automating":[83],"processes,":[85],"reduces":[88],"effort,":[92],"enhances":[93],"coverage,":[94],"ensures":[96],"a":[97],"structured,":[98],"adaptable":[99],"approach":[100],"We":[104],"evaluated":[105],"our":[106],"NEORV32":[110],"SoC,":[111],"demonstrating":[112],"its":[113,125],"capability":[114],"automate":[116],"through":[119],"structured":[120],"plans":[122],"validating":[124],"effectiveness":[126],"in":[127],"real-world":[128],"scenarios.":[129]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":4}],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2025-10-10T00:00:00"}
