Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T23:35:12.937586Z
Paper Citation Record · LEDGER
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors
As of 21 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 0 inbound Pith citation observations for arXiv:2509.06509.
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-21T06:32:19.484+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
57 of 57 outbound references displayed
- verified exact1
- verified fuzzy11
- unresolved45
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 56bdde51-7839-4065-a44b-0ed6a9f466f8 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.467643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8f0e82ad-0ffe-4cc9-a82b-2b7bce824aab · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.458787Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b24e0dca-aba9-4bbc-864f-2e11b5ceef74 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.449770Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d9153862-7b4a-410f-85fe-10b83a0157bc · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.441399Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 33af4093-857f-47c6-b652-247963b614cf · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.432805Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a88125d7-423a-4fc1-b27f-79e33d4240ef · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.424737Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 521b2c2d-222b-49a7-ad57-fad26c4c8c74 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.416658Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a72a3efb-77a6-467a-ab19-f3dcb785e6f9 · outbound
This paper cites d.].LeaSynimplementation.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors d.].LeaSynimplementation
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.407012Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a22a8f8f-6612-4575-af67-b48a2906d28d · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.398339Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 66662bac-014e-417f-b856-7ae6015a8d21 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.388856Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e72f6af3-b3ea-4875-8757-4e0739f00ced · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.379890Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 07cb402c-1277-4ac5-bf61-38ebe77cc278 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.371233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 2fbc4d0b-842b-4420-948c-68594dfee937 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.362410Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f4f9d6bc-d72d-4d4d-9465-7d6af54fb8da · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.354341Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7ecd1bda-0224-4cea-a381-35375a7cce9e · outbound
This paper cites D’Argenio, and Tamara Rezk.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors D’Argenio, and Tamara Rezk
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.345614Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ce177f1d-26bd-46cf-aa77-b66eea719294 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.336720Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e75b2655-3594-4c3c-8215-127c30bb0d18 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.327111Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e3e1a5fa-5a0d-48d9-90e6-0aac2208f6d5 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.317102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b43f45cd-bdd5-46c0-8063-0e52f98693cd · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.308109Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4aacecae-0142-4522-8723-636cdd48b3a8 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.298823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8d32de1c-7641-4356-b9ce-dcfbd99176b0 · outbound
This paper cites Fletcher.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Fletcher
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.289843Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 57a3d9e3-9612-4779-8bff-fa49fed385a0 · outbound
This paper cites Fletcher.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Fletcher
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.280767Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ddd55c7b-47ac-4bd4-87dc-2ef98b7bcb2c · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.271863Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation cfe7c2db-ccec-4db5-bc29-bc9bdeb145c0 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.262564Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation c3326bbd-f0c0-4a0b-aade-5e78fe462962 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.254177Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 61c776f2-bb59-407b-8289-35d172903709 · outbound
This paper cites Alameldeen, Marco Guarnieri, Mark Silberstein, Oleksii Oleksenko, and Gu- ruraj Saileshwar.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Alameldeen, Marco Guarnieri, Mark Silberstein, Oleksii Oleksenko, and Gu- ruraj Saileshwar
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.246257Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 95daf645-0742-40f8-8347-e7986b95e618 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.237609Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8c05bfaf-bc1b-4dbd-9eaa-1c6e244f1118 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.229343Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 6ea08ceb-0b46-4c2d-914c-80dc1f6f8b08 · outbound
This paper cites Morales, Jan Reineke, and Andrés Sánchez.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Morales, Jan Reineke, and Andrés Sánchez
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.220568Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 28fdf0ad-d7bb-44d2-a10b-70b7fb0bce58 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.211773Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5bae8dbf-f44e-4ea5-9d94-63e114a336c0 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.203605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 9eb59c7c-600f-4393-8dc8-ce658775cf2b · outbound
This paper cites Mulligan, Nikos Nikoleris, Gustavo Petri, and Caroline Trippel.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Mulligan, Nikos Nikoleris, Gustavo Petri, and Caroline Trippel
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.194962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 53b057d1-2f8d-46af-9a8c-7ae675fd18c8 · outbound
This paper cites Mulligan, Gustavo Petri, Christopher W.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Mulligan, Gustavo Petri, Christopher W
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.186091Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5f98c535-56f2-4f91-a0a7-5439525c8862 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.177539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5ea4be96-b5c8-4c91-90aa-a57469a2d9e1 · outbound
This paper cites Kocher, J.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Kocher, J
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.169195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation abbd8f88-fa8d-45b8-a6fe-358e52d795c0 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.161195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation afa86aa5-6670-4484-a963-d6a296380ae3 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.152325Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 85126d52-6f5d-48ad-ab1d-17df2075065f · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.144480Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4c1ffdbf-1ad4-4968-987c-9ae3205aa3ea · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.135725Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ff48acfc-1810-4e07-83bf-24ef575dce35 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.127453Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e2b9168e-eef5-4afe-b567-bc78adb0d961 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.119485Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7bc0d062-41a0-4d60-945f-7dc36a4097c7 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.111553Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 56a40d50-e11e-4f58-a246-5b92106810f6 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.102876Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8e56ceb7-db4b-4271-ad00-d4142fa99eae · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.094514Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 10dce400-8343-4aa6-bc4f-1f2017c24d71 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.085755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 191710b9-c950-4f86-8b5d-4e809925b9d5 · outbound
This paper cites LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
Reference 46
- Resolution
- verified exact
- local_arxiv, observed 2026-08-04T23:35:12.972071Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3bb7e150-b340-4438-aed0-e9fbcaae3f01 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.077145Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d0e58ca3-ff79-4bb0-8163-df68b5f050b1 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.058892Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7d050719-0777-439f-88a9-41f560c7d3a1 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.050306Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 73238854-260f-4517-8ced-be1925e60750 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.041827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 032f081d-bdfa-4dc0-a612-5a65d2153548 · outbound
This paper cites Patterson, and Krste Asanović.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Patterson, and Krste Asanović
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.032902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8719e91e-8476-4a2b-95ec-d6083a3b7b12 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.022677Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 00aa8644-b5f7-478a-b3c7-18e2536f590e · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 53
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.013046Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b2ed70fb-4632-429e-a27c-333e30b44801 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:13.002790Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 47d2b5dc-4c3a-4829-9b00-1dc1c17aa015 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:12.992282Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 47d43795-db70-450b-8905-f1fb809e3988 · outbound
This paper cites an unresolved cited work.
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T23:35:12.982403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 831f1b61-a3ef-4f04-8a1b-1915976f0663 · outbound
This paper cites In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
Reference 2025
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T23:35:13.068412Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Pith citing papers
No inbound Pith citation observations are available.