{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T16:08:03Z","timestamp":1780762083727,"version":"3.54.1"},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-10-C-0237"],"award-info":[{"award-number":["FA8750-10-C-0237"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-11-C-0249"],"award-info":[{"award-number":["FA8750-11-C-0249"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["HR0011-18-C-0016"],"award-info":[{"award-number":["HR0011-18-C-0016"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8650-18-C-7809"],"award-info":[{"award-number":["FA8650-18-C-7809"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["HR0011-22-C-0110"],"award-info":[{"award-number":["HR0011-22-C-0110"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["HR0011-23-C-0031"],"award-info":[{"award-number":["HR0011-23-C-0031"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-24-C-B047"],"award-info":[{"award-number":["FA8750-24-C-B047"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"name":"U.K. DSbD Technology Platform Prototype","award":["105694"],"award-info":[{"award-number":["105694"]}]},{"name":"U.K. Project","award":["107145"],"award-info":[{"award-number":["107145"]}]},{"name":"U.K. Project","award":["10027440"],"award-info":[{"award-number":["10027440"]}]},{"name":"European Union\u2019s Horizon 2020 research and innovation program","award":["789108"],"award-info":[{"award-number":["789108"]}]},{"name":"EPSRC REMS Program","award":["EP\/K008528\/1"],"award-info":[{"award-number":["EP\/K008528\/1"]}]},{"name":"EPSRC CHaOS","award":["EP\/V000292\/1"],"award-info":[{"award-number":["EP\/V000292\/1"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Secur. Privacy"],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1109\/msec.2024.3396701","type":"journal-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T17:57:24Z","timestamp":1718992644000},"page":"50-61","source":"Crossref","is-referenced-by-count":7,"title":["CHERI: Hardware-Enabled C\/C++ Memory Protection at Scale"],"prefix":"10.1109","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8139-8783","authenticated-orcid":false,"given":"Robert N. M.","family":"Watson","sequence":"first","affiliation":[{"name":"Department of Computer Science and Technology, University of Cambridge, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6060-0153","authenticated-orcid":false,"given":"David","family":"Chisnall","sequence":"additional","affiliation":[{"name":"SCI Semiconductor, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8157-5567","authenticated-orcid":false,"given":"Jessica","family":"Clarke","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, University of Cambridge, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6256-0419","authenticated-orcid":false,"given":"Brooks","family":"Davis","sequence":"additional","affiliation":[{"name":"Computer Science Laboratory, SRI International, Menlo Park, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nathaniel Wesley","family":"Filardo","sequence":"additional","affiliation":[{"name":"Microsoft, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ben","family":"Laurie","sequence":"additional","affiliation":[{"name":"Google, London, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2806-495X","authenticated-orcid":false,"given":"Simon W.","family":"Moore","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, University of Cambridge, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1197-8000","authenticated-orcid":false,"given":"Peter G.","family":"Neumann","sequence":"additional","affiliation":[{"name":"Computer Science Laboratory, SRI International, Menlo Park, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6372-217X","authenticated-orcid":false,"given":"Alexander","family":"Richardson","sequence":"additional","affiliation":[{"name":"Google, Mountain View, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9352-1013","authenticated-orcid":false,"given":"Peter","family":"Sewell","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, University of Cambridge, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3062-6687","authenticated-orcid":false,"given":"Konrad","family":"Witaszczyk","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, University of Cambridge, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3971-2681","authenticated-orcid":false,"given":"Jonathan","family":"Woodruff","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, University of Cambridge, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/sp.2013.13"},{"key":"ref2","volume-title":"Capability hardware enhanced RISC instructions: CHERI instruction-set architecture (Version 9)","author":"Watson","year":"2023"},{"key":"ref3","volume-title":"Capability-Based Computer Systems","author":"Levy","year":"1984"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/mm.2023.3264676"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3613424.3614266"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483570"},{"key":"ref7","volume-title":"CHERI C\/C programming guide","author":"Watson","year":"2020"},{"key":"ref8","volume-title":"Assessing the viability of an open-source CHERI desktop software ecosystem","author":"Watson","year":"2021"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640416"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2775054.2694367"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304042"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99336-8_7"},{"key":"ref13","first-page":"181","article-title":"Formal mechanised semantics of CHERI C: Capabilities, provenance, and undefined behaviour","volume-title":"Proc. Archit. Support Program. Lang. Oper. Syst. (ASPLOS)","author":"Zaliva"},{"key":"ref14","volume-title":"Security analysis of CHERI ISA","author":"Joly","year":"2024"},{"key":"ref15","volume-title":"Early performance results from the prototype Morello microarchitecture","author":"Watson","year":"2023"}],"container-title":["IEEE Security & Privacy"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8013\/10621858\/10568212.pdf?arnumber=10568212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T18:05:48Z","timestamp":1723053948000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10568212\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":15,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/msec.2024.3396701","relation":{},"ISSN":["1540-7993","1558-4046"],"issn-type":[{"value":"1540-7993","type":"print"},{"value":"1558-4046","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7]]}}}