Pith. sign in

Paper Citation Record · LEDGER

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

As of 4 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-03T06:30:56.289259+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 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-10T12:15:01.137692Z

Reference resolution

62 of 62 outbound references displayed

  • verified exact3
  • verified fuzzy0
  • unresolved54
  • parse uncertain0
  • malformed identifier5
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

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.

source=pdf_text observed=2026-08-03T03:07:27.790639Z digest=sha256:971b1e20e1d164ef2d76e0a7037d253b37b0a4bac7b51850a4d9f19cb2346044

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.

source=pdf_text observed=2026-08-03T03:07:27.794430Z digest=sha256:f6d32f9b022bd512a860145937dd54895565225c6515fb30674499dd253fd820

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.

source=pdf_text observed=2026-08-03T03:07:27.797818Z digest=sha256:990f60790bdb75174f1f162eab0f28126ecb9c39e48c6a4023696663a63c3c82

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.

source=pdf_text observed=2026-08-03T03:07:27.800970Z digest=sha256:f2e6b1277e2bbd1f1135c05e55ea32f76970a816a7889d2e133199934dcc5d96

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.

source=pdf_text observed=2026-08-03T03:07:27.803870Z digest=sha256:5881138acf510344db7bc2dae613fe03668c57a85ff86e3653a895e6fb9c9430

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.

source=pdf_text observed=2026-08-03T03:07:27.809696Z digest=sha256:c3da13b3425ad817016a44b1b047fd1c8da6e5d33fe4e8930d2d1d0323f34f5a

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.

source=pdf_text observed=2026-08-03T03:07:27.812448Z digest=sha256:807269217b6edcac557e25b411ea3a8e5fe497c3b430e12dbe7b97fc70314381

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.

source=pdf_text observed=2026-08-03T03:07:27.815132Z digest=sha256:26d6241a4d81bd3714063d0630dcf4e4158cb5edb4b1970912209f776888998c

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.

source=pdf_text observed=2026-08-03T03:07:27.817803Z digest=sha256:b1bafffccf1214ad4ad158848ce839d314dfffb3e3ef97504f7f36e14975c456

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.

source=pdf_text observed=2026-08-03T03:07:27.820591Z digest=sha256:56c60b98af2d9d96261ed9e8a12b9a017ed8d502f10dcb0ee2a28b360da9ddde

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.

source=pdf_text observed=2026-08-03T03:07:27.823149Z digest=sha256:2feae670e140d5b8b09d58fb012dab8a18644041d5bdd7225bbb06766922b8d1

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.

source=pdf_text observed=2026-08-03T03:07:27.825741Z digest=sha256:caa3726975f823bc962d2fd4547922f262d98d460f8bd92427eb97b43dec3ed4

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-03T06:30:56.289259+00:00.

source=pdf_text observed=2026-08-03T03:07:27.828159Z digest=sha256:ceb00f11fc487ff81be7dc5f66bae6a1ca28671a8a01a222ecaa5b05326ae187

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.

source=pdf_text observed=2026-08-03T03:07:27.830670Z digest=sha256:e59ec1fec4e1b1d9d4f0951f4df76bd88a5f496a8088233ca1904fbf354ab447

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.

source=pdf_text observed=2026-08-03T03:07:27.833327Z digest=sha256:9e5d65052894f4298ee17f9cb3bac94bb8d304049316c233d11c84a1893b7383

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.

source=pdf_text observed=2026-08-03T03:07:27.835591Z digest=sha256:45cf326a3d5a4e35d294f6d996df19087caf245bc50044e156f5355c3a18d5fe

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.

source=pdf_text observed=2026-08-03T03:07:27.840488Z digest=sha256:b5b86681c0b3f93ee75e727f084f284b99111a9ee558e3b51abebc4b45aa82d6

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.

source=pdf_text observed=2026-08-03T03:07:27.842950Z digest=sha256:5826fef546aeaf09e7ca9f20069fcc0ca39e9ca34a3d41256332865c74458850

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.

source=pdf_text observed=2026-08-03T03:07:27.845332Z digest=sha256:c8139674c6f818bb7ce1f55d88b44dd621b2063881c9f26cf47a7e9fb90b0795

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.

source=pdf_text observed=2026-08-03T03:07:27.847717Z digest=sha256:a89629fa10ff791c4093c7ec78ba50a42eff4612f620b2f7c74b203410ae3505

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.

