Paper Citation Record · LEDGER

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts

As of 9 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 0 inbound Pith citation observations for arXiv:2607.27480.

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

pith.paper-citation-record.v1
2607.27480 v1

Coverage vector

measured 49 of 49 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T07:17:40.580599Z

measured 49 of 49 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

49 of 49 outbound references displayed

verified exact5
verified fuzzy0
unresolved43
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e39f66c7-cafe-4f8e-aad9-1732eacf3157 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.465768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 932cdafc-24bb-4403-88a2-fdff7162dd50 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.469229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4468a875-04c7-495f-a700-519eb2eb5b0b · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.471869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96c6bc4c-2bf4-4509-96b1-5dfa377a75b2 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.474655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25fe0fdd-9951-49cd-b15f-109aff49c7cd · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.477201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2db049f6-2cc8-459a-9118-1ba26483d48e · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.479863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f5ab23a-3eb3-4dbe-ade3-19c736b0d76b · outbound

This paper cites Sum frequency generation spectroscopy of the attachment disc of a spider.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Sum frequency generation spectroscopy of the attachment disc of a spider

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.482580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acb610fe-3f03-4b91-ab3e-6ca535bf835c · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.485134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e28468b-817d-4493-8a7d-5a37ca8745c0 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.487154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb514288-5945-49c0-9393-6695cd3fa8b5 · outbound

This paper cites Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.492024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d67160b4-25ae-4a29-aeb5-259630460a62 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-01T07:18:25.453008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cf5ec1c7-8972-433d-8892-67796c683270 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.499060Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95fbbf27-190d-4a07-bac3-1d3b0fb743b6 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.501047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da9c9c67-d207-498a-9085-d4589822f36f · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 15

Resolution: verified exact; doi, observed 2026-08-01T07:18:25.307190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fcb5b6f3-3cbd-4947-943a-0004b4be581c · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-08-01T07:18:25.140480Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d9f5ea54-ab28-4eff-88cb-a57df2c6815e · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.507997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e30cfd9-1248-4104-98ee-2aac73080bb9 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.510064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eceb519c-7483-4a91-8373-dd3df569f51e · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.512602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd821ffb-23e7-4734-a96b-26949c544551 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.515265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a097bfb-60ff-4600-b636-3978f1413db4 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.517625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 732d2e7a-5eae-463e-ad59-f90f53399746 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.520336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1120c221-12aa-4a46-bdf2-a11c00a2c8bb · outbound

This paper cites Myers, and G.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Myers, and G

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.522736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e67ee2b-03a9-45cd-955e-816941889513 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.524516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8a19315-5e6e-4538-a3ce-42ff0009e8f4 · outbound

This paper cites Khasawneh, Esmaeil Mohammadian Koruyeh, Chengyu Song, Dmitry Evtyushkin, Dmitry Ponomarev, and Nael Abu-Ghazaleh.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Khasawneh, Esmaeil Mohammadian Koruyeh, Chengyu Song, Dmitry Evtyushkin, Dmitry Ponomarev, and Nael Abu-Ghazaleh

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.526761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0151c2f8-a4a2-4414-8632-1261933bc8a8 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 26

Resolution: malformed identifier; no resolver link, observed 2026-08-01T07:17:40.528957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 380c96f4-57a6-4014-8ba5-a1b30eab6f5a · outbound

This paper cites Kocher, J.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Kocher, J

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.531013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5c2f725-9aeb-413f-883f-3652d17aa1ae · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.533010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 507d0cc0-28ed-47e7-b497-690da8880659 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.535170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 662e7b8a-8897-403a-9df4-7ee181c87420 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.537248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93a5f0ee-e974-4b3f-8ebb-be865f2d0451 · outbound

This paper cites Mitchell, and Caroline Trippel.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Mitchell, and Caroline Trippel

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.539472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61bb01ca-9cb3-435c-bade-6a7da989cc2e · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.541641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dae98bd4-c01c-4692-9dd1-aa1aefbb28e7 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.543843Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4115e729-1228-4dfe-b2bc-136a8c6d101f · outbound

This paper cites O’Neill, M.R.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts O’Neill, M.R

Reference 34

Resolution: verified exact; doi, observed 2026-08-01T07:18:24.960753Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 348da8fc-9cde-4945-8663-894e1c74db98 · outbound

This paper cites Wintersteiger, and Santiago Zanella-Beguelin.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Wintersteiger, and Santiago Zanella-Beguelin

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.548849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fc44457-de8d-48cc-84ef-be8147928891 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.551027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a51fa990-822d-4944-9a7c-3d34c3950898 · outbound

This paper cites Yosys+nextpnr: an Open Source Framework from Verilog to Bitstream for Commercial FPGAs.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Yosys+nextpnr: an Open Source Framework from Verilog to Bitstream for Commercial FPGAs

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.553160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1c18037-8df5-4f55-a04e-94ce790c4bb8 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.555750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e668fd57-ba11-4c8e-9164-771a02d56fcf · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.558089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd581c46-e5da-4932-98cc-205eefe69356 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.560311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1e5caef-1da4-498c-8160-a3e2a7f7d25d · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.562384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3087f9e6-fcc6-4520-8423-27df806f2ce9 · outbound

This paper cites 2015.The risc-v instruction set manual volume 2: Privileged architecture version 1.7.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts 2015.The risc-v instruction set manual volume 2: Privileged architecture version 1.7

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.564784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a0771e7-37de-4b45-b4b0-2e9087d139ee · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 43

Resolution: verified exact; doi, observed 2026-08-01T07:18:24.718794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 38caca62-6120-4808-8f25-405a03e8c3ce · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.569476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7faf1a98-dfd9-4ec0-849e-6a3e603c19b5 · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.571535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65d1efae-6755-44c9-80b7-a69abb7fd1a4 · outbound

This paper cites Fletcher.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Fletcher

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.573838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f16d31e3-c2df-452f-9936-047681cbb803 · outbound

This paper cites Myers, and G.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Myers, and G

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.576284Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab9ed971-d387-40ac-8a0a-65252e29c718 · outbound

This paper cites Edward Suh, and Andrew C.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Edward Suh, and Andrew C

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.578609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e1ad83e-4771-47cc-b003-43e52f0445ee · outbound

This paper cites an unresolved cited work.

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.580599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 235617a3-8911-481e-b509-3e1ced569d56 · outbound

This paper cites InProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation(London, UK)(PLDI 2020).

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts InProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation(London, UK)(PLDI 2020)

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-01T07:17:40.494397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.