{"id":"https://openalex.org/W2943086984","doi":"https://doi.org/10.1109/tc.2019.2914037","title":"CHERI Concentrate: Practical Compressed Capabilities","display_name":"CHERI Concentrate: Practical Compressed Capabilities","publication_year":2019,"publication_date":"2019-04-30","ids":{"openalex":"https://openalex.org/W2943086984","doi":"https://doi.org/10.1109/tc.2019.2914037","mag":"2943086984"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2019.2914037","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2019.2914037","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.17863/cam.39556","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001050773","display_name":"Jonathan Woodruff","orcid":"https://orcid.org/0000-0003-3971-2681"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jonathan Woodruff","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":"https://orcid.org/0000-0003-3971-2681","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026528066","display_name":"Alexandre Joannou","orcid":"https://orcid.org/0000-0002-3161-2638"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alexandre Joannou","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045554783","display_name":"Hongyan Xia","orcid":"https://orcid.org/0000-0002-8047-899X"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hongyan Xia","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":"https://orcid.org/0000-0002-8047-899X","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021247044","display_name":"Anthony Fox","orcid":"https://orcid.org/0000-0002-1564-3784"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Anthony Fox","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041416647","display_name":"Robert M. Norton","orcid":"https://orcid.org/0000-0002-6095-6405"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Robert M. Norton","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":"https://orcid.org/0000-0002-6095-6405","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003350033","display_name":"David Chisnall","orcid":"https://orcid.org/0000-0001-6060-0153"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Chisnall","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048690334","display_name":"Brooks Davis","orcid":"https://orcid.org/0009-0006-6256-0419"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brooks Davis","raw_affiliation_strings":["SRI International, Menlo Park, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009859250","display_name":"Khilan Gudka","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Khilan Gudka","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026202020","display_name":"Nathaniel Wesley Filardo","orcid":"https://orcid.org/0009-0002-9698-1503"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nathaniel W. Filardo","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086006620","display_name":"A. Theodore Markettos","orcid":"https://orcid.org/0009-0008-4411-2318"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A. Theodore Markettos","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108547932","display_name":"Michael Roe","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Roe","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015261693","display_name":"Peter G. Neumann","orcid":"https://orcid.org/0009-0008-1197-8000"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter G. Neumann","raw_affiliation_strings":["SRI International, Menlo Park, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013006563","display_name":"Robert N. M. Watson","orcid":"https://orcid.org/0000-0001-8139-8783"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Robert N. M. Watson","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041439799","display_name":"Simon W. Moore","orcid":"https://orcid.org/0000-0002-2806-495X"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simon W. Moore","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, England"],"raw_orcid":"https://orcid.org/0000-0002-2806-495X","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, England","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":14,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.4706,"has_fulltext":false,"cited_by_count":56,"citation_normalized_percentile":{"value":0.94111566,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"68","issue":"10","first_page":"1455","last_page":"1469"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8476502895355225},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.6931612491607666},{"id":"https://openalex.org/keywords/reduced-instruction-set-computing","display_name":"Reduced instruction set computing","score":0.45214635133743286},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.43949925899505615},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.42988088726997375},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42024195194244385},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40623247623443604},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.36370494961738586},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33187341690063477},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.33152541518211365},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31986141204833984}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8476502895355225},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6931612491607666},{"id":"https://openalex.org/C126298526","wikidata":"https://www.wikidata.org/wiki/Q189376","display_name":"Reduced instruction set computing","level":3,"score":0.45214635133743286},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.43949925899505615},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.42988088726997375},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42024195194244385},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40623247623443604},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.36370494961738586},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33187341690063477},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.33152541518211365},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31986141204833984}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tc.2019.2914037","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2019.2914037","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},{"id":"pmh:doi:10.17863/cam.39556","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/292406","is_oa":false,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/292406","pdf_url":null,"source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.17863/cam.39556","is_oa":true,"landing_page_url":"https://doi.org/10.17863/cam.39556","pdf_url":null,"source":{"id":"https://openalex.org/S7407050737","display_name":"Apollo","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.17863/cam.39556","is_oa":true,"landing_page_url":"https://doi.org/10.17863/cam.39556","pdf_url":null,"source":{"id":"https://openalex.org/S7407050737","display_name":"Apollo","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1734478086","display_name":null,"funder_award_id":"EP/S030867/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1845087951","display_name":null,"funder_award_id":"HR0011-18-C-0016","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G2161612783","display_name":null,"funder_award_id":"FA8750-10-C-0237","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G4220276899","display_name":null,"funder_award_id":"FA8650-18-C-7809","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G7401479227","display_name":null,"funder_award_id":"EP/K008528/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8479930842","display_name":null,"funder_award_id":"EP/R012458/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W183323481","https://openalex.org/W1502515215","https://openalex.org/W1568755417","https://openalex.org/W1573624842","https://openalex.org/W1686420892","https://openalex.org/W1825457006","https://openalex.org/W1904738922","https://openalex.org/W1987898580","https://openalex.org/W2004211666","https://openalex.org/W2033320580","https://openalex.org/W2100530163","https://openalex.org/W2107657487","https://openalex.org/W2113350481","https://openalex.org/W2128637495","https://openalex.org/W2134138865","https://openalex.org/W2137622193","https://openalex.org/W2140611647","https://openalex.org/W2141365240","https://openalex.org/W2153185479","https://openalex.org/W2154554979","https://openalex.org/W2155851497","https://openalex.org/W2159059513","https://openalex.org/W2162568437","https://openalex.org/W2162598060","https://openalex.org/W2171482413","https://openalex.org/W2171938395","https://openalex.org/W2241531943","https://openalex.org/W2294452557","https://openalex.org/W2499491173","https://openalex.org/W2560045411","https://openalex.org/W3004777785","https://openalex.org/W4213361380","https://openalex.org/W4231928253","https://openalex.org/W4232751114","https://openalex.org/W4235021791","https://openalex.org/W4243885711","https://openalex.org/W4245736681","https://openalex.org/W4246166885","https://openalex.org/W4249212548","https://openalex.org/W4285719527","https://openalex.org/W6607434158","https://openalex.org/W6611405367","https://openalex.org/W6638583435","https://openalex.org/W6685072004","https://openalex.org/W6724162494","https://openalex.org/W6730541471"],"related_works":["https://openalex.org/W2538644970","https://openalex.org/W2128502296","https://openalex.org/W4376881175","https://openalex.org/W4310584696","https://openalex.org/W4237840813","https://openalex.org/W4385730960","https://openalex.org/W2496196108","https://openalex.org/W2993622674","https://openalex.org/W1833044483","https://openalex.org/W4382053335"],"abstract_inverted_index":{"We":[0,107,128],"present":[1,108,165],"CHERI":[2,79,136],"Concentrate,":[3],"a":[4,23,102,166,179,195],"new":[5],"fat-pointer":[6],"compression":[7,50],"scheme":[8],"applied":[9],"to":[10,26,65,75,100,120,142,181],"CHERI,":[11],"the":[12,66,83,109,122,125,134,171,213],"most":[13],"developed":[14],"capability-pointer":[15],"system":[16,198],"at":[17],"present.":[18],"Capability":[19],"fat":[20],"pointers":[21],"are":[22],"primary":[24],"candidate":[25],"enforce":[27],"fine-grained":[28],"and":[29,70,91,130,151,173,202,209],"non-bypassable":[30],"security":[31],"properties":[32],"in":[33,185],"future":[34],"computer":[35],"systems,":[36],"although":[37],"increased":[38,210],"pointer":[39,149],"size":[40],"can":[41],"severely":[42],"affect":[43],"performance.":[44],"Thus,":[45],"several":[46],"proposals":[47],"for":[48,188],"capability":[49,115],"have":[51],"been":[52],"suggested":[53],"elsewhere":[54],"that":[55],"do":[56],"not":[57],"support":[58],"legacy":[59,104],"instruction":[60],"sets,":[61],"ignore":[62],"features":[63],"critical":[64],"existing":[67],"software":[68,105],"base,":[69],"also":[71],"introduce":[72],"design":[73,123,139],"inefficiencies":[74],"RISC-style":[76],"processor":[77,138],"pipelines.":[78],"Concentrate":[80],"improves":[81],"on":[82,140],"state-of-the-art":[84],"region-encoding":[85],"efficiency,":[86,145],"solves":[87],"important":[88],"pipeline":[89],"problems,":[90],"eases":[92],"semantic":[93],"restrictions":[94],"of":[95,113,124,148,159,170],"compressed":[96,200],"encoding,":[97],"allowing":[98],"it":[99],"protect":[101],"full":[103],"stack.":[106],"first":[110],"quantitative":[111],"analysis":[112],"compiled":[114,190],"code,":[116],"which":[117],"we":[118,164,177],"use":[119],"guide":[121],"encoding":[126,144],"format.":[127,216],"analyze":[129],"extend":[131],"logic":[132],"from":[133],"open-source":[135],"prototype":[137],"FPGA":[141],"demonstrate":[143],"minimize":[146],"delay":[147],"arithmetic,":[150],"eliminate":[152],"additional":[153],"load-to-use":[154],"delay.":[155],"To":[156],"verify":[157],"correctness":[158],"our":[160],"proposed":[161],"high-performance":[162],"logic,":[163],"HOL4":[167],"machine-checked":[168],"proof":[169],"decode":[172],"pointer-modify":[174],"operations.":[175],"Finally,":[176],"measure":[178],"50":[180],"75":[182],"percent":[183],"reduction":[184],"L2":[186],"misses":[187],"many":[189],"C-language":[191],"benchmarks":[192],"running":[193],"under":[194],"commodity":[196],"operating":[197],"using":[199],"128-bit":[201],"64-bit":[203],"formats,":[204],"demonstrating":[205],"both":[206],"compatibility":[207],"with":[208],"performance":[211],"over":[212],"uncompressed,":[214],"256-bit":[215]},"counts_by_year":[{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":17},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}