{"as_of":"2026-08-09T05:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c28b0f7725392704f29001a1234c14d32732928f3e814bd43719b4cecc75e77f","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T07:17:40.580599Z","state":"measured"},{"denominator":49,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":49,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.27480/citation-record","integrity":"/paper/2607.27480/integrity","json":"/paper/2607.27480/citation-record.json","paper":"/paper/2607.27480"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.465768Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.465768Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:20542b9771c1b15791cc00cb8ff65a942bdbe02353b03dcfb6b52e141ce41540","observation_id":"e39f66c7-cafe-4f8e-aad9-1732eacf3157","resolution":{"observed_at":"2026-08-01T07:17:40.465768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.469229Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.469229Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:50c8a64d810ac62347bfc55aba13bb25e21be6801e6fce5b0aef4a8b25ec621b","observation_id":"932cdafc-24bb-4403-88a2-fdff7162dd50","resolution":{"observed_at":"2026-08-01T07:17:40.469229Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.471869Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.471869Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:1bb6e7edbd092b2c63e4853640a318e2b8f536863588718db1a30fd78387184b","observation_id":"4468a875-04c7-495f-a700-519eb2eb5b0b","resolution":{"observed_at":"2026-08-01T07:17:40.471869Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.474655Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.474655Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:0a4652c8105dc095c46c0a8cae04a7888a648c51f3090473ca868011f8b7f1b0","observation_id":"96c6bc4c-2bf4-4509-96b1-5dfa377a75b2","resolution":{"observed_at":"2026-08-01T07:17:40.474655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.477201Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.477201Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:b69655ea917713203111f8549f388b276d33e300b191aa6560ca23c0b296d027","observation_id":"25fe0fdd-9951-49cd-b15f-109aff49c7cd","resolution":{"observed_at":"2026-08-01T07:17:40.477201Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.479863Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.479863Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:15f546254e0a1c01afcc36a797f7f541fee6144f5e6bdde88947b3e69c95bad9","observation_id":"2db049f6-2cc8-459a-9118-1ba26483d48e","resolution":{"observed_at":"2026-08-01T07:17:40.479863Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.14598","last_updated":"2021-07-14T00:57:34Z","snapshot_observed_at":"2026-08-09T03:05:17.332014Z","submitted_at":"2020-04-30T06:19:18Z","title":"Sum frequency generation spectroscopy of the attachment disc of a spider","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.14598","snapshot_observed_at":"2026-08-01T07:17:40.482580Z","title":"Bluespec System Verilog: Efficient, Correct RTL from High Level Specifications","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.482580Z"},"links":{"cited_paper":"/paper/2004.14598","citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:e8cca724fc82198179075cbadb930f04d98017fd1963ac5a8e8ab67f03d4715f","observation_id":"4f5ab23a-3eb3-4dbe-ade3-19c736b0d76b","resolution":{"observed_at":"2026-08-01T07:17:40.482580Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.485134Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.485134Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:2ada440c88a06996f05984dd7e03034be5ace2eab52c0349ce90c4881f9f5dea","observation_id":"acb610fe-3f03-4b91-ab3e-6ca535bf835c","resolution":{"observed_at":"2026-08-01T07:17:40.485134Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.487154Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.487154Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:91ed662f96c906418d9256edbaeaea88546d69f66504ac8c88249c54608eb3e3","observation_id":"9e28468b-817d-4493-8a7d-5a37ca8745c0","resolution":{"observed_at":"2026-08-01T07:17:40.487154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.492024Z","title":"Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.492024Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:51be8bed2feae8b8d521fce06b64665f925135073e58c991aecd484c0d686f1b","observation_id":"eb514288-5945-49c0-9393-6695cd3fa8b5","resolution":{"observed_at":"2026-08-01T07:17:40.492024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3763084","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"23887ecd-b6e1-4b14-bb41-836a99026e04","year":2025},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.496493Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:5f18c5ac34f50d93cab6033ce0ab26752a0267e5fc44e902aaf198182bf8d090","observation_id":"d67160b4-25ae-4a29-aeb5-259630460a62","resolution":{"observed_at":"2026-08-01T07:18:25.453008Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.499060Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.499060Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:ab4666ba107a1bb3a9895fabb16647e1414f81e1bb9c845703c9dc4df97151a4","observation_id":"cf5ec1c7-8972-433d-8892-67796c683270","resolution":{"observed_at":"2026-08-01T07:17:40.499060Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.501047Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.501047Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:5b87a1c2b9dd62cf269dc2ccba3a20788a9026593b585a5e2c93543315af86ee","observation_id":"95fbbf27-190d-4a07-bac3-1d3b0fb743b6","resolution":{"observed_at":"2026-08-01T07:17:40.501047Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3729318","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"a6823e56-c609-49a2-a44e-1c6b9b6ae3ee","year":2025},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.503433Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:0dd21f90519b19d469c37665bc896485134f5e58c0e956b24b512404e4d6d8bd","observation_id":"da9c9c67-d207-498a-9085-d4589822f36f","resolution":{"observed_at":"2026-08-01T07:18:25.307190Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3808251","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"e78553f7-b63e-4310-8da2-c7dc699c2c10","year":2026},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.505679Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:e0e44941e6417151807f9d51be72ea791db1e9054585863ed8ae71f168bfc6c7","observation_id":"fcb5b6f3-3cbd-4947-943a-0004b4be581c","resolution":{"observed_at":"2026-08-01T07:18:25.140480Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.507997Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.507997Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:8b1a899de4801d0bed5aa95d96361a521c8dcbe4f38e7c916913fdbcda2bbb2a","observation_id":"d9f5ea54-ab28-4eff-88cb-a57df2c6815e","resolution":{"observed_at":"2026-08-01T07:17:40.507997Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.510064Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.510064Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:e860399fb98194f090da712fa4e9da6103c3d904f79406f5940d9ce5aa8c83a8","observation_id":"6e30cfd9-1248-4104-98ee-2aac73080bb9","resolution":{"observed_at":"2026-08-01T07:17:40.510064Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.512602Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.512602Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:acd2311add7f8eb70c8e4c9805c96f552645d26f1e5e0a9193e4b42c7d56dd5e","observation_id":"eceb519c-7483-4a91-8373-dd3df569f51e","resolution":{"observed_at":"2026-08-01T07:17:40.512602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.515265Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.515265Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:3db7d3be6a541fbdc4dbb0f2df5a66c8f32c35a6b26371a26b1a801e4fc7c809","observation_id":"dd821ffb-23e7-4734-a96b-26949c544551","resolution":{"observed_at":"2026-08-01T07:17:40.515265Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.517625Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.517625Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:4ac2a5a50fed71ac63081e5443574f1890fb69f8d867122a7b7e153e89f5a126","observation_id":"0a097bfb-60ff-4600-b636-3978f1413db4","resolution":{"observed_at":"2026-08-01T07:17:40.517625Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.520336Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.520336Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:5c6ac0ffdee786b164f28b86a799b4cccc14b70c5e6a4846924f8631d9cb9edf","observation_id":"732d2e7a-5eae-463e-ad59-f90f53399746","resolution":{"observed_at":"2026-08-01T07:17:40.520336Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.522736Z","title":"Myers, and G","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.522736Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:6b08ee5a3f799e06ff03eb8e3c174a8b161df79a8eff242dbc7c99612079424a","observation_id":"1120c221-12aa-4a46-bdf2-a11c00a2c8bb","resolution":{"observed_at":"2026-08-01T07:17:40.522736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.524516Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.524516Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:f1820fed910f75c7436a8caccf197a434caa83374b557bb8431f02541f206fd4","observation_id":"9e67ee2b-03a9-45cd-955e-816941889513","resolution":{"observed_at":"2026-08-01T07:17:40.524516Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.526761Z","title":"Khasawneh, Esmaeil Mohammadian Koruyeh, Chengyu Song, Dmitry Evtyushkin, Dmitry Ponomarev, and Nael Abu-Ghazaleh","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.526761Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:69b124e5ad185e81cade5793f3805f4e7b9521e00428a5456b213bdf70e1f3bd","observation_id":"a8a19315-5e6e-4538-a3ce-42ff0009e8f4","resolution":{"observed_at":"2026-08-01T07:17:40.526761Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.528957Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.528957Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:a5a8cbfef143ee4441c453a7a52505b6f13cc2731748d9682e0ff8dfd292fa96","observation_id":"0151c2f8-a4a2-4414-8632-1261933bc8a8","resolution":{"observed_at":"2026-08-01T07:17:40.528957Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.531013Z","title":"Kocher, J","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.531013Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:a3f190439039bbfe0e6166c34289c45cafc0f9c18c02902987fa4531f97e9cd6","observation_id":"380c96f4-57a6-4014-8ba5-a1b30eab6f5a","resolution":{"observed_at":"2026-08-01T07:17:40.531013Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.533010Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.533010Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:a1aec712099a69e64bb2f865340c9889df6d6da080ccde043008b72ce57a74f5","observation_id":"f5c2f725-9aeb-413f-883f-3652d17aa1ae","resolution":{"observed_at":"2026-08-01T07:17:40.533010Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.535170Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.535170Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:698ca2a7e639d9dd43903c8a6c80a5d44f5894de00e6d94efff39c697d306e16","observation_id":"507d0cc0-28ed-47e7-b497-690da8880659","resolution":{"observed_at":"2026-08-01T07:17:40.535170Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.537248Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.537248Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:582e65349698e8f85df3ab50c25eed72ece541d19e454b516724b70a1e90a1a8","observation_id":"662e7b8a-8897-403a-9df4-7ee181c87420","resolution":{"observed_at":"2026-08-01T07:17:40.537248Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.539472Z","title":"Mitchell, and Caroline Trippel","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.539472Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:a6210e3fd7f6981e0956a725f1da5e945abbea2980dc5279fd2acd6f57469b9d","observation_id":"93a5f0ee-e974-4b3f-8ebb-be865f2d0451","resolution":{"observed_at":"2026-08-01T07:17:40.539472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.541641Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.541641Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:b372ff876e0b7fa9ca5f7d412e9231dbba66156c1a31dd4993fe08d63015d57a","observation_id":"61bb01ca-9cb3-435c-bade-6a7da989cc2e","resolution":{"observed_at":"2026-08-01T07:17:40.541641Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.543843Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.543843Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:5e7e8d61e16ddc2669bfcb9cb114b276cf86579bb474a4618ae6f9538295ab64","observation_id":"dae98bd4-c01c-4692-9dd1-aa1aefbb28e7","resolution":{"observed_at":"2026-08-01T07:17:40.543843Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/csfw.2006.16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"O’Neill, M.R","venue":null,"work_id":"e716b421-e524-4ae0-8302-359eddd4a8b2","year":2006},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.545984Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:8c8f82f8c13ffd9cd6417390184796f3dea3079207b9ee3bc0d86bc2f07431c1","observation_id":"4115e729-1228-4dfe-b2bc-136a8c6d101f","resolution":{"observed_at":"2026-08-01T07:18:24.960753Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.548849Z","title":"Wintersteiger, and Santiago Zanella-Beguelin","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.548849Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:33ab520b654dde785f194fba66d204bffa6e7f87748abbcca7fd2dc40063a6a9","observation_id":"348da8fc-9cde-4945-8663-894e1c74db98","resolution":{"observed_at":"2026-08-01T07:17:40.548849Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.551027Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.551027Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:9978d835e4368d3bb20176a432fb475d86a4012a47b549118ebd30ab950b4d99","observation_id":"4fc44457-de8d-48cc-84ef-be8147928891","resolution":{"observed_at":"2026-08-01T07:17:40.551027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1903.10407","last_updated":"2019-03-25T15:40:21Z","snapshot_observed_at":"2026-07-06T07:41:28.065910Z","submitted_at":"2019-03-25T15:40:21Z","title":"Yosys+nextpnr: an Open Source Framework from Verilog to Bitstream for Commercial FPGAs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1903.10407","snapshot_observed_at":"2026-08-01T07:17:40.553160Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.553160Z"},"links":{"cited_paper":"/paper/1903.10407","citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:74fa200886671f35e543d51303e5362f194df732f0f8612eb12e1d7634f21cfd","observation_id":"a51fa990-822d-4944-9a7c-3d34c3950898","resolution":{"observed_at":"2026-08-01T07:17:40.553160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.555750Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.555750Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:53bddd91ed2ef6847b5c827025a1173b05641d3780655a35360688f2e6642929","observation_id":"a1c18037-8df5-4f55-a04e-94ce790c4bb8","resolution":{"observed_at":"2026-08-01T07:17:40.555750Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.558089Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.558089Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:33da39b5548e859b4f7fbc1354c013d7f796997bfcd4e9c8d01abc693a7f27fb","observation_id":"e668fd57-ba11-4c8e-9164-771a02d56fcf","resolution":{"observed_at":"2026-08-01T07:17:40.558089Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.560311Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.560311Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:06d5cefe1ff97eee25ce518dddfe43e210222fb8a8abc325700422dca2b2979c","observation_id":"dd581c46-e5da-4932-98cc-205eefe69356","resolution":{"observed_at":"2026-08-01T07:17:40.560311Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.562384Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.562384Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:5121956eca4168f5ca34ff5c04011fc33004ad6168369bf910eafd1558563a25","observation_id":"d1e5caef-1da4-498c-8160-a3e2a7f7d25d","resolution":{"observed_at":"2026-08-01T07:17:40.562384Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.564784Z","title":"2015.The risc-v instruction set manual volume 2: Privileged architecture version 1.7","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.564784Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:5de9c60d059cca20ae907fb0ce77bab3023e4f158d61f1ef7fc63874b18a04f8","observation_id":"3087f9e6-fcc6-4520-8423-27df806f2ce9","resolution":{"observed_at":"2026-08-01T07:17:40.564784Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3808340","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"7d7b5dce-1e8c-4fdb-8478-e5f019fc7250","year":2026},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.567284Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:afbe1968fec73de93a58b2cc1d7669be0232630c641e6efcf1286890891db534","observation_id":"0a0771e7-37de-4b45-b4b0-2e9087d139ee","resolution":{"observed_at":"2026-08-01T07:18:24.718794Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.569476Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.569476Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:fbbb13b7050caca34fcedf1abc72d76e378a935c94f7b74e88003d3cc50effb5","observation_id":"38caca62-6120-4808-8f25-405a03e8c3ce","resolution":{"observed_at":"2026-08-01T07:17:40.569476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.571535Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.571535Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:c992b1e8c5d0cb1f85ce492ee6b1fcd32c122a993a31cda2f173f59f32f07be5","observation_id":"7faf1a98-dfd9-4ec0-849e-6a3e603c19b5","resolution":{"observed_at":"2026-08-01T07:17:40.571535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.573838Z","title":"Fletcher","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.573838Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:888d478b5d6f750e072b48abe4c72edd3f0b522edcebb0cc5b9bb47a2efae66b","observation_id":"65d1efae-6755-44c9-80b7-a69abb7fd1a4","resolution":{"observed_at":"2026-08-01T07:17:40.573838Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.576284Z","title":"Myers, and G","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.576284Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:6a4cad21c32b1f7a54b64cf018e4a166f8bc3a67c3fc5ee8e8a46812318540d9","observation_id":"f16d31e3-c2df-452f-9936-047681cbb803","resolution":{"observed_at":"2026-08-01T07:17:40.576284Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.578609Z","title":"Edward Suh, and Andrew C","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.578609Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:fad9bcb297cf0e72cde0ec3b8db346e4e924361290eb92a45ad455367c943103","observation_id":"ab9ed971-d387-40ac-8a0a-65252e29c718","resolution":{"observed_at":"2026-08-01T07:17:40.578609Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.580599Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.580599Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:c7bf1f2e7104ced475fdf14cf1baeac30fa82c61ec73d10d9f7707201deb2718","observation_id":"1e1ad83e-4771-47cc-b003-43e52f0445ee","resolution":{"observed_at":"2026-08-01T07:17:40.580599Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:17:40.494397Z","title":"InProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation(London, UK)(PLDI 2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-01T07:17:40.494397Z"},"links":{"citing_paper":"/paper/2607.27480"},"observation_digest":"sha256:0c8a09f79a0715bec32ce76ba552b4db4e4792a6dcb1e4dd3e976ad15b981094","observation_id":"235617a3-8911-481e-b509-3e1ced569d56","resolution":{"observed_at":"2026-08-01T07:17:40.494397Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.27480","last_updated":"2026-07-29T21:44:57Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-07T23:10:50.080521Z","submitted_at":"2026-07-29T21:44:57Z","title":"Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":43,"verified_exact":5,"verified_fuzzy":0},"total_outbound_references":49},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}