{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T06:49:45Z","timestamp":1767422985512,"version":"3.37.3"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Intel Scalable Assurance Program"},{"name":"Semiconductor Research Corporation GRC Task","award":["2993.001"],"award-info":[{"award-number":["2993.001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2023,2,1]]},"DOI":"10.1109\/tc.2022.3209923","type":"journal-article","created":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T20:01:43Z","timestamp":1664395303000},"page":"386-400","source":"Crossref","is-referenced-by-count":12,"title":["A Framework for Design, Verification, and Management of SoC Access Control Systems"],"prefix":"10.1109","volume":"72","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6955-1888","authenticated-orcid":false,"given":"Francesco","family":"Restuccia","sequence":"first","affiliation":[{"name":"University of California San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4283-0833","authenticated-orcid":false,"given":"Andres","family":"Meza","sequence":"additional","affiliation":[{"name":"University of California San Diego, La Jolla, CA, 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":"University of California San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Oberg","sequence":"additional","affiliation":[{"name":"Cycuity, San Jose, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"12:1","article-title":"Modeling and analysis of bus contention for hardware accelerators in FPGA SoCs","volume-title":"Proc. 32st Euromicro Conf. Real-Time Syst.","author":"Restuccia"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/RTAS48715.2020.000-3"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/MTV.2016.12"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/s11265-015-1070-9"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/ICCAD51958.2021.9643538"},{"journal-title":"","key":"ref8"},{"journal-title":"","key":"ref9"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/353323.353382"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/1067627.806586"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/SOCC.2018.8618531"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/1086297.1086308"},{"journal-title":"","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/ICCAD.2015.7372616"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/ASPDAC.2018.8297409"},{"journal-title":"","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/VTS50974.2021.9441032"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/3447867"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/JSAC.2002.806121"},{"issue":"6","key":"ref22","doi-asserted-by":"crossref","first-page":"1157","DOI":"10.3233\/JCS-2009-0393","article-title":"Hyperproperties","volume":"18","author":"Clarkson","year":"2010","journal-title":"J. Comput. Secur."},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/3240765.3240839"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/MSEC.2022.3155376"},{"journal-title":"","key":"ref27"},{"journal-title":"","key":"ref28"},{"year":"2017","journal-title":"","key":"ref29"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/TCAD.2015.2448684"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/TC.2008.69"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1145\/2508148.2485972"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/ETS.2018.8400692"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.23919\/DATE.2017.7927157"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1109\/DAC18072.2020.9218652"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1109\/FCCM48280.2020.00026"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1109\/TCAD.2022.3197343"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1109\/TCAD.2020.3019772"},{"key":"ref39","first-page":"254","article-title":"Information flow isolation in I2C and USB","volume-title":"Proc. ACM\/EDAC\/IEEE 48th Des. Autom. Conf.","author":"Oberg"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1007\/11863908_28"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1016\/j.cose.2008.05.002"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1109\/MobileCloud.2014.49"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1109\/FCCM.2012.42"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/10019338\/09904916.pdf?arnumber=9904916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T21:55:26Z","timestamp":1705960526000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9904916\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,1]]},"references-count":38,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tc.2022.3209923","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[2023,2,1]]}}}