{"id":"https://openalex.org/W4414198530","doi":"https://doi.org/10.1109/dac63849.2025.11132905","title":"FastPath: A Hybrid Approach for Efficient Hardware Security Verification","display_name":"FastPath: A Hybrid Approach for Efficient Hardware Security Verification","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4414198530","doi":"https://doi.org/10.1109/dac63849.2025.11132905"},"language":"en","primary_location":{"id":"doi:10.1109/dac63849.2025.11132905","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11132905","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","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/A5078008408","display_name":"Lucas Deutschmann","orcid":"https://orcid.org/0000-0002-2139-1878"},"institutions":[{"id":"https://openalex.org/I4387152675","display_name":"Rheinland-Pf\u00e4lzische Technische Universit\u00e4t Kaiserslautern-Landau","ror":"https://ror.org/01qrts582","country_code":"DE","type":"education","lineage":["https://openalex.org/I4387152675"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lucas Deutschmann","raw_affiliation_strings":["RPTU Kaiserslautern-Landau,Kaiserslautern,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RPTU Kaiserslautern-Landau,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I4387152675"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059380781","display_name":"Andres Meza","orcid":"https://orcid.org/0000-0002-4283-0833"},"institutions":[{"id":"https://openalex.org/I2800935791","display_name":"UC San Diego Health System","ror":"https://ror.org/01kbfgm16","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2800935791"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andres Meza","raw_affiliation_strings":["UC San Diego,San Diego,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC San Diego,San Diego,USA","institution_ids":["https://openalex.org/I2800935791"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047920654","display_name":"Dominik Stoffel","orcid":"https://orcid.org/0000-0002-8180-9738"},"institutions":[{"id":"https://openalex.org/I4387152675","display_name":"Rheinland-Pf\u00e4lzische Technische Universit\u00e4t Kaiserslautern-Landau","ror":"https://ror.org/01qrts582","country_code":"DE","type":"education","lineage":["https://openalex.org/I4387152675"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dominik Stoffel","raw_affiliation_strings":["RPTU Kaiserslautern-Landau,Kaiserslautern,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RPTU Kaiserslautern-Landau,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I4387152675"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066184879","display_name":"Wolfgang Kunz","orcid":"https://orcid.org/0000-0002-6612-2946"},"institutions":[{"id":"https://openalex.org/I4387152675","display_name":"Rheinland-Pf\u00e4lzische Technische Universit\u00e4t Kaiserslautern-Landau","ror":"https://ror.org/01qrts582","country_code":"DE","type":"education","lineage":["https://openalex.org/I4387152675"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Kunz","raw_affiliation_strings":["RPTU Kaiserslautern-Landau,Kaiserslautern,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RPTU Kaiserslautern-Landau,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I4387152675"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5119620246","display_name":"Ryan Kastner Rptu","orcid":null},"institutions":[{"id":"https://openalex.org/I2800935791","display_name":"UC San Diego Health System","ror":"https://ror.org/01kbfgm16","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2800935791"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan Kastner Rptu","raw_affiliation_strings":["UC San Diego,San Diego,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC San Diego,San Diego,USA","institution_ids":["https://openalex.org/I2800935791"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/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"}},"topics":[{"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/T11005","display_name":"Radiation Effects in Electronics","score":0.996999979019165,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9959999918937683,"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/scalability","display_name":"Scalability","score":0.6050999760627747},{"id":"https://openalex.org/keywords/operand","display_name":"Operand","score":0.5911999940872192},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.557200014591217},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5471000075340271},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.5218999981880188},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.46860000491142273},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.44769999384880066},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4307999908924103}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7391999959945679},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6050999760627747},{"id":"https://openalex.org/C55526617","wikidata":"https://www.wikidata.org/wiki/Q719375","display_name":"Operand","level":2,"score":0.5911999940872192},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.557200014591217},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5471000075340271},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.5218999981880188},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5026999711990356},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.46860000491142273},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.44769999384880066},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4307999908924103},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.41909998655319214},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.3986999988555908},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.3955000042915344},{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.33399999141693115},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3239000141620636},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.28619998693466187},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2809999883174896},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.26489999890327454},{"id":"https://openalex.org/C2777042071","wikidata":"https://www.wikidata.org/wiki/Q6509304","display_name":"Leakage (economics)","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25450000166893005}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac63849.2025.11132905","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11132905","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","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":28,"referenced_works":["https://openalex.org/W1952128916","https://openalex.org/W1965953351","https://openalex.org/W1977764760","https://openalex.org/W2128255161","https://openalex.org/W2586555532","https://openalex.org/W2889582214","https://openalex.org/W2899157124","https://openalex.org/W2963311060","https://openalex.org/W3008383151","https://openalex.org/W3029114445","https://openalex.org/W3034103899","https://openalex.org/W3159043981","https://openalex.org/W3187343772","https://openalex.org/W3187569413","https://openalex.org/W3214469396","https://openalex.org/W4232120412","https://openalex.org/W4249142041","https://openalex.org/W4250728693","https://openalex.org/W4252672524","https://openalex.org/W4288057698","https://openalex.org/W4388188464","https://openalex.org/W4388858498","https://openalex.org/W4389158869","https://openalex.org/W4392543885","https://openalex.org/W4399108485","https://openalex.org/W4402264461","https://openalex.org/W4404955115","https://openalex.org/W4405182222"],"related_works":[],"abstract_inverted_index":{"Many":[0],"verification":[1,66,73],"methods":[2],"have":[3,25],"been":[4],"proposed":[5],"to":[6,13,57,94,104],"detect":[7],"microarchitectural":[8],"information":[9],"leakage":[10],"in":[11,19,113,139],"response":[12],"the":[14,35,77,82,96,118],"surge":[15],"of":[16,45,79,85,121,136],"security":[17,146],"breaches":[18],"hardware":[20],"designs.":[21],"These":[22],"sophisticated":[23],"efforts":[24],"gone":[26],"a":[27,71,90,105,110,129,132,141],"long":[28],"way":[29],"toward":[30],"preventing":[31],"attackers":[32],"from":[33],"breaking":[34],"system\u2019s":[36],"confidentiality.":[37],"However,":[38],"each":[39],"approach":[40],"has":[41],"its":[42],"own":[43],"set":[44],"weaknesses:":[46],"it":[47],"may":[48],"not":[49],"be":[50],"scalable":[51],"enough,":[52,54],"exhaustive":[53,83,122],"flexible":[55],"enough":[56],"meet":[58],"changing":[59],"requirements":[60],"or":[61],"fit":[62],"well":[63],"into":[64],"existing":[65],"flows.":[67],"We":[68,124],"propose":[69],"FastPath,":[70],"hybrid":[72],"methodology":[74],"that":[75],"combines":[76],"efficiency":[78],"simulation":[80],"with":[81],"nature":[84],"formal":[86,107],"verification.":[87],"FastPath":[88,103],"employs":[89],"structural":[91],"analysis":[92],"framework":[93],"automate":[95],"method":[97],"further.":[98],"Our":[99],"experimental":[100],"results":[101],"compare":[102],"state-of-the-art":[106],"approach,":[108],"showing":[109],"significant":[111],"reduction":[112],"manual":[114],"effort":[115],"while":[116],"achieving":[117],"same":[119],"level":[120],"confidence.":[123],"also":[125],"discovered":[126],"and":[127],"contributed":[128],"fix":[130],"for":[131,145],"previously":[133],"unknown":[134],"leak":[135],"internal":[137],"operands":[138],"cv32e40s,":[140],"RISC-V":[142],"processor":[143],"intended":[144],"applications.":[147]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}