{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:11:36Z","timestamp":1725523896221},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.23919\/date48585.2020.9116342","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T19:28:37Z","timestamp":1592249317000},"page":"658-661","source":"Crossref","is-referenced-by-count":1,"title":["Verifiable Security Templates for Hardware"],"prefix":"10.23919","author":[{"given":"William L.","family":"Harrison","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Allwein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Noninterference, transitivity, and channel-control security policies","author":"rushby","year":"1992","journal-title":"SRI International Tech Rep CSL-92-02"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2018.8631992"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695917"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3274282"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3110268"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1995.523251"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-011-9072-1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2967497"},{"key":"ref2","article-title":"?-Ware: Hardware Description and Verification in Agda","author":"flor","year":"2015","journal-title":"Proc TYPES"},{"key":"ref1","article-title":"Will the future success of reconfigurable computing require a paradigm shift in our research community’s thinking?","author":"andrews","year":"2015","journal-title":"Keynote address Applied Reconfigurable Computing"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"}],"event":{"name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2020,3,9]]},"location":"Grenoble, France","end":{"date-parts":[[2020,3,13]]}},"container-title":["2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9112295\/9116186\/09116342.pdf?arnumber=9116342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T18:42:31Z","timestamp":1594665751000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9116342\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.23919\/date48585.2020.9116342","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}