{"id":"https://openalex.org/W4312656147","doi":"https://doi.org/10.1109/tc.2022.3209923","title":"A Framework for Design, Verification, and Management of SoC Access Control Systems","display_name":"A Framework for Design, Verification, and Management of SoC Access Control Systems","publication_year":2022,"publication_date":"2022-09-28","ids":{"openalex":"https://openalex.org/W4312656147","doi":"https://doi.org/10.1109/tc.2022.3209923"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2022.3209923","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2022.3209923","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-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/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":true,"raw_author_name":"Francesco Restuccia","raw_affiliation_strings":["University of California San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California San Diego, La Jolla, 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":["University of California San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"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":["University of California San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081757026","display_name":"Jason Oberg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jason Oberg","raw_affiliation_strings":["Cycuity, San Jose, CA, USA"],"affiliations":[{"raw_affiliation_string":"Cycuity, San Jose, CA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000981593"],"corresponding_institution_ids":["https://openalex.org/I36258959"],"apc_list":null,"apc_paid":null,"fwci":1.9893,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.88540411,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"72","issue":"2","first_page":"386","last_page":"400"},"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.9998999834060669,"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.9998999834060669,"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/T10478","display_name":"Diamond and Carbon-based Materials Research","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials 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.9758999943733215,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/firmware","display_name":"Firmware","score":0.812857449054718},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6828003525733948},{"id":"https://openalex.org/keywords/chip","display_name":"Chip","score":0.47194355726242065},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4642618000507355},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3501932621002197},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.08509328961372375}],"concepts":[{"id":"https://openalex.org/C67212190","wikidata":"https://www.wikidata.org/wiki/Q104851","display_name":"Firmware","level":2,"score":0.812857449054718},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6828003525733948},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.47194355726242065},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4642618000507355},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3501932621002197},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.08509328961372375}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2022.3209923","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2022.3209923","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1527621767","https://openalex.org/W2025718175","https://openalex.org/W2036910349","https://openalex.org/W2055102412","https://openalex.org/W2091178531","https://openalex.org/W2118599102","https://openalex.org/W2121030089","https://openalex.org/W2122049982","https://openalex.org/W2142963883","https://openalex.org/W2150210903","https://openalex.org/W2233304223","https://openalex.org/W2602633208","https://openalex.org/W2613091199","https://openalex.org/W2811511238","https://openalex.org/W2883980196","https://openalex.org/W2900193304","https://openalex.org/W3034688542","https://openalex.org/W3034952793","https://openalex.org/W3082683867","https://openalex.org/W3092347650","https://openalex.org/W3159043981","https://openalex.org/W3169785681","https://openalex.org/W3176436306","https://openalex.org/W4226319081","https://openalex.org/W4234170832","https://openalex.org/W4241490134","https://openalex.org/W4244257922","https://openalex.org/W4250728693","https://openalex.org/W4293243640","https://openalex.org/W6683884165","https://openalex.org/W6779702991"],"related_works":["https://openalex.org/W4385624297","https://openalex.org/W1526521547","https://openalex.org/W2007388836","https://openalex.org/W4247881240","https://openalex.org/W3180981818","https://openalex.org/W2403824868","https://openalex.org/W4388023871","https://openalex.org/W2356515587","https://openalex.org/W2390365330","https://openalex.org/W2380628475"],"abstract_inverted_index":{"System-on-chip":[0],"(SoC)":[1],"architectures":[2],"are":[3,144],"a":[4,78,129,134,194],"heterogeneous":[5],"mix":[6],"of":[7,44,89,168],"microprocessors,":[8],"custom":[9],"accelerators,":[10],"memories,":[11],"interfaces,":[12],"peripherals,":[13],"and":[14,29,46,51,68,80,117,133,147],"other":[15],"resources.":[16,186],"These":[17],"resources":[18,62],"communicate":[19],"using":[20],"complex":[21],"on-chip":[22,84,107],"interconnect":[23],"networks":[24],"that":[25,58,66,104,141,155,214],"attempt":[26],"to":[27,64,120,139,182],"quickly":[28],"efficiently":[30],"arbitrate":[31],"memory":[32],"transactions":[33],"whose":[34],"behaviors":[35,70],"can":[36],"vary":[37],"drastically":[38],"depending":[39],"on":[40,193],"the":[41,94,115,142,156,165,172,210],"current":[42],"mode":[43],"operation":[45],"system":[47,206],"operating":[48],"state.":[49],"Security-":[50],"safety-critical":[52],"applications":[53],"require":[54],"access":[55,85,95,123,204],"control":[56,96,205],"policies":[57],"define":[59],"how":[60],"these":[61],"interact":[63],"ensure":[65,140],"malicious":[67],"unsafe":[69],"do":[71],"not":[72],"occur.":[73],"<sc":[74,90,109,125,149,187,201],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[75,91,110,126,150,188,202],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Aker</small>":[76,92,111,127,151,189,203],"is":[77,93,190,207],"design":[79],"verification":[81,137,153],"framework":[82],"for":[83,219],"control.":[86,124],"The":[87],"core":[88],"wrapper":[97],"(ACW)\u2013a":[98],"high-performance":[99],"yet":[100],"efficient":[101],"hardware":[102,166,217],"module":[103],"dynamically":[105],"arbitrates":[106],"communications.":[108],"distributes":[112],"ACWs":[113,143],"across":[114],"SoC":[116],"programs":[118],"them":[119],"perform":[121],"local":[122],"provides":[128],"firmware":[130,170,220],"generation":[131],"tool":[132],"property-driven":[135],"security":[136,152,179],"methodology":[138],"properly":[145,159],"integrated":[146,208],"configured.":[148],"confirms":[154],"ACW":[157,173],"behaves":[158],"at":[160],"IP":[161],"level.":[162],"It":[163],"verifies":[164],"root":[167],"trust":[169],"configures":[171],"correctly.":[174],"And":[175],"it":[176],"evaluates":[177],"system-level":[178],"threats":[180],"due":[181],"interactions":[183],"between":[184],"shared":[185],"experimentally":[191],"validated":[192],"Xilinx":[195],"UltraScale+":[196],"programmable":[197],"SoC.":[198],"Additionally,":[199],"an":[200],"into":[209],"OpenPULP":[211],"multicore":[212],"archtiecture":[213],"uses":[215],"OpenTitan":[216],"root-of-trust":[218],"configuration.":[221]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}