{"as_of":"2026-08-17T18:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7dc67d8fc13f2534cd61d0652abf59e874535e6bfece408326ea734799797cdd","coverage":[{"denominator":205,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-31T03:58:10.539158Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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.28551/citation-record","integrity":"/paper/2607.28551/integrity","json":"/paper/2607.28551/citation-record.json","paper":"/paper/2607.28551"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T03:58:10.205024Z","title":"URLwww.cheri-cpu.org","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.205024Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:4c67020fdf58af4bcbafec1aa844b13f44b2d73cd7da36a0092fc5e9ec6b4c51","observation_id":"f2d6cc56-c2fe-4a4d-be1e-71a41da45f56","resolution":{"observed_at":"2026-07-31T03:58:10.205024Z","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/bfb0055109","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":"4242eeaa-e93c-4907-bb3b-388de146725a","year":1998},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.208994Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:ea5c1b557c9e363e2590d99967f53b4e4e1d5d95936750f1bbcad4383ac2a998","observation_id":"f02aa414-3eb7-48fe-8f23-373e30e2fd92","resolution":{"observed_at":"2026-07-31T04:01:36.505682Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:22.585577+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:22.585577+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.212443Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.212443Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:bbd088ebf543e141d3d642aebeff64937e9eaa3b0cb2d258f8f1bce30c9b3050","observation_id":"5df19ce0-315d-4505-b0d3-5125893666e6","resolution":{"observed_at":"2026-07-31T03:58:10.212443Z","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/3460860","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Trans","venue":"ACM Transactions on Programming Languages and Systems","work_id":"289e76a7-c630-4d57-9c0d-8b8ae6a9504c","year":2021},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.215564Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:f82d689d3169bd52d5adad0806294834aa1c46a7362e81cfc59e8da51722529a","observation_id":"55fe2f5d-6737-49dd-89ab-4a34bc78720a","resolution":{"observed_at":"2026-07-31T04:01:36.383174Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:22.645137+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:22.645137+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.218954Z","title":"In: CSF 2019, pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.218954Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:fb5a21850ed0bc836fc55b83035dbe1bc32e5c1e2f6475c9aef835cf74febc5e","observation_id":"ad76c1c3-5cb5-4d0e-8262-a7336fb01adf","resolution":{"observed_at":"2026-07-31T03:58:10.218954Z","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-540-75670-5_10","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":"05402ef6-4674-4e62-883a-b89f68c6b9df","year":2007},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.221902Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:0bd3ff6edc8fe8c05cecdad24ded31387959839932d04f7938bfd3272a6fbbb2","observation_id":"37c82838-9173-48a9-ab30-88d96fe0073a","resolution":{"observed_at":"2026-07-31T04:01:36.239324Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:22.69152+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:22.69152+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-15497-3_10","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":"cd15cbe0-4b5f-4bb2-b98b-22077f2712d7","year":2010},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.224962Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:040c474b029efa521ab742a9bb545d9164413a9d85504f2d21286eed69f4953f","observation_id":"c5722516-fb01-4446-8cf8-475ebfa8fd3d","resolution":{"observed_at":"2026-07-31T04:01:36.134493Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:22.735562+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:22.735562+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.228186Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.228186Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:23ef77ea597f309537d68f37e6d3ca67e99e77fff04197fe6f63b11a17e89a62","observation_id":"34caca48-e457-4dd0-b038-9aa03ac466e3","resolution":{"observed_at":"2026-07-31T03:58:10.228186Z","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-31T03:58:10.236502Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.236502Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:9611314b9984031854be7d2749e48d1794dcb23b11a122f254ccf7c470f00afa","observation_id":"ac3578e8-e95b-4910-a427-408176013b57","resolution":{"observed_at":"2026-07-31T03:58:10.236502Z","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-12466-7_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":"38450a30-f130-45c8-a33e-42c7e281a92c","year":2013},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.244562Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:572b42fcb3bb6868895d87b24114455a03b569b3ee1441bda23425e08e125dce","observation_id":"9031729a-2477-4372-a7ec-08460a5bdccb","resolution":{"observed_at":"2026-07-31T04:01:36.028705Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:22.79257+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:22.79257+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.247803Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.247803Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:9005fc5e156be3fc7aa550712e5758654a98e40332d01a25e627999ffe6a1d84","observation_id":"cf64bc97-d3c9-4b42-bee5-fe35d6df65e0","resolution":{"observed_at":"2026-07-31T03:58:10.247803Z","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-642-28641-4_20","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":"ddbaeb0d-b657-478f-bfd8-6587879edbad","year":2012},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.250865Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:eb71166b84faaaf50c2d7f7b0ec50d6beafae2684e3a76f3c7888ae03c453ce2","observation_id":"e6be6d00-6ad2-4205-9d09-5d9d138defab","resolution":{"observed_at":"2026-07-31T04:01:35.908444Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:22.913566+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:22.913566+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/10930755_22","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":"317c2501-c49c-401f-8961-f7136a71d337","year":2003},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.253530Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:79833b63f6a06053480e62502a8e00ac0f03d7f17f4e543416ca18144b9d5766","observation_id":"3c0eeff9-2d0b-4172-a461-5548b58fdcc0","resolution":{"observed_at":"2026-07-31T04:01:35.804410Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:22.983474+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:22.983474+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11526841_21","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":"03f2f732-becc-4c35-b2d6-bdc4bb3bbdc2","year":2005},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.256539Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:2da1416a53910b2b322ce6382b20323551b80e3ecfd192dcd638e22dc587828b","observation_id":"ec5ea9f9-9c9a-4aa6-9a7a-d972529384ab","resolution":{"observed_at":"2026-07-31T04:01:35.689221Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.043712+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.043712+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.259410Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.259410Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:ce1c94a003d49bf10cb5ceb233f1720a5a061be48eb4bb5f41247711c9d0e190","observation_id":"8df0f689-5f70-4968-a8cc-a39cb9eddc85","resolution":{"observed_at":"2026-07-31T03:58:10.259410Z","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/2701415","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Trans","venue":"ACM Transactions on Programming Languages and Systems","work_id":"aa37df7c-38b8-41c2-a333-1bc34922633a","year":2015},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.262272Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:0ac2d34b2d974d34ab0370b18fec258fc208ce6569a1de6904dcdb29b5ddfb64","observation_id":"26e2536b-1a9a-4a62-a427-2fd29bb5ac49","resolution":{"observed_at":"2026-07-31T04:01:35.535450Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.165696+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.165696+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.265620Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.265620Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:253e5e3f06728ce36688a15ebf159d58e38815bb24b82274a24e21407a72ec8a","observation_id":"a1851127-9be4-4aba-9422-8623db427dbe","resolution":{"observed_at":"2026-07-31T03:58:10.265620Z","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.tcs.2007.09.003","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Theoretical Computer Science","work_id":"1322760b-9f1b-49e0-bab0-a85f6e687ef9","year":2007},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.268404Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:e7f9112514fd8d1c6dcc030ac71e978fc73ee446f9b32280f024c349e6fdc314","observation_id":"0ed66a5f-30ae-48bd-8219-687099fed76f","resolution":{"observed_at":"2026-07-31T04:01:35.438753Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.23573+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.23573+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.271428Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.271428Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:4ad6b12bbc9e3d06ce7ff14fa14951a9db83297b52ac83913106c28f80ee017d","observation_id":"a043ed92-0d73-47c1-9a62-bec1d17528d0","resolution":{"observed_at":"2026-07-31T03:58:10.271428Z","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.3233/jcs-15784","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Computer Security","work_id":"82141bb2-0b57-41a4-b8b0-77a96e46c98f","year":2016},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.277368Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:1586dc0a6835e737a43f5fa5890263dbe464af43eff1c96e4b76afa14ad694c7","observation_id":"027f0e8f-264a-4222-af72-e78b917a1165","resolution":{"observed_at":"2026-07-31T04:01:35.332538Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.310882+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.310882+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/sp.2015.55","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: SP 2015, pp","venue":null,"work_id":"178d8582-17d5-4197-ace4-edb353993802","year":2015},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.280354Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:4b71d4a3261b91e233ab2a1617fea166e37e823215b63e5c1fe4a06e39673fdb","observation_id":"20669b62-3123-48ca-a417-5fa26a9cebbf","resolution":{"observed_at":"2026-07-31T04:01:35.225965Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.362439+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.362439+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-89722-6_4","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":"6c58952e-564d-44eb-acc5-a484893f6b81","year":2018},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.283315Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:7f7ee41a1cfecb60c919ad1da231f6d086a4ae73a82b7f5eb48443d9f2768ee0","observation_id":"421cdef7-3528-4020-b406-8fe2135958dc","resolution":{"observed_at":"2026-07-31T04:01:35.120232Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.417449+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.417449+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.297405Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.297405Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:3d47684ad958d0a600a6af097946a0ecdc7bf0770dfedc395c0ae6f0168dcc7c","observation_id":"054f8202-7312-4095-b001-5dc8b8566e9a","resolution":{"observed_at":"2026-07-31T03:58:10.297405Z","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-642-21437-0_19","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":"c70a5e76-9a2c-48f5-a5ad-ed0c80cc023b","year":2011},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.299933Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:7b0af67eaacc9ac069049f846e3fe008b79fe490f5b4e9286d13cef30da7996a","observation_id":"89833a0c-cc82-4a45-aad9-c01c7eafa94d","resolution":{"observed_at":"2026-07-31T04:01:35.015769Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.475587+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.475587+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.302932Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.302932Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:b132a33ba8a37f58e3f8cdec609adf506d30393f0baf86323c24eb2108a095f4","observation_id":"ae0b36d5-9f75-4acd-a2cd-b87d2ff6e8eb","resolution":{"observed_at":"2026-07-31T03:58:10.302932Z","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-31T03:58:10.305409Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.305409Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:cc04b32d1db59f3ac44f641393869ca12c83d05128f085972a78d88a8b78ab0f","observation_id":"d3429f76-cb3f-4b52-b29d-3dbd087c2924","resolution":{"observed_at":"2026-07-31T03:58:10.305409Z","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-540-25984-8_29","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":"a329535a-8638-4cda-aa10-f56a899b6ffb","year":2004},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.308151Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:6c21db2a4cb9eecfc27bf44e3257dc8f9d086a91e8fd283b796d9a67fdd892f1","observation_id":"0fdcec36-547a-40e3-9a92-41c411c8a722","resolution":{"observed_at":"2026-07-31T04:01:34.901153Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.573126+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.573126+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-24721-0_7","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":"eff121e6-c0f2-459a-903f-9924eddff3e1","year":2004},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.313528Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:7395332ce3cf5ffb16723e7a4faf7170e99dfe853e612b3a0d088ebeb00bad3c","observation_id":"aaaeffa9-247a-4dd4-9f5d-a1c9f1d54d18","resolution":{"observed_at":"2026-07-31T04:01:34.738390Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.62506+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.62506+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.316514Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.316514Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:e17357125a969216b5497ba7672ecc6312ba82dd95222a7b4a31cc72fdf70cd3","observation_id":"afd439df-f393-45ea-9ace-81602d3e5202","resolution":{"observed_at":"2026-07-31T03:58:10.316514Z","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-31T03:58:10.319053Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.319053Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:8609fd7ee357652b3bd4d45c06f5a68ac510d362dd6053db1dc089b4521cc3c5","observation_id":"aa049393-773e-4657-a202-b16bb69a67ea","resolution":{"observed_at":"2026-07-31T03:58:10.319053Z","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-31T03:58:10.321607Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.321607Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:beb8dd1be880ef290559a65af79aa654bbb5da1115a58dc7606b6f308a0e05b0","observation_id":"17170031-f2a1-4b82-92e5-88769f5cc321","resolution":{"observed_at":"2026-07-31T03:58:10.321607Z","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.3233/jcs-130476","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Computer Security","work_id":"61f1832f-c477-4459-9400-7e3814fad8b9","year":2013},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.324382Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:1c62656a2824710c05a84b86d5134f15b487d84e796bb638dee7e95211ff4600","observation_id":"a1247329-998e-49c8-85b7-75e2df56b38a","resolution":{"observed_at":"2026-07-31T04:01:34.628346Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.727677+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.727677+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.326963Z","title":"constant-time","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.326963Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:32446d2bd37f180e899562eb95301549889d4f3fd9583d072c4ecb50165a13bc","observation_id":"485dbe39-eb5e-4dbc-b411-40dddd796c09","resolution":{"observed_at":"2026-07-31T03:58:10.326963Z","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-31T03:58:10.329526Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.329526Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:7639a79ca51ab084a69d6bbf78ec1225790aa25fc2bbc8763883e34c2446860f","observation_id":"586e46ea-ffc4-4cac-a119-ff6b473b8cbf","resolution":{"observed_at":"2026-07-31T03:58:10.329526Z","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/csf.2010.24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: CSF 2010, pp","venue":null,"work_id":"7f2d398e-d883-437f-a937-6140f4dbf859","year":2010},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.332154Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:a0109c19207b050bd6531fdf3bb8aeceaf7e684ee04b9e3cb6fdeb6ef33eeec1","observation_id":"ad7af100-45d2-4310-9630-bdd90da3d62d","resolution":{"observed_at":"2026-07-31T04:01:34.469098Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.781123+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.781123+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.335008Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.335008Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:b0d03d99e195e7eaa1e93396b17a4d70a4a70b36c5e43a3901db16b9eddffd3d","observation_id":"7835554e-15fb-4530-ad92-b9535b7aab65","resolution":{"observed_at":"2026-07-31T03:58:10.335008Z","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-31T03:58:10.337592Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.337592Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:af0e78b2276e29b7f01f211b13c23d4c06a5f39c28ac24055eb24f209e5b0c95","observation_id":"80790ad3-413d-452d-982c-b9574011a4d1","resolution":{"observed_at":"2026-07-31T03:58:10.337592Z","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-540-71316-6_10","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":"04fcbf28-fb6d-43d4-84b3-73d4e9ee184e","year":2007},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.340635Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:46d9ea8bdf325cf61f8c34d8fa9cbe12d75d1c5586e3ae5df0ff01e301206ae9","observation_id":"7faa30da-addf-43f5-8146-645fb1656613","resolution":{"observed_at":"2026-07-31T04:01:34.361086Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.843675+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.843675+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-08970-6_6","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":"653cbd41-27fd-430b-ad01-999f3a5a631c","year":2014},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.343479Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:d441f17f681f1db659c64e057e61b6c4da1afab08d105a709d42359dae08e209","observation_id":"55404fe5-d41c-4037-b3cd-e64187863df5","resolution":{"observed_at":"2026-07-31T04:01:34.260994Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.896979+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.896979+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.349156Z","title":"ACM Trans","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.349156Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:e8786fe8d839dc4396342f0104b285d9c963c29742ff80d5a2f05be77c1bee08","observation_id":"bfaec3f6-0c46-4f5f-9bfa-7470b0d9823b","resolution":{"observed_at":"2026-07-31T03:58:10.349156Z","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/s00145-019-09341-z","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Cryptology","work_id":"5941ae2a-77fd-451f-8359-398bb5dfe6a5","year":2020},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.351894Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:6f8744bc53af38cf3b02284786fb874a165c0b6b2a8d3cded55bf4e6fd18f5f0","observation_id":"8d467a0d-1676-4272-8cbf-a65c3b1e95be","resolution":{"observed_at":"2026-07-31T04:01:34.157049Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:23.953039+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:23.953039+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.354811Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.354811Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:ed893c211a2ab0928af9829144f3775cbd920497302c7ea4f4e1e38bb9d32a3a","observation_id":"03cc3a40-d110-42df-b790-62838dec6f95","resolution":{"observed_at":"2026-07-31T03:58:10.354811Z","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/sp.2017.24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: SP 2017, pp","venue":null,"work_id":"cb3a9b5b-956c-4dd8-bf1f-0ea7333bfe83","year":2017},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.357463Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:df34568779c29bdf584d4671763d1b4fc7977368b73a12a144ca967fa7e790c9","observation_id":"5098485c-c908-4e4a-a863-4c3ad52e52dc","resolution":{"observed_at":"2026-07-31T04:01:34.038768Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.064274+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.064274+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-68136-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer (2007)","venue":"Information security and cryptography","work_id":"208f906f-7217-487b-aa7c-1e7c4cac617f","year":2007},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.360167Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:6e05dee354945f00df263af6291a1eb20e875b71e423bdcef7102de6b9118eaa","observation_id":"c9f8901d-90fb-4824-9ddd-a3958debc26c","resolution":{"observed_at":"2026-07-31T04:01:33.878960Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.112421+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.112421+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.362910Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.362910Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:4316022d4eb9857c2cd265be9a314ac6c487d2ebd501144f258a61095eda1748","observation_id":"58cdd85f-9bbd-4b45-8357-411ea802eee4","resolution":{"observed_at":"2026-07-31T03:58:10.362910Z","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/11761679_25","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":"8fd4c71d-ebaf-4153-a94a-20bae801dd54","year":2006},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.365518Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:2ba45c17fce4513a889688daeb49ad615d25c25196fb2020e2ffd0109980acb7","observation_id":"9fcb3cab-e878-4cf1-94e0-b9f43ca2366e","resolution":{"observed_at":"2026-07-31T04:01:33.760562Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.158114+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.158114+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0956796800003865","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Functional Programming","work_id":"1242b38e-954d-42b8-b971-4586a82d9e5f","year":2001},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.368550Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:0cb7ef56bee5fa699f1599ea3eff8f79afedf35139376e7d491a8147d0fc59b8","observation_id":"896f162e-f539-4a25-ae2b-f68cabd56e2d","resolution":{"observed_at":"2026-07-31T04:01:33.613002Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.201659+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.201659+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-35182-2_5","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":"d87aa3e2-0278-463d-afa6-e8ee3ed9613d","year":2012},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.371289Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:ccb265241d36304b5f4b7952e3b6901bcf7d9868ced4f5b1d8078348ae176822","observation_id":"4970dc79-0235-4d68-8002-cb464e0af796","resolution":{"observed_at":"2026-07-31T04:01:33.496080Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.23964+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.23964+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.374189Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.374189Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:d217d7f867ac7b826bc65382b7ff93a749e56dd2d65bb0679d18b2e1ebe45a20","observation_id":"d38538df-5bd2-4ebb-a916-08b62ec42932","resolution":{"observed_at":"2026-07-31T03:58:10.374189Z","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-030-61467-6_5","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":"4549596b-5c98-4d95-96a7-75fff1b8411f","year":2020},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.376746Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:6496cf17635487ac105104ddac8ef895dd10d85a9f3310e4e2b0d4ea0fa84933","observation_id":"2fa1e3c0-3538-4114-950a-63ebdf332c02","resolution":{"observed_at":"2026-07-31T04:01:33.386782Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.278868+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.278868+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-54994-7_28","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":"f1cea368-504c-4ead-aa43-d5e234041578","year":2019},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.379454Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:5552538894aa3e81324c65d2d5421e090f0a207ee71848627bd44fafb370d09d","observation_id":"2bdfaa81-3c4e-44d1-b43b-7c1f51a33c43","resolution":{"observed_at":"2026-07-31T04:01:33.279820Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.328361+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.328361+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-17184-1_18","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":"3b2579cc-8dd8-4680-afba-c360b2c683db","year":2019},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.382318Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:fc75fe36e498189b2e3da4dafa915247c9feae4509009c8607952f48df5ba642","observation_id":"f6b09ad3-94fa-4d0a-becc-697196255ba3","resolution":{"observed_at":"2026-07-31T04:01:33.178398Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.383859+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.383859+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-66107-0_6","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":"0ae441ec-2635-425a-b5e2-f5af46166551","year":2017},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.385191Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:d49e32558f614d59f47e70d341f3de54ef4c0c1e0f1781a1476e045b7cc1f04d","observation_id":"7b858285-5d46-4640-bb8a-9c6301b6d2c0","resolution":{"observed_at":"2026-07-31T04:01:33.055972Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.463845+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.463845+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.388043Z","title":"In: e-Smart 2002, pp","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.388043Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:c64fedd0c3a2ec1011a93f63e0de4f694792bf5dd8352d9a4e90f1237234ee26","observation_id":"29b1e11c-45cd-4e3c-9c8d-ef3945f4e257","resolution":{"observed_at":"2026-07-31T03:58:10.388043Z","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-642-54108-7_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":"5a9e9074-1ebc-4ba1-a85a-0ccf37c340a8","year":2013},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.390960Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:dcbe02f261144966dec1b2fc6a5fb0c2fa69ad69b17bd04b37fbc8cd2ce25c65","observation_id":"ee18c659-4143-4c0d-b86e-7f2ec84335fc","resolution":{"observed_at":"2026-07-31T04:01:32.910637Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.514238+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.514238+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.394185Z","title":"PhD thesis, University of Pennsylvania (2012)","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.394185Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:c0b0bd971d9d8b5065b6c06c887e228a5a800119d48da9ee36c37f4a057f19de","observation_id":"d4520801-bb8a-458b-b29a-7ff45f2bec17","resolution":{"observed_at":"2026-07-31T03:58:10.394185Z","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-31T03:58:10.396755Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.396755Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:00d5e78f4fa7b6802c11685060c9de00a101b44502904e02e89409f72c4c32a1","observation_id":"7197496c-4cbc-4eb7-a870-087aca0d4172","resolution":{"observed_at":"2026-07-31T03:58:10.396755Z","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-31T03:58:10.399374Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.399374Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:1130907fe884aa9a8a2e960bcd9502fd5b6bd9f0022f10c4e2c9450f605a47d1","observation_id":"53d0c0ea-8383-469e-892e-b41d5a681916","resolution":{"observed_at":"2026-07-31T03:58:10.399374Z","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-31T03:58:10.402473Z","title":"In: CSFW ’97, pp","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.402473Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:5e2c28e06e457bfb03bae21829b130f9139347b51efcb6eae49daf941d8f5fef","observation_id":"777ccdf2-98cd-48cc-8963-2333fb649165","resolution":{"observed_at":"2026-07-31T03:58:10.402473Z","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-31T03:58:10.409518Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.409518Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:f40e773c61721f327cd26814a2272bb9c87aef36f23aba6ae8c9336bedc7227b","observation_id":"3d85d7fe-e9c4-41ce-a720-0b8a52cd126e","resolution":{"observed_at":"2026-07-31T03:58:10.409518Z","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.1002/stvr.1544","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Software Testing Verification and Reliability","work_id":"021dac1e-50e8-40dd-8287-46f38de8b5f3","year":2015},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.415827Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:adae77e5b82340eb10cab7f3ad24caede6dfb389f0115ba3e3a89889282f3dd5","observation_id":"1770e14e-eff7-4bf5-99d3-9d7d11e6fa29","resolution":{"observed_at":"2026-07-31T04:01:32.680836Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.551855+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.551855+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-03332-3_9","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":"abfdba20-1251-4d22-9637-0e78641d9285","year":2018},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.418970Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:d1452cca7365a69da7b21371c81abc3e82e009feaf51d3ba0a72fee9172729f6","observation_id":"5549f842-6d3f-43ce-9638-8f32b75d822c","resolution":{"observed_at":"2026-07-31T04:01:32.412112Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.598886+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.598886+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-66107-0_8","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":"868a5cf6-462b-45ce-9cb6-375a6f26519f","year":2017},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.421929Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:4b93c08a8ff58eaa005f818a89b6e658e11cb51d134b320f74d397d56d17e70d","observation_id":"5578a71b-5d4c-4e85-a0a2-0daa4ee501b8","resolution":{"observed_at":"2026-07-31T04:01:32.180971Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.635147+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.635147+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.424718Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.424718Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:a85d43adc5b96333b2b17922808224c90bb3cd4648b935563d1189b11418e17e","observation_id":"8163daf0-f4ff-49ea-b51b-e1e476ecbd6f","resolution":{"observed_at":"2026-07-31T03:58:10.424718Z","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/s10817-020-09581-w","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Edinburgh Research Explorer","work_id":"fa36e42b-b655-4229-857c-09960e142c18","year":2021},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.427403Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:6083a2f9e1063a948dec62d8b1ae00095647dc23b8e1f2060e5980232bee1660","observation_id":"ce4b8019-7a01-4590-ba98-54fea51bd3a9","resolution":{"observed_at":"2026-07-31T04:01:31.957835Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.741546+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.741546+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11526841_8","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":"2fb372cb-87ce-48cf-a88b-7edba2c428a8","year":2005},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.430329Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:4afbcd24a3c0fb49c82d307c28a864f01fa3c606ee44e264c3495117406bf53b","observation_id":"9526b1c4-8e4a-4b2d-8e8f-687e454bebf2","resolution":{"observed_at":"2026-07-31T04:01:31.791927Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.834637+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.834637+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.433005Z","title":"In: CSF 2019, pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.433005Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:50099321c6823b02fa9eb771af3a14681e330fa16f94c91aa0322fae15d5157a","observation_id":"c0fa024d-79b4-464e-963b-dfc35ebe13bb","resolution":{"observed_at":"2026-07-31T03:58:10.433005Z","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-31T03:58:10.435614Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.435614Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:77c7c2fa046c5bbced26c4a438c1af2bd348afa75b7015bbe845f5f19dae149c","observation_id":"0947ba77-aa6f-4a1c-a955-27e049ebf116","resolution":{"observed_at":"2026-07-31T03:58:10.435614Z","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-63390-9_4","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":"72fab31e-ecb8-4485-b8de-b2eb715a3897","year":2017},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.441823Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:9b2093372c0db9017ffd1645a870d17a1268195c6c0d13ad95f095ff7651ef66","observation_id":"81224278-7167-488b-b8fa-5bfce8cd1140","resolution":{"observed_at":"2026-07-31T04:01:31.578438Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:24.925019+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:24.925019+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.444649Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.444649Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:ac9c23d6116b949f91e77b6f5a4b2009b60a600e6ce9ad2874f8402cd8997124","observation_id":"8ca2db4f-f82e-463c-97a1-e97a3c09fdda","resolution":{"observed_at":"2026-07-31T03:58:10.444649Z","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-31T03:58:10.447453Z","title":"Habilitation thesis (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.447453Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:ad2934e12416836c74889e024c2f1a5cada8a0b9f929578d0c314148bdd5c43a","observation_id":"9fffa7a5-93d0-4dd7-8e77-6ce603e2cc06","resolution":{"observed_at":"2026-07-31T03:58:10.447453Z","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-22102-1_9","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":"d2db7f03-caf0-4f38-9d52-feaa324f1dc2","year":2015},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.450290Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:1650431e9998cf9e6f43a09fca258ad2684964faa1645fa87a8224f50cf193d0","observation_id":"2b2745f5-b5cb-44a1-bf7b-f82214ca5343","resolution":{"observed_at":"2026-07-31T04:01:31.432818Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.004952+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.004952+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.453100Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.453100Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:9ed355d3cf4a458351623df71ebab43ec1c03cc34076c14f7205c5848a5992be","observation_id":"9c388130-ca77-47ff-89d0-7bfef254c771","resolution":{"observed_at":"2026-07-31T03:58:10.453100Z","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-31T03:58:10.456161Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.456161Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:44eca26fed7c85d33474e6f443440264818f2f6d1f7d1988caee289123a2004b","observation_id":"c7f68b62-f6a0-44db-a62f-9c1fb5c31650","resolution":{"observed_at":"2026-07-31T03:58:10.456161Z","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-31T03:58:10.458815Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.458815Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:1331686ded9429fc46bf559341960851deeb37d7387a5e379805eaa6f36f5df8","observation_id":"c3c34259-e6a2-4e01-9563-89a1498a3cfe","resolution":{"observed_at":"2026-07-31T03:58:10.458815Z","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.4204/eptcs.102.15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"78679db7-53c8-41e2-ab4b-4c75576f6162","year":2012},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.461921Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:0c0ba2ab3688f3b9df2f28b0a1e65086e75a61106f98b36c945391669a889ae4","observation_id":"78a6dca7-56be-4ae3-9fa6-c11d2c40fd0c","resolution":{"observed_at":"2026-07-31T04:01:31.271729Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.183585+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.183585+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-25379-9_27","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":"27a749f2-6527-4196-9eb0-a6b6f64e9d34","year":2011},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.464677Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:481be7401f7f9525124f0ae8e3b09e9774d7bc6c2fe83e80337015201af88c9f","observation_id":"0ca6b216-7cab-4775-b75f-5d3ec1f64f45","resolution":{"observed_at":"2026-07-31T04:01:31.133768Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.237382+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.237382+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/sp.2017.28","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: SP 2017, pp","venue":null,"work_id":"9a1a2b8a-6cc8-4383-a145-996e06090576","year":2017},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.467384Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:face11680cc4cb268b1a8a3c79421f2fa59bedb1e5b06433b0d7587412c5f29e","observation_id":"c8ce0ed0-23aa-49e7-b490-4ed97d5b9fd9","resolution":{"observed_at":"2026-07-31T04:01:30.909363Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.289042+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.289042+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.469968Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.469968Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:f0dadae7b3cbaada60d1d2af10f6f36819047a65d9ca33f79bcbfa0af29a6a49","observation_id":"56fcf4df-4c28-4afc-9c42-0081287b804e","resolution":{"observed_at":"2026-07-31T03:58:10.469968Z","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-31T03:58:10.472821Z","title":"In: SP 2022, pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.472821Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:91a7ef9473214f733d46cdfc33c54bae235f2ed7708831e2eb27fb7175894f03","observation_id":"0f64193d-d6a6-4a5d-9f02-d63ee1fbe812","resolution":{"observed_at":"2026-07-31T03:58:10.472821Z","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/sp.2012.17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: SP 2012, pp","venue":null,"work_id":"edb40720-2884-40da-885e-18bd74789061","year":2012},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.475479Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:7bebbbf84186491c9c64c3fcc6ec9ddb1b5bbacf160ddced94713b85354f2f50","observation_id":"7a2e3475-a368-4f04-ba59-280e0da669b4","resolution":{"observed_at":"2026-07-31T04:01:30.744841Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.334622+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.334622+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/sp.2014.26","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: SP 2014, pp","venue":null,"work_id":"ad6005e8-c070-4eb2-9e07-f0e5909cab31","year":2014},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.478195Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:0c205fe447107e176f45dd3533c50af42bb37e872a6ccee7e806d2f06e47ffda","observation_id":"c4ba3823-c810-44d8-9d51-dae6f43d908d","resolution":{"observed_at":"2026-07-31T04:01:30.579454Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.375132+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.375132+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.481071Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.481071Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:3394ee55a491c42eaa00605960741c925c207c7a2fbd835f88be74acb30604bc","observation_id":"f1236913-b66a-421f-9c49-af5c4a005f7d","resolution":{"observed_at":"2026-07-31T03:58:10.481071Z","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-31T03:58:10.483874Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.483874Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:8acd04826440b18d9e34e112f31af93fd0bb638cb36761824f551e07c22f4c81","observation_id":"55df4a60-def0-46c0-88a2-ef5b2af75d44","resolution":{"observed_at":"2026-07-31T03:58:10.483874Z","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-31T03:58:10.486467Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.486467Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:d86727b3ac46b95c7473d32c606f7d514ecfbd3becd3af112a574b312f39763a","observation_id":"49dba71f-c817-4ce6-96a1-2045f359bd80","resolution":{"observed_at":"2026-07-31T03:58:10.486467Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2301.10037","last_updated":"2024-04-11T08:59:49Z","snapshot_observed_at":"2026-08-16T16:00:28.755954Z","submitted_at":"2023-01-24T14:26:02Z","title":"Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)","version":4},"cited_work":{"arxiv_id":"2301.10037","doi":"10.48550/arxiv.2301.10037","metadata_source":"pith","pith_arxiv_id":"2301.10037","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)","venue":"cs.LO","work_id":"ff217dea-36a0-4dfd-a418-ec82fda0aa62","year":2023},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.489170Z"},"links":{"cited_paper":"/paper/2301.10037","citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:9c6ba59537f943ecf8cd026f63d4c474ecdea11610d8cad875c4b5df52958837","observation_id":"175508de-935b-4c2e-a470-6063a2aa99c1","resolution":{"observed_at":"2026-07-31T04:01:30.420823Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.474185+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.474185+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.492280Z","title":"IEEE Trans","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.492280Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:9bc63896333b408ff282232775736e86c717f58bc7baa527e7205bd2fa563800","observation_id":"52211bed-eb37-4527-966e-38a4d23cad30","resolution":{"observed_at":"2026-07-31T03:58:10.492280Z","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-31T03:58:10.494972Z","title":"In: 2015 IEEE Symposium on Security and Privacy Workshops, SPW 2015, San Jose, CA, USA, May 21-22, 2015, pp","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.494972Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:45defdfaf443c9ed4c0ab5ec0c091077b2f1e3e2fb7522bb2ee921efd8b9cc56","observation_id":"56a11018-1365-42a3-b249-128bc06ec67d","resolution":{"observed_at":"2026-07-31T03:58:10.494972Z","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-31T03:58:10.498090Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":103,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.498090Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:c031083ef8d612ac85a37301c35140cd2741b49cb985a4d8b0323a7f13edc406","observation_id":"fb925b12-7c6a-47fb-82b0-748bd2394635","resolution":{"observed_at":"2026-07-31T03:58:10.498090Z","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/s10817-016-9378-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Automated Reasoning","work_id":"fa271eee-f9b9-490e-af49-cd5eb79eb711","year":2017},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":104,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.500729Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:f30069835230539d0b66e975eb8b0db1b458db90905ee4821316f8275cd87a4c","observation_id":"61a839c5-e4b1-4db0-9b5f-cc19c6c07c56","resolution":{"observed_at":"2026-07-31T04:01:30.240915Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.583847+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.583847+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-020-09545-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Automated Reasoning","work_id":"dffe258e-cd9b-4a77-9e0f-3d4fda5792d5","year":2020},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":105,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.503403Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:f6b060fbf9b501b1e3269626c4df55d5bfc41797a20f5f08c8f0ebda378bcad4","observation_id":"36100d6d-a3e6-4b64-845b-ce1109a14eec","resolution":{"observed_at":"2026-07-31T04:01:30.028447Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.728735+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.728735+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.508694Z","title":"In: SP 2019, pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":107,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.508694Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:6696c86e125f86be8758ec6625cca6f98f452fdef24dd54b3e86dee219c6b83a","observation_id":"5e568a61-f763-482b-b6be-f754362870ce","resolution":{"observed_at":"2026-07-31T03:58:10.508694Z","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/3656446","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":"3ebf41f9-9e5f-4afa-b235-0af2172ac592","year":2024},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":108,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.511322Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:e3eccff36561cabb96958ab252607cc03d1a15daf808eef654aaac65ac066967","observation_id":"7a846dfc-e095-4483-9b88-c14cda36a7ae","resolution":{"observed_at":"2026-07-31T04:01:29.759374Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.804687+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.804687+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-25543-5_13","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":"bb2d0c94-aebc-4670-9f2b-8a0dbb033994","year":2019},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":109,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.514483Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:7dc49e4b23a5aee5cf4ed6677ce73adbaab12e453358b1646c7ac439f9ef23f1","observation_id":"b456d68c-9c80-4324-8d77-63779b549881","resolution":{"observed_at":"2026-07-31T04:01:29.494298Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.856844+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.856844+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-31T03:58:10.517326Z","title":"ACM SIGLOG News10(2), 4–23 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":110,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.517326Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:88738e0fad35d8d0c8f7a5d3285ee102d270ae6d4ea8be27e9fe842ebecafa02","observation_id":"ee93fe65-419a-4303-8c4a-e2456509a094","resolution":{"observed_at":"2026-07-31T03:58:10.517326Z","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-31T03:58:10.522460Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":112,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.522460Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:f008e07b3c2e1499a0aa36039191c9cbd1d471a9fa42b9acedd49e0c1f72dee9","observation_id":"affdeaed-64fc-4aac-87b1-920bb1712ac3","resolution":{"observed_at":"2026-07-31T03:58:10.522460Z","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/csf.2016.26","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: CSF 2016, pp","venue":null,"work_id":"53666f1d-fefc-4395-b120-53fd545c465a","year":2016},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":114,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.527802Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:d3bddcf03f904932184898c90c5102becb7ffa8f6c0e8ce3d11d9bbaad7cc453","observation_id":"4435f360-2231-45b9-b10e-8a1d90a0291e","resolution":{"observed_at":"2026-07-31T04:01:29.240911Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.923792+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.923792+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3290376","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":"5d30eb5e-a79f-4487-94be-c2a75134be3f","year":2019},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":115,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.530693Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:94adeee9f6ff5c4df3768e43cb441152e1ad04a393215340e613020a4584bb02","observation_id":"6dcf9a11-896b-4de5-bd67-baf2232cd833","resolution":{"observed_at":"2026-07-31T04:01:29.068098Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:25.999973+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:25.999973+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-96881-0_2","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":"267da971-a362-41ae-9d12-1c0f39c34134","year":2018},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":117,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.536121Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:dc1772610d5b59df6eea8032dec6616703ba445d36c5f1c505eabd508c67266d","observation_id":"c6b6f0f7-4510-4f4f-aa84-74469cfff73e","resolution":{"observed_at":"2026-07-31T04:01:28.808755Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:26.076495+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:26.076495+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3571223","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":"2d059496-1544-47fe-a51b-f155eb29175d","year":2023},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":118,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.539158Z"},"links":{"citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:b85028b547df47531892b639868176d28bb6d18ee140e206a75f7da2f3875c67","observation_id":"8c88620b-7350-4e7e-8b42-222782d13945","resolution":{"observed_at":"2026-07-31T04:01:28.629943Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-08T08:38:26.159+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-08T08:38:26.159+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":48,"verified_exact":52,"verified_fuzzy":0},"total_outbound_references":205},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 100 of 205 outbound references and 0 inbound Pith citation observations for arXiv:2607.28551."}