Paper Citation Record · LEDGER

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities

As of 23 August 2026, this Paper Citation Record lists 62 of 62 outbound references and 1 inbound Pith citation observation for arXiv:2602.09131.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2602.09131 v2

Coverage vector

measured 62 of 62 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T03:07:27.954840Z

measured 63 of 63 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-14T02:08:20.990301Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

62 of 62 outbound references displayed

verified exact3
verified fuzzy0
unresolved54
parse uncertain0
malformed identifier5
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 84b0fe53-61d6-4b3c-9058-87c822b99c18 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.790639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec4c27fa-04a8-47ed-87b9-0765ee469768 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.794430Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e3c033a-81bf-49f6-9718-bf126a02e752 · outbound

This paper cites John Hennessy and David Patterson 2017 ACM A.M.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities John Hennessy and David Patterson 2017 ACM A.M

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.797818Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff068402-0bda-4474-b996-7bb868892bc9 · outbound

This paper cites CTSRD-CHERI/Postgres.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities CTSRD-CHERI/Postgres

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.800970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2578b48-5fdf-414f-946d-13d8de6d6d35 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.803870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9df93cf-51dd-4ea9-af71-224a5c2dde91 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.809696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba384772-cc92-496b-9466-00c4b1cc5836 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.812448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18031e21-908c-44d0-b619-e98a1ac17199 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.815132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b66296c9-cd7d-48ce-b099-a4b9d87f594c · outbound

This paper cites 2023.CHERIoT: Rethinking Security for Low-Cost Embedded Systems.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities 2023.CHERIoT: Rethinking Security for Low-Cost Embedded Systems

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.817803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98109308-87a3-4c21-b2da-802d9c413748 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.820591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa9cdab3-8541-48af-a787-d94599c6d46a · outbound

This paper cites Berger and Benjamin G.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Berger and Benjamin G

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.823149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1268a78-81bb-42c8-9c7e-58ef0615ae4d · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.825741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1398478c-9ee3-4d0f-8c34-3a7feaa6c213 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-08-03T03:09:17.941804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 28dd1ac1-a5a3-448c-803a-d26cb5855a3a · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.830670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7f9e035-2762-4059-95ba-369371e435a6 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.833327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73dc0fe8-0281-4122-90d4-9caf2b890ff7 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.835591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a9ab25a-4d87-4dc3-9ad1-464338b9f5d8 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.840488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8227099e-966b-4895-bfac-71c15be55ecd · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.842950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9981947-001a-4964-9be4-d264d375c8f1 · outbound

This paper cites Dennis and Earl C.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Dennis and Earl C

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.845332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 667d1366-e4d1-4960-a740-91adf29b97fb · outbound

This paper cites Duck and Roland H.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Duck and Roland H

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.847717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01b7bc97-367d-4cf3-beab-0b27c29ed21d · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.850073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66140161-5fee-4850-bcfb-878f6edf6ea8 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.852571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c69a1051-a692-4ba9-96d0-73d0950f3021 · outbound

This paper cites Clean Sweep.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Clean Sweep

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.855075Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e802474-8a19-4c8b-950a-f5f64cc50990 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.857690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca2480e7-c70e-430e-a1ab-1ba75004c879 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.860412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6551b4c9-35ed-4b30-9287-f349ba6e2af7 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-08-03T03:07:27.862898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6724091a-40ee-417e-8bd7-af7428833ed9 · outbound

This paper cites Fuchs, and others.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Fuchs, and others

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.865437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c581faf6-a6b7-418e-8481-12684eed5860 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.867845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca26c9ef-1489-4c87-ad99-f88f4478cc0f · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 31

Resolution: malformed identifier; no resolver link, observed 2026-08-03T03:07:27.870211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a5ad5b2-690b-437d-afdb-e1d796aaccc9 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.872537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a13b832-7954-4386-b330-bdb95991da17 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.874752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ce3bb60-3533-42fc-b4c6-8eef14486d36 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 34

Resolution: malformed identifier; no resolver link, observed 2026-08-03T03:07:27.877132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac1b30d3-254a-4045-b432-8e0d5b115c59 · outbound

