{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T15:02:00Z","timestamp":1771340520378,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T00:00:00Z","timestamp":1714953600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T00:00:00Z","timestamp":1714953600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,6]]},"DOI":"10.1109\/host55342.2024.10545407","type":"proceedings-article","created":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T17:21:52Z","timestamp":1717694512000},"page":"271-281","source":"Crossref","is-referenced-by-count":5,"title":["DiSPEL: A Framework for SoC Security Policy Synthesis and Distributed Enforcement"],"prefix":"10.1109","author":[{"given":"Sudipta","family":"Paria","sequence":"first","affiliation":[{"name":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"}]},{"given":"Aritra","family":"Dasgupta","sequence":"additional","affiliation":[{"name":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"}]},{"given":"Swarup","family":"Bhunia","sequence":"additional","affiliation":[{"name":"University of Florida,Department of Electrical and Computer Engineering,Gainesville,FL,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2014.2360535"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372616"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2018.8297409"},{"key":"ref4","first-page":"387","article-title":"Enhancing Architecture-level Security of SoC Designs via the Distributed Security IPs Deployment Methodology","volume":"36","author":"Huang","year":"2020","journal-title":"J. Inf. Sci. Eng."},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2018.00081"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372590"},{"key":"ref7","volume-title":"Hardware Security: A Hands-on Learning Approach","author":"Bhunia","year":"2018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/310889.310925"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.226478"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541947"},{"issue":"3","key":"ref12","first-page":"63","article-title":"The Process Specification Language (PSL) Theory and Applications","volume":"24","author":"Gr\u00fcninger","year":"2003","journal-title":"AI Mag."},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744823"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2017.37"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.225"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240839"},{"key":"ref17","first-page":"254","article-title":"In-formation flow isolation in I2C and USB","volume-title":"2011 48th ACM\/EDAC\/IEEE Design Automation Conference (DAC)","author":"Oberg","year":"2011"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2012.2189105"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508258"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2016.143"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MSEC.2022.3155376"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ITC44170.2019.9000170"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/VTS50974.2021.9441032"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643467"},{"key":"ref25","first-page":"2779","article-title":"Design of access control mechanisms in Systems-on-Chip with formal integrity guarantees","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Mehmedagi\u0107"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2658544"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"}],"event":{"name":"2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","location":"Tysons Corner, VA, USA","start":{"date-parts":[[2024,5,6]]},"end":{"date-parts":[[2024,5,9]]}},"container-title":["2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10545333\/10545347\/10545407.pdf?arnumber=10545407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T18:29:12Z","timestamp":1719340152000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10545407\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/host55342.2024.10545407","relation":{},"subject":[],"published":{"date-parts":[[2024,5,6]]}}}