Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T19:17:33.706732Z
Paper Citation Record · LEDGER
Global Microprocessor Correctness in the Presence of Transient Execution
As of 20 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2506.17154.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
44 of 44 outbound references displayed
- verified exact6
- verified fuzzy10
- unresolved25
- parse uncertain0
- malformed identifier2
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 8aed5e20-3d19-425f-a99a-e40308906eb8 · outbound
This paper cites Hardware Prefetcher on Intel Processors.
Global Microprocessor Correctness in the Presence of Transient Execution Hardware Prefetcher on Intel Processors
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.728808Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 05a699b7-3e4a-4715-8f0a-c226a5b499bc · outbound
This paper cites CVE-2018-3639: Speculative Store Bypass.
Global Microprocessor Correctness in the Presence of Transient Execution CVE-2018-3639: Speculative Store Bypass
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.719016Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9dfb4b58-15bd-4f0a-a031-b6bb682c2a41 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.552867Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0f1df1ac-299c-48c4-9978-11e5ba99d731 · outbound
This paper cites Wenisch, Yuval Yarom, and Raoul Strackx.
Global Microprocessor Correctness in the Presence of Transient Execution Wenisch, Yuval Yarom, and Raoul Strackx
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.710742Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1532a77a-0007-42d1-a3a9-72f823926e9c · outbound
This paper cites Finocchiaro, and Danilo Ven- draminetto.
Global Microprocessor Correctness in the Presence of Transient Execution Finocchiaro, and Danilo Ven- draminetto
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-15T19:17:34.618458Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a2c26e36-ccf3-4864-91ab-5b95f6020962 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.585047Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 934be2bd-074d-4b19-8d42-1b604ca031ad · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.567797Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b76ac9ae-ef90-4673-a0d4-212fbc871fe0 · outbound
This paper cites Dillinger, Panagiotis Manolios, and Daron Vroon.
Global Microprocessor Correctness in the Presence of Transient Execution Dillinger, Panagiotis Manolios, and Daron Vroon
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.558668Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 95f9e878-c1c3-4c26-9152-ff8dea096716 · outbound
This paper cites 2016.Interactive Non-theorem Disproving.
Global Microprocessor Correctness in the Presence of Transient Execution 2016.Interactive Non-theorem Disproving
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.588995Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8a5c96b1-37d3-4af4-b052-d07fa3063ab1 · outbound
This paper cites Dillinger, Matt Kaufmann, and Panagiotis Manolios.
Global Microprocessor Correctness in the Presence of Transient Execution Dillinger, Matt Kaufmann, and Panagiotis Manolios
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.593017Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 037696d6-113d-497b-a545-fa8faae5136e · outbound
This paper cites Dillinger, and Panagiotis Manolios.
Global Microprocessor Correctness in the Presence of Transient Execution Dillinger, and Panagiotis Manolios
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.597020Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1fe4c10e-7970-4e78-82aa-d9465320c7d1 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-15T19:17:33.795770Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 46407268-8cca-4e9b-aaad-7d88bd387379 · outbound
This paper cites The ACL2 Sedan.
Global Microprocessor Correctness in the Presence of Transient Execution The ACL2 Sedan
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.603485Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27b0c834-c36f-415a-af7d-0df45cb250cb · outbound
This paper cites 2022.Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware.
Global Microprocessor Correctness in the Presence of Transient Execution 2022.Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-15T19:17:33.779468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 01eb92b7-85b1-4347-b0bd-30738eb07202 · outbound
This paper cites Barrett, Subhasish Mitra, and Wolfgang Kunz.
Global Microprocessor Correctness in the Presence of Transient Execution Barrett, Subhasish Mitra, and Wolfgang Kunz
Reference 15
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-15T19:17:34.327754Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c00a857a-8682-4b0a-a2ea-62613e93d305 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 16
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-15T19:17:34.548078Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a982d5f7-c915-4b01-8b04-12e1451f1d56 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.618256Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cddb3b38-6e46-48cf-b86e-2710e4e2a0b2 · outbound
This paper cites 2011.Computer architecture: a quanti- tative approach.
Global Microprocessor Correctness in the Presence of Transient Execution 2011.Computer architecture: a quanti- tative approach
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.536738Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3f20cb36-1451-4ba3-9a2a-54ad769a4728 · outbound
This paper cites 2016.Intel ® 64 and IA-32 Architectures Optimization Reference Manual.
Global Microprocessor Correctness in the Presence of Transient Execution 2016.Intel ® 64 and IA-32 Architectures Optimization Reference Manual
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.526718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f66dd0bc-c380-4260-ac28-1fb674e5b1eb · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.516273Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ff5182ef-2993-4583-a239-5977defd38f7 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.488825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7e75b3f9-c50e-4ca9-a6f5-964937a92087 · outbound
This paper cites 2000.Computer- Aided Reasoning: Case Studies.
Global Microprocessor Correctness in the Presence of Transient Execution 2000.Computer- Aided Reasoning: Case Studies
Reference 23
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T19:17:33.638727Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5717f35-96c9-48bc-8616-037ccbfe3f3e · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.417155Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 75adc74b-f65a-4f1c-b833-6e762179d13a · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.645092Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec441f02-3905-4fa9-9abc-766538c4f0e3 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.648282Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 04c42b32-6ae8-4f36-ab1f-4f092ba7a992 · outbound
This paper cites Bypassing memory safety mechanisms through speculative control flow hijacks.
Global Microprocessor Correctness in the Presence of Transient Execution Bypassing memory safety mechanisms through speculative control flow hijacks
Reference 27
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T19:17:34.190131Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 51d9574a-2961-49f5-a6f8-e67ab2736eec · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 28
- Resolution
- verified exact
- doi, observed 2026-08-15T19:17:33.762682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 94a72313-507d-4e25-96b5-dad361d54156 · outbound
This paper cites Srinivasan, and Kushal K.
Global Microprocessor Correctness in the Presence of Transient Execution Srinivasan, and Kushal K
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.657701Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 056b5758-1beb-4931-9874-f2d33f898f34 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.396701Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f3c174d7-9854-4b3b-bd54-af3038e892ec · outbound
This paper cites Patterson and John L.
Global Microprocessor Correctness in the Presence of Transient Execution Patterson and John L
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.386198Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 278bd93e-4f90-4fe7-880e-71ae6c3467db · outbound
This paper cites This is How You Lose the Transient Execution War.
Global Microprocessor Correctness in the Presence of Transient Execution This is How You Lose the Transient Execution War
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.667720Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f742d4c2-87d1-421e-b9cb-b28d2bd034fd · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.374923Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c4f84197-cb81-493d-9c95-a9e0f0740ec1 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.674856Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f9fd229b-e262-427e-a1e6-6163ce4879a3 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.360132Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 10d51281-8af4-4661-ad5b-f5b263a1ee1e · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.351124Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fc29e6aa-ec49-4052-9e1e-8571e1e3a480 · outbound
This paper cites Walter, Konstantinos Athanasiou, and Panagiotis Manolios.
Global Microprocessor Correctness in the Presence of Transient Execution Walter, Konstantinos Athanasiou, and Panagiotis Manolios
Reference 37
- Resolution
- verified exact
- doi, observed 2026-08-15T19:17:33.740198Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 048ac331-6e85-4696-b0d7-1bd2251b3378 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.698641Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b24ba531-a1bd-45eb-a579-99b692c31d19 · outbound
This paper cites jump if greater than.
Global Microprocessor Correctness in the Presence of Transient Execution jump if greater than
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.706732Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c97e6acf-56e5-44ce-9ea6-a5ba4aa10ba8 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 1008
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:17:34.668678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d4e6422c-7f46-4a49-bf3d-dff5001fd976 · outbound
This paper cites InTools and Algorithms for the Construction and Analysis of Systems (TACAS).
Global Microprocessor Correctness in the Presence of Transient Execution InTools and Algorithms for the Construction and Analysis of Systems (TACAS)
Reference 2011
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.585467Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ff5397f-3783-4501-8dc7-61ba1d22b5af · outbound
This paper cites In27th USENIX Security Symposium, USENIX Security 2018, William Enck and Adrienne Porter Felt (Eds.).
Global Microprocessor Correctness in the Presence of Transient Execution In27th USENIX Security Symposium, USENIX Security 2018, William Enck and Adrienne Porter Felt (Eds.)
Reference 2018
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.702425Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 41b30ae0-edde-46eb-9d53-38285138023e · outbound
This paper cites InProceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security.
Global Microprocessor Correctness in the Presence of Transient Execution InProceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
Reference 2019
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.576254Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 76d2eba0-283c-4dee-bb37-5ce3ff10a142 · outbound
This paper cites In41th IEEE Symposium on Security and Privacy (S&P’20).
Global Microprocessor Correctness in the Presence of Transient Execution In41th IEEE Symposium on Security and Privacy (S&P’20)
Reference 2020
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:17:34.340228Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f8d6179d-baa4-4394-a14d-3f5969205c77 · outbound
This paper cites an unresolved cited work.
Global Microprocessor Correctness in the Presence of Transient Execution Unresolved cited work
Reference 2025
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:17:33.678182Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.