This paper cites 2020.Security Analysis of CHERI ISA.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities 2020.Security Analysis of CHERI ISA

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.879941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96c557d7-e49f-43ad-b6c1-7aa567d03a83 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.885090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64834fd8-c72e-40f4-8e9c-c2373c9b32d8 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.887470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46253a8d-6464-4213-a00c-04cb919b1dd5 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.889941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a37ceb7f-3636-444e-bd88-158bfa972c81 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.892305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f55babab-fcd3-4191-8415-d877e4e523db · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.894772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a84e2220-ff40-4440-a385-52d31a7af359 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.897375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7611595-05ac-44a1-9963-a25a5c95e8ec · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 43

Resolution: verified exact; doi, observed 2026-08-03T03:09:17.809664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6ce4900b-eac2-4e8f-87bd-63931608563e · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.902402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fce98ca2-bc74-41d7-a4c9-47b2dbfbc9c8 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.904854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9f92435-62a7-4dfe-a80e-7f26d704cfa5 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.907381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89e5668e-fe10-4b99-91aa-0d4d9e67ab56 · outbound

This paper cites 2023.Efficient spatial and temporal safety for microcon- trollers and application-class processors.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities 2023.Efficient spatial and temporal safety for microcon- trollers and application-class processors

Reference 47

Resolution: verified exact; doi, observed 2026-08-03T03:09:17.621836Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 289c740e-ce7f-410c-9be3-41ccd923d483 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.912584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d67679a2-3ede-4292-8f16-4cca84dc4e49 · outbound

This paper cites 2017.Pointer Authentication on ARMv8.3: Design and Analysis of the New Software Security Instructions.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities 2017.Pointer Authentication on ARMv8.3: Design and Analysis of the New Software Security Instructions

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.914926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aea5999a-9c69-494a-b13b-c8a73eb1df2d · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.917327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 160d5382-92f7-4b12-8387-43dff14ae7ea · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.920016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4757c7f0-348c-4571-b09c-fa3b0fdce82d · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.922451Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d52d5150-9834-4203-aafe-7fc795629b83 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.924984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e7ecb01-35c9-436a-b79a-939f31665b01 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.927245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9077624-35ef-43e7-85be-178b31df8705 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.929574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3a92a07-48c5-41ed-b918-85d8892d11ca · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.932143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1fded88-04c2-4f9f-a250-38c9a0c824f1 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 57

Resolution: malformed identifier; no resolver link, observed 2026-08-03T03:07:27.934414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fc9ed2c-b7a3-469d-9f9f-789c74d64037 · outbound

This paper cites 2019.An Introduction to CHERI.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities 2019.An Introduction to CHERI

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.937004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 390eddb9-1db7-40cd-8db3-a8795ad6ac1b · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.939817Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 864209b6-24a6-45a3-a48e-b1f01882a195 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.942414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0d9934f-1946-44b6-96ba-4970682d4115 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.944923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b1f390b-34e5-4dbb-b284-30422aa31eb5 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.947412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f359670c-21e9-4972-828e-c76000025dbf · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 63

Resolution: malformed identifier; no resolver link, observed 2026-08-03T03:07:27.950106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c9f0c81-34f0-4f46-8ece-aaf902814e48 · outbound

This paper cites an unresolved cited work.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.952538Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39f3dcb5-a96d-4329-8530-6054e951797b · outbound

This paper cites claimed”, len=50}. To save memory, multiple small runs can be combined into one bitmap representation of a fixed size (in our case 512 bits), for example: {state=“claimed.

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities claimed”, len=50}. To save memory, multiple small runs can be combined into one bitmap representation of a fixed size (in our case 512 bits), for example: {state=“claimed

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-03T03:07:27.954840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation dae65164-dd97-4045-8a2b-b199c30f5a1f · inbound

PoisonCap: Efficient Hierarchical Temporal Safety for CHERI cites this paper.

PoisonCap: Efficient Hierarchical Temporal Safety for CHERI PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-06-19T17:09:51.355310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.