{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:07Z","timestamp":1750219747868,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3576914.3587508","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:48:26Z","timestamp":1683586106000},"page":"198-202","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Generation, Verification, and Ranking of Secure SoC Access Control Policies"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4283-0833","authenticated-orcid":false,"given":"Andres","family":"Meza","sequence":"first","affiliation":[{"name":"UC San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9062-5570","authenticated-orcid":false,"given":"Ryan","family":"Kastner","sequence":"additional","affiliation":[{"name":"UC San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"unstructured":"[n. d.]. Aker Github Repository. https:\/\/github.com\/KastnerRG\/AKER-Access-Control.","key":"e_1_3_2_1_1_1"},{"unstructured":"lowRISC\/OpenTitan [n. d.]. OpenTitan Register Access Control. lowRISC\/OpenTitan. https:\/\/docs.opentitan.org\/doc\/rm\/register_tool.","key":"e_1_3_2_1_2_1"},{"unstructured":"MITRE 2021. The 2021 MITRE CWE Most Important Hardware Weaknesses. MITRE. https:\/\/cwe.mitre.org\/scoring\/lists\/2021_CWE_MIHW.html.","key":"e_1_3_2_1_3_1"},{"unstructured":"MITRE 2023. CWE-441: Confused Deputy. MITRE. https:\/\/cwe.mitre.org\/data\/definitions\/441.html.","key":"e_1_3_2_1_4_1"},{"unstructured":"MITRE 2023. The CWE Official Webpage. MITRE. https:\/\/cwe.mitre.org\/.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","volume-title":"Safely Preventing Unbounded Delays During Bus Transactions in FPGA-based SoC. In 2020 IEEE 28th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM). IEEE.","author":"Restuccia Francesco","year":"2020","unstructured":"Francesco Restuccia, Alessandro Biondi, Mauro Marinoni, and Giorgio Buttazzo. 2020. Safely Preventing Unbounded Delays During Bus Transactions in FPGA-based SoC. In 2020 IEEE 28th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM). IEEE."},{"key":"e_1_3_2_1_7_1","volume-title":"Hypervisor-level Interconnect for Hardware Accelerators in FPGA SoC. In 2020 57th ACM\/IEEE Design Automation Conference (DAC). IEEE, 1\u20136.","author":"Restuccia Francesco","year":"2020","unstructured":"Francesco Restuccia, Alessandro Biondi, Mauro Marinoni, Giorgiomaria Cicero, and Giorgio Buttazzo. 2020. AXI HyperConnect: A Predictable, Hypervisor-level Interconnect for Hardware Accelerators in FPGA SoC. In 2020 57th ACM\/IEEE Design Automation Conference (DAC). IEEE, 1\u20136."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/ICCAD51958.2021.9643538"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/TC.2022.3209923"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/3358183"},{"key":"e_1_3_2_1_11_1","volume-title":"d.]","author":"RISCV","year":"2021","unstructured":"RISCV [n. d.]. Volume 2, Privileged Specification version 20211203. RISCV. https:\/\/github.com\/riscv\/riscv-isa-manual\/releases\/download\/Priv-v1.12\/riscv-privileged-20211203.pdf."}],"event":{"sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"acronym":"CPS-IoT Week '23","name":"CPS-IoT Week '23: Cyber-Physical Systems and Internet of Things Week 2023","location":"San Antonio TX USA"},"container-title":["Proceedings of Cyber-Physical Systems and Internet of Things Week 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576914.3587508","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576914.3587508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:47Z","timestamp":1750178207000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576914.3587508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":11,"alternative-id":["10.1145\/3576914.3587508","10.1145\/3576914"],"URL":"https:\/\/doi.org\/10.1145\/3576914.3587508","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}