source=pdf_text observed=2026-08-03T03:07:27.850073Z digest=sha256:437392ace13a7ae35ea11d0f38e783876c774966330aae9fb3571dff8e9efc9c

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.

source=pdf_text observed=2026-08-03T03:07:27.852571Z digest=sha256:61dec6c343659767ccebc21b3065b5a4e05104c59879295dd62e23546dacded5

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.

source=pdf_text observed=2026-08-03T03:07:27.855075Z digest=sha256:5d75ab6a1ab5b9907e5724953cbe22b3f281a3efe455503de5be96685de5d605

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.

source=pdf_text observed=2026-08-03T03:07:27.857690Z digest=sha256:09aa76b47b22d345db44fb0d2541d82d37e758ccfa0077ef5842edb7776829f4

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.

source=pdf_text observed=2026-08-03T03:07:27.860412Z digest=sha256:336b3f06ac1d4f6adcd6aab12070ebde80d9d4008d659f737cee6ed40947d06d

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.

source=pdf_text observed=2026-08-03T03:07:27.862898Z digest=sha256:8b1a591ae35c3c814e2b576c3239e4d59d5e2b5ce32c236c0f865a15e26dd2d4

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.

source=pdf_text observed=2026-08-03T03:07:27.865437Z digest=sha256:87880bb2804900099856c4b9aa20826ce07b234b5cc00882caa5ecd2a732c6a7

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.

source=pdf_text observed=2026-08-03T03:07:27.867845Z digest=sha256:996f47cc084744a5ff45536be6235e077f8d44467304288f3626b75c46fe330e

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.

source=pdf_text observed=2026-08-03T03:07:27.870211Z digest=sha256:9bdb51b03fb5e2dddf8381d4b72c4a79f06b3c39a07307288fe5c3f18f4fbc95

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.

source=pdf_text observed=2026-08-03T03:07:27.872537Z digest=sha256:9c4d5995d9d1dd34e685ebda4ec9405fb6ebeccb85a988faa6b0f241f6f0d902

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.

source=pdf_text observed=2026-08-03T03:07:27.874752Z digest=sha256:bbfb69201661f85f2f6540c4332eb0b4f1b30b6425b6c38f17b7bcdf33f2058b

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.

source=pdf_text observed=2026-08-03T03:07:27.877132Z digest=sha256:68e9276f3c1dcf17673b793ddd7bfd5f19e2c3d0d457f44d7c94bd21beb33d41

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.

source=pdf_text observed=2026-08-03T03:07:27.879941Z digest=sha256:1210fd3f3300ae99cf3cdfa018866503ee60878ada5703c28d12ad9514c4771e

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.

source=pdf_text observed=2026-08-03T03:07:27.885090Z digest=sha256:7c512f56755c8d235c0eb9645654a09769fd635849488bbe4e2fae7ad6015cbe

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.

source=pdf_text observed=2026-08-03T03:07:27.887470Z digest=sha256:219c41fe43ec09c80560a3648ade33bd3d4e877e4e710f17d2b13d997f4b9df7

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.

source=pdf_text observed=2026-08-03T03:07:27.889941Z digest=sha256:e54579011a7ad6e33c36939aa5871cbac7bd6d46cdf780cd5b13452c9e849462

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.

source=pdf_text observed=2026-08-03T03:07:27.892305Z digest=sha256:c74371ea096ab6b6d502f61d9d8540906d909b60061ab0c1c3edfeae06506d48

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.

source=pdf_text observed=2026-08-03T03:07:27.894772Z digest=sha256:cae59125fe3a458a38f63029e3f424b78795d5a90ae229f709f6f1585d0b516b

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.

source=pdf_text observed=2026-08-03T03:07:27.897375Z digest=sha256:2ebd06dbe4fa7a5ba59777dd056b968b670ae12dccd6a57bc770b652c3ffd7e0

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-03T06:30:56.289259+00:00.

source=pdf_text observed=2026-08-03T03:07:27.899935Z digest=sha256:2a36034b7b80009b55163f97bcc6a0b742dcc8480d2984647efc618f9bd891c7

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.

source=pdf_text observed=2026-08-03T03:07:27.902402Z digest=sha256:dcbcc5abc1ebfb6b30adba75943928d3d0a2f13a2bb7e204246598e97940a0f7

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.

