{"as_of":"2026-08-05T21:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1e2105f50097427616a9af95d2a5b7460b55f3415375872d5eba51ab0d92dbc6","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-14T12:41:58.564684Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+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.10314/citation-record","integrity":"/paper/2607.10314/integrity","json":"/paper/2607.10314/citation-record.json","paper":"/paper/2607.10314"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:41:58.564684Z","title":"Mechanised operational semantics of Rowhammer","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:e764d98abf5632c88657c9b950e06c682fd8b0eaf607dec93738867e4c8cbdc3","observation_id":"e6253fd1-48af-48f3-ae09-10a982f7c7e5","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:d723df8bcfe8b46d784150a056d63d3c37197c8e5b33fd29dcfce2d65220c7e6","observation_id":"dece1c22-f3bd-435c-9bbb-2cb4743d9652","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":"Clarkson and Fred B","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:5e19bba4ae133c91ef1856d005ade2591f1afc68a476cc6edf8548353ca4f162","observation_id":"a20bf2b4-3dec-4ec4-a601-b994c8cc727d","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:7fe01de0426ad8da2dfa201a3b9f5c07356962d0a4e2fdbe5ea08270ba145b5d","observation_id":"50835fc2-9b1a-4db9-98f6-30cfdf2a1ead","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:42089a7e1d262002fe44ed764db74b34746fef23cd97319bb99edf19a8864a56","observation_id":"720d3692-ee22-4199-a409-5df7512b6622","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:035353bd7c05145a989f500701fa11213dc54b60ad58ad5614cad4bc639ea05b","observation_id":"c06f1777-1326-4bea-bde6-c8906d5017eb","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:7fff8f01400f71136a13821955d0e67fb49c9c3cadc3d4d68867df1b41d39d4b","observation_id":"824b6885-217c-4d83-a0fc-dc1ff9ffb83b","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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.1515/9781400881635","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"1940.The Consistency of the Continuum-Hypothesis","venue":"Princeton University Press eBooks","work_id":"835fd0b8-8164-4de9-bd76-f54170d60c0e","year":1940},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:b37b7500533eed3d939f077d786f13248ca1574cb727ac3b9fec33d1dde8d440","observation_id":"3af992e3-4b75-4c89-acf4-2aed86dce2b4","resolution":{"observed_at":"2026-07-14T12:50:29.148759Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:23.208323+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:23.208323+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-14T12:41:58.564684Z","title":"Goguen and José Meseguer","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:c2fd7384f3820aa03dd32dd0541cd80965e733695682355bb2449cd7966d3126","observation_id":"80623af3-dda6-4646-975b-20db118a64cb","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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.1007/978-3-319-40667-1_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"cd26b728-918c-4be3-a6d7-1acbbfb586f4","year":2016},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:81db6e9df85b99849bf8fe9151bb75eb08998569c593de3c106ef4dae792d431","observation_id":"1fa29d70-19d0-43db-9f59-f72280e18b4a","resolution":{"observed_at":"2026-07-14T12:50:29.107042Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:23.449232+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:23.449232+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":1933},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:ea389f66f900340a6b9262608ccfdc8a6386906e2acd7f36588c652cd1608291","observation_id":"381c7228-bed2-4d58-916a-f528398f525f","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":"Kim, Victor van der Veen, Kaveh Razavi, and Onur Mutlu","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:05b1e66150dd4b23cb45f86fda1d32ddb99996b7deb9784a5b9039d778ec09d0","observation_id":"e17a4c78-53ff-466f-a324-10d5d3eb4136","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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/3571740","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":"4e4d1099-5a25-481d-9b02-500413cc8745","year":2023},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:f0ebd17796874da7e3c942f86aeeee3d6a6bdcb9c7690efe0306fa6775f918a2","observation_id":"4e68a7d8-c5a1-4e74-96ab-8241a0c917b2","resolution":{"observed_at":"2026-07-14T12:50:29.192538Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:24.281952+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:24.281952+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:e278c2ce4df983b594a4220a1b6b122dd9254d36ffa55747993f17326b4c43d1","observation_id":"9184f04c-21e0-455c-93ce-3f10176579f6","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:e82b4d2abcd563ebbab67fd909af7803c97a720aa07bd2fd99ab79d4e431ed23","observation_id":"0c06c71c-3f4f-44f9-9fc3-8d492a5fc0aa","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:bf50b2ed31c11e4d275c74d55932d6f65b2964154877f3ea763c356058d63316","observation_id":"badf2b24-a638-4391-afee-8808cb3e96c3","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:0f858be1642d9a3f4db5a270b0f81784a3790be879963c65a84b33bfa272f1f3","observation_id":"59d983b0-4993-4403-96e4-afda7b0c95f9","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:7bed6b4e1c3214a7827339d2f8417eb81ec886b03087e5946ab60eb310b8123f","observation_id":"10237a6d-5812-4fc0-a472-171718a362e7","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:b0b30bf3976d357a07ae2c1d7d880b9c0de12fda87c2d611e770f474b1eb3cd1","observation_id":"b960ba6b-4508-4db6-9c2b-3c41864fe245","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":1962},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:c8912ff81c5ede1bd62c9fde1c5a4a3519d0f395b9ceb1024cc5dc078b2d5c7e","observation_id":"a62b18ed-c7bd-4c36-990e-0e95a7d4f9b3","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":"1998.Categories for the Working Mathematician(2 ed.)","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:f4275a85c3480c7c4ab586d4ae55745264f55d543e7ed02d9a079126d21ca2ae","observation_id":"aeb6f94a-8b94-42ae-a254-fcdf85c6f988","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":1962},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:c91134a46b87276c738ca4ff491635fa802097a532496bab7a44e23cb18a7fc7","observation_id":"ba4cd48a-0e9b-4b21-848e-48b3ddd75711","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:8e3b6be8cf2d4c81feecb93885d530f99b4bcff97ac44e7e60485e160eb5b5af","observation_id":"eca5c8a4-4fad-4ab7-9bc6-9e8cf953b81a","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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.1016/j.jlap.2004.03.008","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"The Journal of Logic and Algebraic Programming","work_id":"ac28e2b2-ce99-4f21-b6b2-81d1f7e3e177","year":2004},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:190d53a6626322c06a10915f51003d99eae077de607c8623aa43133e1aaaf689","observation_id":"87dcc4d0-6c46-4deb-a2e1-500da9a121b9","resolution":{"observed_at":"2026-07-14T12:50:29.122803Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:25.044754+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:25.044754+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:582225b5e5357883108751b59e756180d35b05253def03eee07a03cfe6b3208d","observation_id":"1672b8bd-57d6-4eec-8d10-e55f85e2e8cc","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":"2024.Towards Automatic Analysis of Microarchitectural Attacks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:f548a0125be25c4fc74350c01ef24da412f22fc71077ce4672fab35d5929e774","observation_id":"f0e559c2-2f95-4876-82af-db9400da95ba","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:6858068b42aeda03214e3ef15513d8e19c213af2faa6b4ce0514ea3980b85ab0","observation_id":"89584ab4-f2d1-4138-a6cd-300bd1766b7b","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":"Giray Yağlıkçı, Haocong Luo, Ataberk Olgun, Jisung Park, Hasan Hassan, Minesh Patel, Jeremie S","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:8cf354b89205b2513e8d02341cf16ee2e4510e546ce06fcca3fc2012d3568a65","observation_id":"0e5f7bd9-75b4-4b99-878d-d73feb9f4df3","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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/3776650","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":"a7d1fa2d-a43d-40b2-b040-452fff19ea54","year":2026},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:98ced51dbedd1b5bc86fd30f4b033450d5ba30eac6e453cb632ba777572c9c15","observation_id":"22ebf5e7-4c4a-43cc-8632-6b63e158de95","resolution":{"observed_at":"2026-07-14T12:50:29.131452Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:26.072785+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:26.072785+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45931-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:50:29.167797Z","title":null,"venue":null,"work_id":"45604c48-368a-4714-b1b6-b3c8e392a14f","year":2002},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:39587937f89acea3818dce0f1e8c90a1fa50518069cf816e1b797061d8339a56","observation_id":"800165e1-ab8b-47da-86b7-97fda1ad477c","resolution":{"observed_at":"2026-07-14T12:50:29.169200Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:e8a888fd6034a3327663632bbd68512edda78aa779c6034975b7fc90ea6b8b20","observation_id":"96574f33-4a5b-4b4a-9e77-28f0216612f9","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:9d92c56666461367c6e331d7465f6a13572befe79c7725e976047369a3f07987","observation_id":"a4ef66c5-586b-44d3-a4da-dd98ab886e68","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:f833c7163b6dfa5b7efc7910003b11025fccf0fcbd49a285b39bea325857a8f9","observation_id":"f0ba8dd1-3a23-4718-aeec-934b6584d8f9","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":1948},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:b4c77dc2044bbeb001da81308dded0d3e0dcc4753ebe73b7de9f64aab65c9781","observation_id":"bec9ef1e-b0f3-4576-893f-227efa0eaacf","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:81e60f1812cb5e306880a31f05bdce3bf27d5956adb46c31f3cfc244396d3d37","observation_id":"a7d8f66a-f9a4-42bf-a67e-8f4e14a32fea","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1603.08949","last_updated":"2016-04-12T10:49:48Z","snapshot_observed_at":"2026-08-05T20:10:30.332240Z","submitted_at":"2016-03-29T20:30:27Z","title":"The While language","version":2},"cited_work":{"arxiv_id":"1603.08949","doi":null,"metadata_source":"pith","pith_arxiv_id":"1603.08949","snapshot_observed_at":"2026-07-14T12:50:29.208565Z","title":"The While language","venue":"cs.PL","work_id":"4fe98a4d-995e-4473-b6fb-7efd286c91cd","year":2016},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"cited_paper":"/paper/1603.08949","citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:0344342dea7f79e5ab580e3db4096ace63a87457be2ccddba98e8ec80f7bce81","observation_id":"2a48c91a-dc93-405e-8d3e-2f48d83c40df","resolution":{"observed_at":"2026-07-14T12:50:29.210231Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2021.306036","doi":"10.1109/ted.2021.3060362","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"IEEE Transactions on Electron Devices","work_id":"0a026aa8-1360-4ec5-88eb-4a94b45e4287","year":2021},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:b8bd9e7fa45d1fca2be1a7ee8f4901b021584c3e82ffaa240673a66e86d0877f","observation_id":"3283338c-18b8-4501-857c-ab672ee5ea8f","resolution":{"observed_at":"2026-07-14T12:50:29.115203Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:26.65642+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:26.65642+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-14T12:41:58.564684Z","title":"Giray Yağlıkçı, Minesh Patel, Jeremie S","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:6e85adbcca407842124c287ecd40762301fbfbcb2fbbf34ad1e7ff30cbdf38b1","observation_id":"1d491c7d-3b34-4f65-a776-9aca3b039a86","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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.1017/9781108770750.002","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2020.Semantics of Probabilistic Programming: A Gentle Introduction","venue":"Cambridge University Press eBooks","work_id":"ce4504d8-79e5-4c22-882b-652a5bf054ad","year":2020},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:40b3676834aa8550223e721c31022a0fd921a854c23d581a32e3bf06cd44e99e","observation_id":"a2c0a736-a292-4c3d-a864-ac3b09f99af5","resolution":{"observed_at":"2026-07-14T12:50:29.204252Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:27.205052+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:27.205052+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-13678-8_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"852a44e3-89df-4760-8d3b-5eecc5b8320a","year":2010},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:43cd87ab15ee0b87e80a23dd0cda37646b5bc140d53e6e52560fa43c89a91fb2","observation_id":"3a44dbf2-ee34-4f96-a8d9-f05258772bbb","resolution":{"observed_at":"2026-07-14T12:50:29.214692Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:27.461662+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:27.461662+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-14T12:41:58.564684Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:f59fe6f8d5a89b18b65b3d8fc3a5c9fd89db6f209ea01ef4946abf579d62a9e7","observation_id":"60b14254-f188-43e9-a72f-81a14f151b81","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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-07-14T12:41:58.564684Z","title":"2007.Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:f4c5c15affe6362f58ba61e4b99821c9ecaae5e7b7fa7ec8a166e86db32bb536","observation_id":"1c9baedc-4db0-4239-9e86-dec6623129b9","resolution":{"observed_at":"2026-07-14T12:41:58.564684Z","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.1007/978-3-319-10542-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2014.Concrete Semantics: With Isabelle/HOL","venue":null,"work_id":"536e6aab-38a3-4ee8-83b6-dc8f669faa8a","year":2014},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:46f763ca5ce16013fd5b2bb0dfd30d8c4fe5ab2672c67d738fc912a76e0a24aa","observation_id":"67ac6ee4-495d-4b18-b629-5aea096a5c62","resolution":{"observed_at":"2026-07-14T12:50:29.227211Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:28.185583+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:28.185583+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.7551/mitpress/3054.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:50:29.157682Z","title":"1993.The Formal Semantics of Programming Languages","venue":null,"work_id":"b1e1ae45-cba4-4e3c-8811-04e4eae1379d","year":1993},"citing_paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-14T12:41:58.564684Z"},"links":{"citing_paper":"/paper/2607.10314"},"observation_digest":"sha256:7a6a8e33385b768d67d9a59be7c0251a458cc047bd74c3ff86ae58dc07462d9c","observation_id":"b13d2c7e-e63a-4f03-aaba-ed969b9dc5fd","resolution":{"observed_at":"2026-07-14T12:50:29.159275Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T22:20:28.432664+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T22:20:28.432664+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.10314","last_updated":"2026-07-11T13:41:04Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-07-16T23:18:18.288423Z","submitted_at":"2026-07-11T13:41:04Z","title":"Mechanised operational semantics of Rowhammer"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":5,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":29,"verified_exact":10,"verified_fuzzy":0},"total_outbound_references":44},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.10314."}