{"id":"https://openalex.org/W4399396292","doi":"https://doi.org/10.1109/host55342.2024.10545408","title":"RTL-Spec: RTL Spectrum Analysis for Security Bug Localization","display_name":"RTL-Spec: RTL Spectrum Analysis for Security Bug Localization","publication_year":2024,"publication_date":"2024-05-06","ids":{"openalex":"https://openalex.org/W4399396292","doi":"https://doi.org/10.1109/host55342.2024.10545408"},"language":"en","primary_location":{"id":"doi:10.1109/host55342.2024.10545408","is_oa":false,"landing_page_url":"https://doi.org/10.1109/host55342.2024.10545408","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","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/A5094136755","display_name":"Samit Shahnawaz Miftah","orcid":"https://orcid.org/0009-0009-7533-376X"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Samit S. Miftah","raw_affiliation_strings":["University of Texas at Dallas,ECE Department,Richardson,TX,USA","ECE Department, University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,ECE Department,Richardson,TX,USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"ECE Department, University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066094401","display_name":"Shamik Kundu","orcid":"https://orcid.org/0000-0002-5992-8554"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shamik Kundu","raw_affiliation_strings":["University of Texas at Dallas,ECE Department,Richardson,TX,USA","ECE Department, University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,ECE Department,Richardson,TX,USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"ECE Department, University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019029870","display_name":"Austin Mordahl","orcid":"https://orcid.org/0000-0003-3031-8848"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Austin Mordahl","raw_affiliation_strings":["University of Texas at Dallas,CS Department,Richardson,TX,USA","CS Department, University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,CS Department,Richardson,TX,USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"CS Department, University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033317811","display_name":"Shiyi Wei","orcid":"https://orcid.org/0000-0002-2826-1857"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shiyi Wei","raw_affiliation_strings":["University of Texas at Dallas,CS Department,Richardson,TX,USA","CS Department, University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,CS Department,Richardson,TX,USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"CS Department, University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066320524","display_name":"Kanad Basu","orcid":"https://orcid.org/0000-0002-6431-7512"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kanad Basu","raw_affiliation_strings":["University of Texas at Dallas,ECE Department,Richardson,TX,USA","ECE Department, University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,ECE Department,Richardson,TX,USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"ECE Department, University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5094136755"],"corresponding_institution_ids":["https://openalex.org/I162577319"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09597523,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"171","last_page":"181"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9973000288009644,"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/spec#","display_name":"Spec#","score":0.8702973127365112},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7784532904624939},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7645887732505798},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6132700443267822},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.49135246872901917},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4330664277076721},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.4154326021671295},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4152581989765167},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.4128866195678711},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.31252020597457886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2281380295753479},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.09346655011177063}],"concepts":[{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.8702973127365112},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7784532904624939},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7645887732505798},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6132700443267822},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.49135246872901917},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4330664277076721},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.4154326021671295},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4152581989765167},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.4128866195678711},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31252020597457886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2281380295753479},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.09346655011177063},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/host55342.2024.10545408","is_oa":false,"landing_page_url":"https://doi.org/10.1109/host55342.2024.10545408","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5699999928474426,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3304090609","display_name":null,"funder_award_id":"2223046,CCF-2047682,CCF-2008905","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"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":34,"referenced_works":["https://openalex.org/W1546453099","https://openalex.org/W1981868262","https://openalex.org/W1982765126","https://openalex.org/W2022788782","https://openalex.org/W2101819268","https://openalex.org/W2124933793","https://openalex.org/W2153418968","https://openalex.org/W2289536490","https://openalex.org/W2293624369","https://openalex.org/W2295857493","https://openalex.org/W2343875716","https://openalex.org/W2350778671","https://openalex.org/W2513329551","https://openalex.org/W2614052576","https://openalex.org/W2745235995","https://openalex.org/W2798776451","https://openalex.org/W2904305758","https://openalex.org/W2941326118","https://openalex.org/W2945063386","https://openalex.org/W3031594835","https://openalex.org/W3135696753","https://openalex.org/W4200328352","https://openalex.org/W4210725750","https://openalex.org/W4221164739","https://openalex.org/W4237573843","https://openalex.org/W4240733504","https://openalex.org/W4242846970","https://openalex.org/W4321349850","https://openalex.org/W4362679564","https://openalex.org/W4387691055","https://openalex.org/W6659161372","https://openalex.org/W6766457457","https://openalex.org/W6790848453","https://openalex.org/W6795561560"],"related_works":["https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W2161928627","https://openalex.org/W4388482952","https://openalex.org/W2786113878","https://openalex.org/W2727867943","https://openalex.org/W3015562293","https://openalex.org/W4400860681","https://openalex.org/W2787155073","https://openalex.org/W2621101275"],"abstract_inverted_index":{"Modern":[0],"System-on-Chip":[1],"(SoC)":[2],"designs":[3],"are":[4,83],"integrated":[5],"with":[6,111],"intellectual":[7],"property":[8],"(IPs)":[9],"cores":[10],"to":[11,28,35,51,68,73,91,100,132,154,162,206],"achieve":[12],"complex":[13],"functionalities.":[14],"While":[15],"this":[16,136,176],"integration":[17],"significantly":[18],"improves":[19],"the":[20,36,39,53,60,101,123,140,159,164,167,182,191,195,231,238,245,259],"computing":[21],"power":[22],"of":[23,38,56,103,114,166,184,218,226,240,252,258],"SoCs,":[24],"it":[25],"also":[26],"leads":[27,67],"an":[29],"increase":[30],"in":[31,59,86,96,122,135,158,170,187,194,210,230,244,255],"verification":[32,44],"complexity":[33],"pertaining":[34],"security":[37,57,148,165],"SoC":[40,43,74,168],"design.":[41],"Existing":[42],"techniques":[45,106],"do":[46],"not":[47,126],"offer":[48],"localization":[49,77,150,204],"capability":[50],"pinpoint":[52,155],"root":[54],"causes":[55],"vulnerabilities":[58,121,243],"register":[61],"transfer":[62],"level":[63,147],"(RTL)":[64],"code.":[65,197],"This":[66],"significant":[69],"delay,":[70],"incurred":[71],"due":[72,99],"debugging.":[75],"Fault":[76],"techniques,":[78],"such":[79,105],"as":[80],"spectrum-based":[81,203],"methodologies,":[82],"used":[84],"predominantly":[85],"software":[87],"validation":[88],"and":[89,93,190,248],"testing":[90],"debug":[92],"localize":[94],"bugs":[95],"programs.":[97],"However,":[98],"absence":[102],"any":[104],"that":[107,118,152,212],"correlate":[108],"faulty":[109],"output":[110],"individual":[112],"lines":[113,157],"RTL":[115,146,160,196,211,246],"code,":[116],"approaches":[117],"can":[119],"detect":[120],"hardware":[124],"have":[125],"yet":[127],"been":[128],"adopted.":[129],"In":[130],"order":[131],"circumvent":[133],"this,":[134],"paper,":[137],"we,":[138],"for":[139],"first":[141],"time,":[142],"propose":[143],"RTL-Spec,":[144],"a":[145,179,202,223,250],"vulnerability":[149],"framework":[151],"aims":[153],"buggy":[156,208,224],"code":[161,247],"ensure":[163],"design":[169],"its":[171],"pre-silicon":[172],"phase.":[173],"RTL-Spec":[174,219,235],"achieves":[175],"by":[177],"establishing":[178],"correlation":[180],"between":[181],"effects":[183],"input":[185],"patterns":[186],"simulation":[188],"runs":[189],"corresponding":[192],"statements":[193,209],"The":[198,216],"subsequent":[199],"stage":[200],"employs":[201],"technique":[205],"identify":[207],"might":[213],"cause":[214],"vulnerabilities.":[215],"efficacy":[217],"was":[220],"assessed":[221],"using":[222],"version":[225],"PULPissimo":[227],"SoC,":[228],"utilized":[229],"\u201cHack":[232],"@DAC2018\u201d":[233],"competition.":[234],"accurately":[236],"identified":[237],"origin":[239],"all":[241],"14":[242,260],"achieved":[249],"precision":[251],"100":[253],"%":[254],"10":[256],"out":[257],"cases.":[261]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}