Paper Citation Record · LEDGER

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution

As of 18 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:1909.00647.

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

pith.paper-citation-record.v1
1909.00647 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:53:25.518756Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact2
verified fuzzy5
unresolved21
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a6507ff8-31af-4fef-ad2a-528d16e8d1c6 · outbound

This paper cites Intel Xeon Gold 6126 Processor.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Intel Xeon Gold 6126 Processor

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:27.252081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3252fb43-39d8-465a-ada1-55163cb668b7 · outbound

This paper cites www.uclibc.org.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution www.uclibc.org

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:27.236887Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b07010fb-1d3d-4784-a666-363c788e58aa · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:27.221359Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 58f83606-b8bd-459e-97de-12a277462b45 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:27.206198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fea66aca-eaf4-4600-b1a3-96fce3f56aa4 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:27.162918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4f423602-245c-4303-8a0c-7f91a9700258 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:27.083238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5b579f42-d4b5-4f5f-ac38-3f995b719492 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.908324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7c74a90b-247b-4058-9e8d-faaf39164ad1 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.785415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 36813429-98ef-431a-8a38-072cccac4727 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.769391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cceedb31-fe96-4b2e-99cb-251e42757cad · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.751699Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7cfd7d5a-412e-465b-917c-73e7b30673b5 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 11

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T05:53:25.870977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e7626cba-db38-47e2-b8ec-521b4e698fcc · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.538656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 69d776e0-24f2-40f8-8587-25d3ea649241 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.490608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 436a4c8e-96cf-4bcb-a866-caf1c6f3b173 · outbound

This paper cites SPECTECTOR: Principled Detection of Speculative Information Flows.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution SPECTECTOR: Principled Detection of Speculative Information Flows

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-08-14T05:53:25.697341Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ddbc7f6c-9091-4c94-8d9f-ff25f138dbd2 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.475662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e840b08d-5b0e-42d8-aed7-6e80a39d0fc8 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.459853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8f848f8f-d528-4e7c-bb21-c4376ad5cd87 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.442639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 578c4ede-76a6-4a71-b388-567ea9020818 · outbound

This paper cites Spectre Attacks: Exploiting Speculative Execution.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Spectre Attacks: Exploiting Speculative Execution

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T05:53:25.143692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed3570c7-affb-4b33-83af-7901f2dbe3bc · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.331465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ad5b6e9c-6fa0-4ddf-a3ca-3dba90cb9cf8 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.254080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation da125f86-c78d-4119-9856-99902b053ea7 · outbound

This paper cites You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-14T05:53:25.164357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96a92870-0167-4df6-8198-1d445c537091 · outbound

This paper cites In 2015 IEEE Symposium on Security and Privacy.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution In 2015 IEEE Symposium on Security and Privacy

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:26.235879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9a920875-adb5-4138-b35e-d33c93c366cf · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.117509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e96d1ae2-a031-48a1-9ae1-c8c1c26a3a3a · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:26.210589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cf31517e-1947-4d19-8fc4-b1e59262b906 · outbound

This paper cites oo7: Low-overhead Defense against Spectre Attacks via Program Analysis.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution oo7: Low-overhead Defense against Spectre Attacks via Program Analysis

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-14T05:53:25.586994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9a57a8bc-3ee7-413e-a28e-f6f240b1aa6e · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:25.969583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2a85b0b8-2a28-4867-bdbd-08f4356e2844 · outbound

This paper cites an unresolved cited work.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:25.892561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7103d1fb-fca5-49c2-8187-445cebdec9bf · outbound

This paper cites Real-Time Systems 37, 2 (2007), 99–122.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Real-Time Systems 37, 2 (2007), 99–122

Reference 2007

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:25.912635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d0fa4121-ba65-49f5-9c52-a76afa62bf66 · outbound

This paper cites ACM Transactions on Information and System Security (TISSEC) 18, 1 (2015), 4.

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution ACM Transactions on Information and System Security (TISSEC) 18, 1 (2015), 4

Reference 2015

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:26.718471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.