{"id":"https://openalex.org/W7161117411","doi":"https://doi.org/10.48550/arxiv.2605.13210","title":"PoisonCap: Efficient Hierarchical Temporal Safety for CHERI","display_name":"PoisonCap: Efficient Hierarchical Temporal Safety for CHERI","publication_year":2026,"publication_date":"2026-05-13","ids":{"openalex":"https://openalex.org/W7161117411","doi":"https://doi.org/10.48550/arxiv.2605.13210"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.13210","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.13210","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.13210","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136100074","display_name":"Yuecheng Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Yuecheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136101822","display_name":"Jonathan Woodruff","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Woodruff, Jonathan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033192720","display_name":"Alfredo Mazzinghi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mazzinghi, Alfredo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021838848","display_name":"Peter Rugg","orcid":"https://orcid.org/0009-0000-2976-0474"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rugg, Peter","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136153358","display_name":"Alexandre Joannou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joannou, Alexandre","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042398556","display_name":"S Stark","orcid":"https://orcid.org/0000-0002-7268-9471"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stark, Samuel W.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013006563","display_name":"Robert N. M. Watson","orcid":"https://orcid.org/0000-0001-8139-8783"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Watson, Robert N. M.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5041439799","display_name":"Simon W. Moore","orcid":"https://orcid.org/0000-0002-2806-495X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Moore, Simon W.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.5997999906539917,"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.5997999906539917,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.19449999928474426,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.06109999865293503,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.5493999719619751},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5152000188827515},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.49889999628067017},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.49000000953674316},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.45159998536109924},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.40560001134872437},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.3862000107765198},{"id":"https://openalex.org/keywords/memory-protection","display_name":"Memory protection","score":0.33550000190734863}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7387999892234802},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.5493999719619751},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5152000188827515},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.49889999628067017},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.49000000953674316},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.45159998536109924},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.40560001134872437},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40400001406669617},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.3862000107765198},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.353300005197525},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.33550000190734863},{"id":"https://openalex.org/C162262903","wikidata":"https://www.wikidata.org/wiki/Q343527","display_name":"Allocator","level":2,"score":0.33390000462532043},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.30970001220703125},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.2953999936580658},{"id":"https://openalex.org/C2780138299","wikidata":"https://www.wikidata.org/wiki/Q3404265","display_name":"Privilege (computing)","level":2,"score":0.29280000925064087},{"id":"https://openalex.org/C68043766","wikidata":"https://www.wikidata.org/wiki/Q267416","display_name":"Static random-access memory","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C2779119184","wikidata":"https://www.wikidata.org/wiki/Q294350","display_name":"ALARM","level":2,"score":0.2815000116825104},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2750000059604645},{"id":"https://openalex.org/C86532276","wikidata":"https://www.wikidata.org/wiki/Q1184065","display_name":"Delegation","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2639000117778778},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C82687282","wikidata":"https://www.wikidata.org/wiki/Q66221","display_name":"Auxiliary memory","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.13210","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.13210","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.13210","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.13210","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4626232087612152}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"present":[4],"PoisonCap:":[5],"scalable":[6],"temporal":[7,50,59,179],"safety":[8,15,21,45,60,64,129,180],"with":[9],"strict":[10,91],"use-after-free":[11,68,92],"protection":[12],"and":[13,31,34,46,70,93,96,144],"initialisation":[14,76,94,158],"for":[16,26,49,105],"CHERI":[17,35,58,178],"systems.":[18],"Efficient":[19],"memory":[20,51,100,117,148],"is":[22,36,71],"an":[23],"increasing":[24],"priority":[25],"programming":[27],"languages,":[28],"operating":[29],"systems,":[30],"hardware":[32],"designs,":[33],"a":[37,47,81,161,170],"leading":[38],"hardware/software":[39],"system":[40],"that":[41,80,173],"provides":[42,62],"native":[43],"spatial":[44],"foundation":[48],"safety.":[52,77,159],"Cornucopia":[53,141,171],"Reloaded,":[54],"the":[55,103,140],"current":[56],"state-of-the-art":[57],"solution,":[61],"use-after-reallocation":[63],"instead":[65],"of":[66,109,116],"stronger":[67],"safety,":[69,95],"not":[72],"able":[73],"to":[74,89,98,102,123,127,156,169],"enforce":[75,90,128,157],"We":[78,112],"show":[79],"new":[82],"'poison'":[83],"capability":[84,121],"format":[85],"can":[86,138],"be":[87],"used":[88],"also":[97,145],"communicate":[99],"state":[101],"microarchitecture":[104],"efficient":[106],"cache":[107],"management":[108],"quarantined":[110],"memory.":[111],"enable":[113],"elegant":[114],"delegation":[115],"poisoning":[118],"privilege":[119],"using":[120],"bounds":[122],"allow":[124],"nested":[125],"allocators":[126],"on":[130,149,154],"their":[131],"consumers":[132],"without":[133,181],"disturbing":[134],"upstream":[135],"allocators.":[136],"PoisonCap":[137],"replace":[139],"shadow":[142],"bitmap,":[143],"automatically":[146],"zeros":[147,174],"reallocation,":[150,176],"or":[151],"optionally":[152],"traps":[153],"read-before-write":[155],"As":[160],"result,":[162],"it":[163],"incurs":[164],"no":[165],"fundamental":[166],"overhead":[167],"relative":[168],"baseline":[172],"before":[175],"strengthening":[177],"performance":[182],"overhead.":[183]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-15T00:00:00"}