{"id":"https://openalex.org/W4399381536","doi":"https://doi.org/10.1109/host55342.2024.10545407","title":"DiSPEL: A Framework for SoC Security Policy Synthesis and Distributed Enforcement","display_name":"DiSPEL: A Framework for SoC Security Policy Synthesis and Distributed Enforcement","publication_year":2024,"publication_date":"2024-05-06","ids":{"openalex":"https://openalex.org/W4399381536","doi":"https://doi.org/10.1109/host55342.2024.10545407"},"language":"en","primary_location":{"id":"doi:10.1109/host55342.2024.10545407","is_oa":false,"landing_page_url":"https://doi.org/10.1109/host55342.2024.10545407","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/A5092645197","display_name":"Sudipta Paria","orcid":"https://orcid.org/0009-0002-7726-8032"},"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":true,"raw_author_name":"Sudipta Paria","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"],"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/A5051193196","display_name":"Aritra Dasgupta","orcid":"https://orcid.org/0000-0002-5551-5103"},"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":"Aritra Dasgupta","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"],"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":"last","author":{"id":"https://openalex.org/A5039442844","display_name":"Swarup Bhunia","orcid":"https://orcid.org/0000-0001-6082-6961"},"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":"Swarup Bhunia","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"],"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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5092645197"],"corresponding_institution_ids":["https://openalex.org/I33213144"],"apc_list":null,"apc_paid":null,"fwci":1.8185,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86824006,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"271","last_page":"281"},"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.9782000184059143,"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.9782000184059143,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9384999871253967,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/computer-science","display_name":"Computer science","score":0.6783415079116821},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.6683542728424072},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.44673702120780945},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3817146420478821},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.11118540167808533}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6783415079116821},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.6683542728424072},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.44673702120780945},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3817146420478821},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.11118540167808533},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/host55342.2024.10545407","is_oa":false,"landing_page_url":"https://doi.org/10.1109/host55342.2024.10545407","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1977764760","https://openalex.org/W2021949528","https://openalex.org/W2023808162","https://openalex.org/W2048500751","https://openalex.org/W2067569648","https://openalex.org/W2104020532","https://openalex.org/W2106812547","https://openalex.org/W2117189826","https://openalex.org/W2131129639","https://openalex.org/W2145936802","https://openalex.org/W2167849054","https://openalex.org/W2296231679","https://openalex.org/W2512350220","https://openalex.org/W2581963379","https://openalex.org/W2768209865","https://openalex.org/W2886806785","https://openalex.org/W2900193304","https://openalex.org/W2947574317","https://openalex.org/W2989579477","https://openalex.org/W3020869334","https://openalex.org/W3169785681","https://openalex.org/W4200083867","https://openalex.org/W4226319081","https://openalex.org/W4241490134","https://openalex.org/W4244257922","https://openalex.org/W4252521681","https://openalex.org/W6776268772"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Modern":[0],"System-on-Chip":[1],"(SoC)":[2],"designs":[3],"that":[4],"rely":[5],"on":[6,226],"bus":[7,139,175],"architectures":[8],"are":[9,224],"susceptible":[10],"to":[11,87,109,133,158,172,177],"a":[12,103,118,129,154],"range":[13],"of":[14,22,28,37,137,202,216],"hardware":[15],"and":[16,64,74,84,97,105,112,163,169,192,200,219],"software":[17],"threats,":[18],"necessitating":[19],"the":[20,35,135,166,173,198],"implementation":[21],"diverse":[23],"security":[24,39,65,90,114,161,186,206],"measures.":[25],"The":[26,41,77,181],"protection":[27],"valuable":[29],"assets":[30],"against":[31],"unauthorized":[32],"access":[33],"requires":[34],"integration":[36],"various":[38],"policies.":[40],"complex":[42],"interactions":[43],"among":[44],"multiple":[45],"Intellectual":[46],"Property":[47],"(IP)":[48],"blocks":[49],"within":[50],"an":[51],"SoC":[52,60,125,232],"pose":[53],"significant":[54],"challenges":[55],"for":[56,81,122],"stakeholders":[57],"such":[58],"as":[59],"designers,":[61],"system":[62],"validators,":[63],"experts,":[66],"who":[67],"must":[68],"discern":[69],"relevant":[70],"policies,":[71],"implement":[72],"them,":[73],"ensure":[75],"compliance.":[76],"manual":[78],"expertise":[79],"needed":[80],"upgrading":[82],"policies":[83,115],"adapting":[85],"IPs":[86],"meet":[88,178],"varying":[89],"requirements":[91],"significantly":[92],"impacts":[93],"both":[94,190],"design":[95],"costs":[96],"time-to-market.":[98],"This":[99],"paper":[100],"introduces":[101],"DiSPEL,":[102],"flexible":[104],"efficient":[106],"framework":[107,183],"designed":[108],"automatically":[110],"synthesize":[111],"enforce":[113],"expressed":[116],"in":[117,204,214],"simple":[119],"grammar":[120],"format":[121],"any":[123],"bus-based":[124],"design.":[126],"DiSPEL":[127,147,203],"adopts":[128],"distributed":[130],"deployment":[131],"strategy":[132],"maintain":[134],"integrity":[136],"trusted":[138],"operations,":[140],"even":[141],"when":[142],"dealing":[143],"with":[144,211],"untrusted":[145],"IPs.":[146],"achieves":[148],"policy":[149,187],"enforcement":[150],"by":[151],"(i)":[152],"incorporating":[153],"dedicated":[155],"centralized":[156],"module":[157],"address":[159],"bus-level":[160],"specifications":[162],"(ii)":[164],"generating":[165],"necessary":[167],"logic":[168],"appending":[170],"it":[171],"IP-level":[174],"wrapper":[176],"IP-specific":[179],"requirements.":[180],"proposed":[182],"supports":[184],"generic":[185],"types,":[188],"accommodating":[189],"synthesizable":[191],"non-synthesizable":[193],"constructs.":[194],"Experimental":[195],"results":[196,223],"validate":[197],"efficacy":[199],"correctness":[201],"enforcing":[205],"requirements,":[207],"demonstrating":[208],"its":[209],"practicality":[210],"minimal":[212],"overhead":[213],"terms":[215],"area,":[217],"delay,":[218],"power":[220],"consumption.":[221],"These":[222],"based":[225],"experiments":[227],"conducted":[228],"using":[229],"open-source":[230],"standard":[231],"benchmarks.":[233]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}