source=pdf_text observed=2026-08-03T03:07:27.904854Z digest=sha256:1147b93da8a4043d72a4e507e5519211a2fc3323b3d5251baedf26c643bc9a60

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.

source=pdf_text observed=2026-08-03T03:07:27.907381Z digest=sha256:a4cc2f6328a26127943f5060369d8a7918094cc7cf11dec4e399e4166123558d

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-03T06:30:56.289259+00:00.

source=pdf_text observed=2026-08-03T03:07:27.909929Z digest=sha256:42c2a627ea285f01d41973d8106be23b692e61332b2c40939eb354135cb90578

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.

source=pdf_text observed=2026-08-03T03:07:27.912584Z digest=sha256:7dbee899046c0c07a32ffb67ab34893d3fd363f1a0ff97cbc958d43cea2d7cd8

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.

source=pdf_text observed=2026-08-03T03:07:27.914926Z digest=sha256:cba552ab8398f2036768022dbf35c9ef7101898c933ea8bdeb05751bf4cddb2c

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.

source=pdf_text observed=2026-08-03T03:07:27.917327Z digest=sha256:7375435de293b0b2df134a97522c1d0b5e9060f7f581ecdab151069c1fcb384c

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.

source=pdf_text observed=2026-08-03T03:07:27.920016Z digest=sha256:15f3f390d6136cf5fa02ebaa969859a99135dab119754f1c779ce5cbf6bab43f

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.

source=pdf_text observed=2026-08-03T03:07:27.922451Z digest=sha256:df738afb909332ea6646033ad73e8e8077de166718bd8dbebecbce2e4ca46218

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.

source=pdf_text observed=2026-08-03T03:07:27.924984Z digest=sha256:93282c752294315b7290a0511e8b6e7949a39e06dacf53c17ac1525a785a3d67

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.

source=pdf_text observed=2026-08-03T03:07:27.927245Z digest=sha256:6256338fc953250140fe3416a09828a804165aa19f7e89b532cdc6b7897e15b3

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.

source=pdf_text observed=2026-08-03T03:07:27.929574Z digest=sha256:0d729e3b27fa5501563e8407f410a078dd6fd15d0a46a2f123a41887d5eb6b11

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.

source=pdf_text observed=2026-08-03T03:07:27.932143Z digest=sha256:84b7a5b3756531b5081876ccca8dcd0d7efbe8a960179cd1a5435162640fd1fc

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.

source=pdf_text observed=2026-08-03T03:07:27.934414Z digest=sha256:9337fb0de9a703bdaf9a35ce09c0555d6a28f32e39a23fdbb018a829b792455e

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.

source=pdf_text observed=2026-08-03T03:07:27.937004Z digest=sha256:5b01c4a71a9e7d87e2b83629345959fac0437ec3aa5f2fcb1502563c4a00e564

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.

source=pdf_text observed=2026-08-03T03:07:27.939817Z digest=sha256:962a21f8b16e87a6a53e98ccd901c04b5efb80f272bdfe55746461c7841d9f5f

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.

source=pdf_text observed=2026-08-03T03:07:27.942414Z digest=sha256:2cd61f0187e2f219dd98381d1b5a352a5d8f007dc7e9b81e6198b48376ba3184

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.

source=pdf_text observed=2026-08-03T03:07:27.944923Z digest=sha256:c95d89c006635e213661f1d86951728403664cc79a4da9d028483c952e3e2599

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.

source=pdf_text observed=2026-08-03T03:07:27.947412Z digest=sha256:c3b62f60f651b5e0b15aaf972f44c4d4e80cce2ac7106744505888107d70bc7a

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.

source=pdf_text observed=2026-08-03T03:07:27.950106Z digest=sha256:91355c1890d2b55f6e982e94fe1d5ceb0e6ddff782c314b1f547c10d832d0f37

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.

source=pdf_text observed=2026-08-03T03:07:27.952538Z digest=sha256:753b9da49063f92d8ed2926ee6cb8964720d12f6fac2ca4e68cf91d89593a268

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.

source=pdf_text observed=2026-08-03T03:07:27.954840Z digest=sha256:a042bea61f9f1f2fcc869aa9c164458b0687d6d1e33c5d1af8d457ad06f33594

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-03T06:30:56.289259+00:00.

source=pdf_text observed=2026-05-14T02:08:20.990301Z digest=sha256:f67142f29bf0761bc6c4d3bf088d0eda32203047e86fa844111e73e44a704ed9