{"id":"https://openalex.org/W4379115652","doi":"https://doi.org/10.1109/vts56346.2023.10140100","title":"Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance","display_name":"Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance","publication_year":2023,"publication_date":"2023-04-24","ids":{"openalex":"https://openalex.org/W4379115652","doi":"https://doi.org/10.1109/vts56346.2023.10140100"},"language":"en","primary_location":{"id":"doi:10.1109/vts56346.2023.10140100","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vts56346.2023.10140100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 41st 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/A5008154852","display_name":"Sohrab Aftabjahani","orcid":"https://orcid.org/0000-0001-8906-2934"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sohrab Aftabjahani","raw_affiliation_strings":["Intel Corporation,Data Center Platform Engineering and Architecture,Hillsboro,OR,USA","Data Center Platform Engineering and Architecture, Intel Corporation, Hillsboro, OR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Corporation,Data Center Platform Engineering and Architecture,Hillsboro,OR,USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Data Center Platform Engineering and Architecture, Intel Corporation, Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102766705","display_name":"Mark Tehranipoor","orcid":"https://orcid.org/0009-0006-8410-2347"},"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":"Mark Tehranipoor","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","Department of Electrical and Computer Engineering, University of Florida, 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"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","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","Department of Electrical and Computer Engineering, University of Florida, 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"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069517677","display_name":"Bulbul Ahmed","orcid":"https://orcid.org/0000-0002-9143-4538"},"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":"Bulbul Ahmed","raw_affiliation_strings":["University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA","Department of Electrical and Computer Engineering, University of Florida, 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"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000231774","display_name":"Ryan Kastner","orcid":"https://orcid.org/0000-0001-9062-5570"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan Kastner","raw_affiliation_strings":["UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA","Department of Computer Science and Engineering, UC San Diego, San Diego, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, UC San Diego, San Diego, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000981593","display_name":"Francesco Restuccia","orcid":"https://orcid.org/0000-0001-6955-1888"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Francesco Restuccia","raw_affiliation_strings":["UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA","Department of Computer Science and Engineering, UC San Diego, San Diego, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, UC San Diego, San Diego, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"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/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andres Meza","raw_affiliation_strings":["UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA","Department of Computer Science and Engineering, UC San Diego, San Diego, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, UC San Diego, San Diego, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071700310","display_name":"Kaki Ryan","orcid":"https://orcid.org/0009-0002-7764-5715"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kaki Ryan","raw_affiliation_strings":["UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA","Department of Computer Science and Engineering, UC San Diego, San Diego, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC San Diego,Department of Computer Science and Engineering,San Diego,CA,USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, UC San Diego, San Diego, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039254939","display_name":"Nicole Fern","orcid":"https://orcid.org/0000-0001-7620-9415"},"institutions":[{"id":"https://openalex.org/I4210146273","display_name":"Structured Materials Industries (United States)","ror":"https://ror.org/04bqdez48","country_code":"US","type":"company","lineage":["https://openalex.org/I4210146273"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicole Fern","raw_affiliation_strings":["Riscure Inc.,San Francisco,CA,USA","Riscure Inc., San Francisco, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Riscure Inc.,San Francisco,CA,USA","institution_ids":["https://openalex.org/I4210146273"]},{"raw_affiliation_string":"Riscure Inc., San Francisco, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013262352","display_name":"Jasper van Woudenberg","orcid":null},"institutions":[{"id":"https://openalex.org/I4210146273","display_name":"Structured Materials Industries (United States)","ror":"https://ror.org/04bqdez48","country_code":"US","type":"company","lineage":["https://openalex.org/I4210146273"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jasper van Woudenberg","raw_affiliation_strings":["Riscure Inc.,San Francisco,CA,USA","Riscure Inc., San Francisco, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Riscure Inc.,San Francisco,CA,USA","institution_ids":["https://openalex.org/I4210146273"]},{"raw_affiliation_string":"Riscure Inc., San Francisco, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052658550","display_name":"Rajesh Velegalati","orcid":null},"institutions":[{"id":"https://openalex.org/I4210146273","display_name":"Structured Materials Industries (United States)","ror":"https://ror.org/04bqdez48","country_code":"US","type":"company","lineage":["https://openalex.org/I4210146273"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajesh Velegalati","raw_affiliation_strings":["Riscure Inc.,San Francisco,CA,USA","Riscure Inc., San Francisco, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Riscure Inc.,San Francisco,CA,USA","institution_ids":["https://openalex.org/I4210146273"]},{"raw_affiliation_string":"Riscure Inc., San Francisco, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087475037","display_name":"Cees-Bart Breunesse","orcid":null},"institutions":[{"id":"https://openalex.org/I4210146273","display_name":"Structured Materials Industries (United States)","ror":"https://ror.org/04bqdez48","country_code":"US","type":"company","lineage":["https://openalex.org/I4210146273"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cees-Bart Breunesse","raw_affiliation_strings":["Riscure Inc.,San Francisco,CA,USA","Riscure Inc., San Francisco, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Riscure Inc.,San Francisco,CA,USA","institution_ids":["https://openalex.org/I4210146273"]},{"raw_affiliation_string":"Riscure Inc., San Francisco, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088586496","display_name":"Cynthia Sturton","orcid":"https://orcid.org/0000-0003-3930-7440"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cynthia Sturton","raw_affiliation_strings":["University of North Carolina,Department of Computer Science,Chapel Hill,NC,USA","Department of Computer Science, University of North Carolina, Chapel Hill, NC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of North Carolina,Department of Computer Science,Chapel Hill,NC,USA","institution_ids":["https://openalex.org/I114027177"]},{"raw_affiliation_string":"Department of Computer Science, University of North Carolina, Chapel Hill, NC, USA","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048337173","display_name":"Calvin Deutschbein","orcid":"https://orcid.org/0000-0003-1354-7200"},"institutions":[{"id":"https://openalex.org/I141670070","display_name":"Willamette University","ror":"https://ror.org/04g9e0f44","country_code":"US","type":"education","lineage":["https://openalex.org/I141670070"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Calvin Deutschbein","raw_affiliation_strings":["Willamette University,Department of Computing and Data Science,Salem,OR,USA","Department of Computing and Data Science, Willamette University, Salem, OR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Willamette University,Department of Computing and Data Science,Salem,OR,USA","institution_ids":["https://openalex.org/I141670070"]},{"raw_affiliation_string":"Department of Computing and Data Science, Willamette University, Salem, OR, USA","institution_ids":["https://openalex.org/I141670070"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":14,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8158,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.77544759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"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.9997000098228455,"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.9997000098228455,"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.9995999932289124,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9926999807357788,"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/computer-science","display_name":"Computer science","score":0.7346416711807251},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.6833226680755615},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.6816624402999878},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.6131872534751892},{"id":"https://openalex.org/keywords/security-information-and-event-management","display_name":"Security information and event management","score":0.5856899619102478},{"id":"https://openalex.org/keywords/hardware-security-module","display_name":"Hardware security module","score":0.5839199423789978},{"id":"https://openalex.org/keywords/security-testing","display_name":"Security testing","score":0.5620955228805542},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5593424439430237},{"id":"https://openalex.org/keywords/security-through-obscurity","display_name":"Security through obscurity","score":0.5084868669509888},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.5025343894958496},{"id":"https://openalex.org/keywords/security-convergence","display_name":"Security convergence","score":0.44464391469955444},{"id":"https://openalex.org/keywords/security-engineering","display_name":"Security engineering","score":0.4194013178348541},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.41764605045318604},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.37062618136405945},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.28018611669540405},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.20804595947265625},{"id":"https://openalex.org/keywords/network-security-policy","display_name":"Network security policy","score":0.18280917406082153},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.0963207483291626}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7346416711807251},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.6833226680755615},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.6816624402999878},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.6131872534751892},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.5856899619102478},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.5839199423789978},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.5620955228805542},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5593424439430237},{"id":"https://openalex.org/C114869243","wikidata":"https://www.wikidata.org/wiki/Q133735","display_name":"Security through obscurity","level":5,"score":0.5084868669509888},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.5025343894958496},{"id":"https://openalex.org/C52420254","wikidata":"https://www.wikidata.org/wiki/Q7445028","display_name":"Security convergence","level":5,"score":0.44464391469955444},{"id":"https://openalex.org/C13159133","wikidata":"https://www.wikidata.org/wiki/Q365674","display_name":"Security engineering","level":5,"score":0.4194013178348541},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.41764605045318604},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.37062618136405945},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.28018611669540405},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.20804595947265625},{"id":"https://openalex.org/C117110713","wikidata":"https://www.wikidata.org/wiki/Q3394676","display_name":"Network security policy","level":4,"score":0.18280917406082153},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.0963207483291626},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vts56346.2023.10140100","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vts56346.2023.10140100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 41st VLSI Test Symposium (VTS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production","score":0.5299999713897705}],"awards":[],"funders":[{"id":"https://openalex.org/F4320309545","display_name":"Synopsys","ror":"https://ror.org/013by2m91"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1605172130","https://openalex.org/W1977764760","https://openalex.org/W2013310756","https://openalex.org/W2068382945","https://openalex.org/W2142537526","https://openalex.org/W2143180464","https://openalex.org/W2403248509","https://openalex.org/W2602633208","https://openalex.org/W2745235995","https://openalex.org/W2801350667","https://openalex.org/W2899943924","https://openalex.org/W2904305758","https://openalex.org/W2909040172","https://openalex.org/W2947574317","https://openalex.org/W2983646850","https://openalex.org/W2991278382","https://openalex.org/W3007255759","https://openalex.org/W3007679372","https://openalex.org/W3015879501","https://openalex.org/W3029114445","https://openalex.org/W3030488445","https://openalex.org/W3033074846","https://openalex.org/W3036557299","https://openalex.org/W3114373476","https://openalex.org/W3122286897","https://openalex.org/W3159043981","https://openalex.org/W3169785681","https://openalex.org/W3176436306","https://openalex.org/W4200083867","https://openalex.org/W4210484106","https://openalex.org/W4237573843","https://openalex.org/W4240172596","https://openalex.org/W4246166885","https://openalex.org/W4252672524","https://openalex.org/W4256445470","https://openalex.org/W4293024986","https://openalex.org/W4294326400","https://openalex.org/W4308933147","https://openalex.org/W4366549037","https://openalex.org/W6794661218"],"related_works":["https://openalex.org/W2299494954","https://openalex.org/W2552271940","https://openalex.org/W2758682319","https://openalex.org/W88610236","https://openalex.org/W2395987867","https://openalex.org/W2176465394","https://openalex.org/W2418642600","https://openalex.org/W2542633692","https://openalex.org/W2290724697","https://openalex.org/W2467594283"],"abstract_inverted_index":{"Hardware":[0],"security":[1,5,27,31,56,73,79,110,112,129,165,194,205,239,311,326,328],"creates":[2],"a":[3,144,197,212,224,244],"hardware-based":[4],"foundation":[6,187],"for":[7,25,71,93,105,109,176,189,226,247,325],"secure":[8,96,123],"and":[9,14,29,45,69,76,111,120,156,178,203,249,283,307,327,343],"reliable":[10],"operation":[11],"of":[12,23,40,54,95,107,122,132,150,180,192,196,211,231,238,267,287,299,318],"systems":[13],"applications":[15],"used":[16,217],"in":[17,36,62,147],"our":[18,157],"modern":[19],"life.":[20],"The":[21],"presence":[22],"design":[24,32,44,108,145,198,324],"security,":[26],"assurance,":[28],"general":[30],"life":[33,38],"cycle":[34,39],"practices":[35,114],"product":[37,97,124],"many":[41,84],"large":[42],"semiconductor":[43],"manufacturing":[46],"companies":[47],"these":[48,305],"days":[49],"indicates":[50],"that":[51,136,303],"the":[52,65,117,160,181,186,257,262,274,279,285,288,292,310,316,332],"importance":[53],"hardware":[55,213],"has":[57],"been":[58],"very":[59],"well":[60],"observed":[61],"industry.":[63],"However,":[64],"high":[66,280],"cost,":[67],"time,":[68],"effort":[70],"building":[72],"into":[74,207],"designs":[75],"assuring":[77,284],"their":[78],"-":[80,87],"due":[81],"to":[82,115,152,159,170,215,218,233,272,294,323,330,334],"using":[83,261],"manual":[85],"processes":[86],"is":[88,223],"still":[89],"an":[90,208],"important":[91],"obstacle":[92],"economy":[94],"development.":[98,125],"This":[99],"paper":[100],"presents":[101],"several":[102],"promising":[103],"directions":[104],"automation":[106,191],"assurance":[113,329],"reduce":[116],"overall":[118],"time":[119],"cost":[121],"First,":[126],"we":[127,184,242],"present":[128],"verification":[130],"challenges":[131],"SoCs,":[133],"possible":[134],"vulnerabilities":[135,206],"could":[137],"be":[138,216],"introduced":[139],"inadvertently":[140],"by":[141,162,199,260,277,290],"tools":[142,321,336],"mapping":[143,164],"model":[146,202,214],"one":[148,168],"level":[149,169,173,298],"abstraction":[151],"its":[153,171,296],"lower":[154,172],"level,":[155],"solution":[158],"problem":[161],"automatically":[163,219,263],"properties":[166],"from":[167,337],"incorporating":[174,200],"techniques":[175],"extension":[177],"expansion":[179],"properties.":[182],"Then,":[183],"discuss":[185,243],"necessary":[188],"further":[190],"formal":[193],"analysis":[195],"threat":[201],"common":[204],"intermediate":[209],"representation":[210],"determine":[220],"if":[221],"there":[222],"chance":[225],"direct":[227],"or":[228,236],"indirect":[229],"flow":[230],"information":[232],"compromise":[234],"confidentiality":[235],"integrity":[237],"assets.":[240],"Finally,":[241],"pre-silicon-based":[245],"framework":[246],"practical":[248],"time-and-cost":[250],"effective":[251],"power-side":[252],"channel":[253],"leakage":[254,259,265,276,281,293],"analysis,":[255],"root-causing":[256],"side-channel":[258,275],"generated":[264],"profile":[266],"circuit":[268],"nodes,":[269,282],"providing":[270],"insight":[271],"mitigate":[273],"addressing":[278],"effectiveness":[286],"mitigation":[289],"reprofiling":[291],"prove":[295],"acceptable":[297],"elimination.":[300],"We":[301],"hope":[302],"sharing":[304],"efforts":[306],"ideas":[308],"with":[309,340],"research":[312],"community":[313],"can":[314],"accelerate":[315],"evolution":[317],"security-aware":[319],"CAD":[320],"targeted":[322],"enrich":[331],"ecosystem":[333],"have":[335],"multiple":[338],"vendors":[339],"more":[341],"capabilities":[342],"higher":[344],"performance.":[345]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}