{"id":"https://openalex.org/W4414017163","doi":"https://doi.org/10.46586/tches.v2025.i4.317-340","title":"BASTION: A Framework for Secure Third-Party IP Integration in NoC-based SoC Platforms","display_name":"BASTION: A Framework for Secure Third-Party IP Integration in NoC-based SoC Platforms","publication_year":2025,"publication_date":"2025-09-05","ids":{"openalex":"https://openalex.org/W4414017163","doi":"https://doi.org/10.46586/tches.v2025.i4.317-340"},"language":"en","primary_location":{"id":"doi:10.46586/tches.v2025.i4.317-340","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tches.v2025.i4.317-340","pdf_url":"https://tches.iacr.org/index.php/TCHES/article/download/12412/12141","source":{"id":"https://openalex.org/S4210207404","display_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","issn_l":"2569-2925","issn":["2569-2925"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://tches.iacr.org/index.php/TCHES/article/download/12412/12141","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058335425","display_name":"Francesco Restuccia","orcid":"https://orcid.org/0000-0002-9498-2302"},"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":["University of California San Diego, La Jolla, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego, La Jolla, California, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051497320","display_name":"Zhenghua Ma","orcid":"https://orcid.org/0000-0002-4569-6254"},"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":"Zhenghua Ma","raw_affiliation_strings":["University of California San Diego, La Jolla, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego, La Jolla, California, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030296966","display_name":"Joseph D. Zuckerman","orcid":"https://orcid.org/0000-0003-3072-9970"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph Zuckerman","raw_affiliation_strings":["Columbia University, New York City, New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University, New York City, New York, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"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":["University of California San Diego, La Jolla, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego, La Jolla, California, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042344201","display_name":"Biruk Seyoum","orcid":"https://orcid.org/0000-0001-5399-2590"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Biruk Seyoum","raw_affiliation_strings":["Columbia University, New York City, New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University, New York City, New York, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009992367","display_name":"Luca P. Carloni","orcid":"https://orcid.org/0000-0001-5600-8931"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luca Carloni","raw_affiliation_strings":["Columbia University, New York City, New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University, New York City, New York, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","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":["University of California San Diego, La Jolla, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego, La Jolla, California, USA","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.4756,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92831723,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"2025","issue":"4","first_page":"317","last_page":"340"},"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.9972000122070312,"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.9972000122070312,"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/T11424","display_name":"Security and Verification in Computing","score":0.9926000237464905,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9836000204086304,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.6107484698295593},{"id":"https://openalex.org/keywords/third-party","display_name":"Third party","score":0.5261445045471191},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4031590223312378},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3780621290206909},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3541119396686554},{"id":"https://openalex.org/keywords/internet-privacy","display_name":"Internet privacy","score":0.13106465339660645}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6107484698295593},{"id":"https://openalex.org/C2983583741","wikidata":"https://www.wikidata.org/wiki/Q16785388","display_name":"Third party","level":2,"score":0.5261445045471191},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4031590223312378},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3780621290206909},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3541119396686554},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.13106465339660645}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46586/tches.v2025.i4.317-340","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tches.v2025.i4.317-340","pdf_url":"https://tches.iacr.org/index.php/TCHES/article/download/12412/12141","source":{"id":"https://openalex.org/S4210207404","display_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","issn_l":"2569-2925","issn":["2569-2925"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:6040d65795df4850a5bf04937dd02a30","is_oa":true,"landing_page_url":"https://doaj.org/article/6040d65795df4850a5bf04937dd02a30","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Transactions on Cryptographic Hardware and Embedded Systems, Vol 2025, Iss 4 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46586/tches.v2025.i4.317-340","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tches.v2025.i4.317-340","pdf_url":"https://tches.iacr.org/index.php/TCHES/article/download/12412/12141","source":{"id":"https://openalex.org/S4210207404","display_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","issn_l":"2569-2925","issn":["2569-2925"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414017163.pdf","grobid_xml":"https://content.openalex.org/works/W4414017163.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W2333114893","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890"],"abstract_inverted_index":{"Modern":[0],"System-on-Chip":[1],"(SoC)":[2],"architectures":[3,166],"are":[4,37,88],"a":[5,122,173,209,220,242],"complex":[6],"mix":[7],"of":[8,23,34,45,76,83,104,110,118,129,160,200,237,245,276],"processors,":[9],"accelerators,":[10],"memories,":[11],"and":[12,26,66,79,100,116,141,212,235,247,269,273,284,305],"I/O":[13],"controllers":[14],"interconnected":[15],"by":[16],"on-chip":[17],"communication":[18,93,143],"networks.":[19],"Given":[20],"the":[21,24,27,81,92,102,108,111,126,130,134,139,157,198,238,264,286],"complexity":[22],"computation":[25],"requirements":[28],"mandated":[29],"in":[30,70,138,205,309],"modern":[31],"applications,":[32],"several":[33],"these":[35],"IPs":[36,72,106,120,204],"often":[38],"outsourced":[39],"as":[40,289],"third-party":[41,46,105,119,161,203],"modules.":[42],"The":[43],"integration":[44,159],"modules,":[47],"however,":[48],"has":[49],"been":[50],"demonstrated":[51],"to":[52,98,155,255,293,296],"raise":[53],"severe":[54],"system-level":[55,127],"security":[56,128,178,222,239,252],"concerns":[57],"\u2013":[58,133],"undiscovered":[59],"vulnerabilities,":[60],"incorrect":[61],"firmware":[62],"configurations,":[63],"malicious":[64],"code,":[65],"hardware":[67,183],"trojans":[68],"undetected":[69],"such":[71],"can":[73,225],"produce":[74],"leaks":[75],"confidential":[77],"information":[78],"compromise":[80],"integrity":[82],"critical":[84,303],"components.":[85],"These":[86],"challenges":[87],"further":[89,307],"intensified":[90],"when":[91],"infrastructure":[94],"lacks":[95],"robust":[96,177],"mechanisms":[97],"supervise":[99],"monitor":[101],"interactions":[103],"with":[107,172],"rest":[109],"system.":[112],"Thus,":[113],"runtime":[114],"monitoring":[115],"supervising":[117],"is":[121,261],"crucial":[123],"aspect":[124],"for":[125,180,302],"entire":[131,287],"SoC":[132,140,165,300],"computing":[135],"modules":[136,163],"integrated":[137,228,262],"their":[142],"must":[144],"behave":[145],"securely.":[146],"This":[147],"paper":[148],"presents":[149],"Bastion,":[150],"an":[151,249],"open-source":[152,182,266,282],"framework":[153,214,254,268],"designed":[154],"support":[156],"secure":[158,233,257,298],"IP":[162],"into":[164,229],"based":[167,215],"on":[168,175,192,216,263],"network-on-chip":[169],"(NoC)":[170],"communications,":[171],"focus":[174,191],"providing":[176],"guarantees":[179],"NoC-based":[181,206],"platforms.":[184],"Unlike":[185],"most":[186],"previous":[187],"works,":[188],"which":[189],"either":[190],"design":[193,211],"or":[194],"verification,":[195],"we":[196,291],"address":[197],"challenge":[199],"securely":[201],"integrating":[202],"platforms":[207,283,301],"through":[208,271],"holistic":[210],"verification":[213,253],"three":[217],"pillars:":[218],"(i)":[219],"high-performance":[221],"socket":[223],"that":[224],"be":[226],"seamlessly":[227],"NoC":[230],"tiles;":[231],"(ii)":[232],"configuration":[234],"management":[236],"sockets":[240],"via":[241],"Hardware":[243],"Root":[244],"Trust;":[246],"(iii)":[248],"ad-hoc":[250],"property-based":[251],"ensure":[256],"system":[258],"operation.":[259],"Bastion":[260],"popular":[265],"ESP":[267],"validated":[270],"simulations":[272],"FPGA":[274],"emulation":[275],"realistic":[277],"SoCs.":[278],"By":[279],"explicitly":[280],"targeting":[281],"releasing":[285],"project":[288],"open-source,":[290],"aim":[292],"democratize":[294],"access":[295],"robustly":[297],"application-specific":[299],"applications":[304],"foster":[306],"advancements":[308],"this":[310],"domain.":[311]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}
