{"as_of":"2026-08-10T04:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ee10d27c2bb56e141dc699607c57cb1ddd320706044869ca432e61b352cf4ac8","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-09T06:31:02.800959+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-08T01:59:19.433610Z","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:102b43fc89de5b8e01e266c5ccde709514617ec8da504305ddf658ce8666f918","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-08T01:59:19.433610Z","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:03674997afa926d0b35db6659387e60e8a8c179bf6c00f0e6ac3c8afc78b2d93","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:44cefe7de4a5cdc4f1e1b21dab110b51730c12917e8826657912a522b483dc2e","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-08T01:59:19.433610Z","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:4fdac7e232b436dd825bf637864963ae35c3f5af2f6963afb5fc67f2b34efa7f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:6b93c5af123f223ac77372e008dbe23ac03ec3b5dd593657baaecab43aaa61d6","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-08T01:59:19.433610Z","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:13ed710c4cecdba6d24bee3c5b78173eaeebc76b0c89bcb62454c0fbdfdcb9a9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:3aa19e276940824f87a061aa165ed0d9fbcd35e6cc237367505b7af09d9b474b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:7cc4daee66feb768325ab824c959e5d7eb884c8f4a3de0351951221db91e25b3","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-08T01:59:19.433610Z","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:512d38709d989a708f8a517a2dde298ab7e910e5e9bba64fbc82ae95c390988c","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-08T01:59:19.433610Z","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:78c2cbda57799f379241a2d7a555f3955746c43cb7cd95162682138d21e4901d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:69cbc73cd00f536d0a81d9e0d732e28036b53f94bf22f78257b095c2998e25d5","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-08T01:59:19.433610Z","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:a5c4cb51e605c9898b43f730a03d875cc4cc7b747058cd0b152fdbba7aa3d7fc","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:3861305771e2ac040a0f6601f35119bdf6b9270899dff8ab7bc530b498715734","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:dd03530c2986e83684b9d62d43a07d491236bebf9957e3fd0dce82b06efc85d8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:7cc05cb77e8c2f7e8e39224bc06a65db5e9a3ad621bc1b617908d259b2825dd8","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-08T01:59:19.433610Z","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:1374f94cd91dced6d4cdebc2ca6e80aeffd2adbdcbe6dbccd8e575012c992bad","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:1099ca1b6a7f90ed268aeafd7dce6b8bcf8bae76ff4abffec69a89ada504275d","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-08T01:59:19.433610Z","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:d29776510f2ed52ff47a563a10c6c210ea3f3f723b313b364f6edb928982ac2c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:23f354772d742327cc45cdf6110fce00eac47afd040b101ccb252f63febe2650","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-08T01:59:19.433610Z","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:ee55f6b4beeee6ef9aaf16ff0c0865daa2e9ee8152614debdce1277a8688bff2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:8bbae51abca2d96ebbca9fb55f6ea1dd2424a6834639100cedab881cfac4b46a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:9dd2439888f7e2d050d2b5fade0a07797f5801e70102bd0e9173ed603f2de6f3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:ea57b8160ffb945bd22e46cf04ce2fcec89d0cf291b865f1a85ad987a6e0aa01","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-08T01:59:19.433610Z","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:96115bd49fda61ba1cd710d297861d32af2dcc4a0d8f4b3d5bc0562c771f92d6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:0d1f79547cde981acac3b361d49ec17c63a6cc6822307054242ce4af9e9e420b","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-08T01:59:19.433610Z","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:0d97f00543138d049d832285409ec921e0e5b39e40f2d38e9ddefcb9acc373b2","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-08T01:59:19.433610Z","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:2b3a733b6bf755ac0760024d446d02e9fafd4e390ce20a4f0d259ff550072e3c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:c6570bd86597820841bd6cba351c686fff09772e76aab3d6d2fcb5536be73c4a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:4c7e875cd182b6c5cda2a1c4266fd87620eb5a5f3f90c381655899813f96873c","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-08T01:59:19.433610Z","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:867081c61bf800b523e682dfaaf4d790c71fcbe9426a99516ab7155d6101e038","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-08T01:59:19.433610Z","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:1cefb9dc5bfcba80a1d2d72c9547984badad9f856e6ae83563c724f28341b2b4","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-08T01:59:19.433610Z","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:30242a29fc53bfa13f207f1e70a4a3b9ddc00b0b5fc6a252a55778cf514a54dd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:cd66b870f0965a2b6c6f751b708676aa355388b1bcff47185f5cb4b244f52a80","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-08T01:59:19.433610Z","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:ccdd2f11a99f8a039c37b1fede96b13e32a715d7d42aac67142994c84db732f2","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-08T01:59:19.433610Z","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:be9853bcc42da6d4740ad088ff4583b7f2561a8a323df7e2081ec375e17cf993","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:8cff9dddebbeb8bac870014bf00438b7d6e18cbb129e6cd582c5013b2e3fe187","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-08T01:59:19.433610Z","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:fe590a6e8bccfda657eb040de2735af76104aec24d826a2b443153ef0bbd8ec0","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-08T01:59:19.433610Z","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:11cc7098c2f5a9fcffd0c23adf82b976bbf2df8066b76fdc9cf247a4c4847bc6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:68c31269573029af54e420aa159dd6682f6716e9411ae8d833cb7d216743200a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:8da8a3f5b004de93eeedb7f4cc0e2589c986aa9372f01bc0ae50a7c79e347e48","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-08T01:59:19.433610Z","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:9cf8588bef71b5ca2ca18f97029c32feeab1c4cdfcf500747763afaab473bfd1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:6433caa20921e73cafb1427f1b1322167cd3ffece5c4cd82d22f9d617d4cba3c","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-08T01:59:19.433610Z","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:4c32d5a2504ad71bddd34524ada331585af27fe2d15f713934223805c950f895","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:0595497da8f198787712f0d078c45676097181ec80ec096df8f866558dc52ef8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:bfcd684adddc76e7187c20e09237a05e91996987826a3dc969426adce71e12d4","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-08T01:59:19.433610Z","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:3ddcd888c40269c0528cb7baeabebad4d50668a520aa19a8c8c407ab8c1d44a3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:9aa991ec4c8308f31a7bc088d8418b06cc31c5b56598afabd2d2a1d24405ba95","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:a67cb1a4c0a7536b3a6caa2e4951494cda15fab834dd8cc78ee8363b239a23ff","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:381449291cfe507ba7b1f28f7308b1fdc5c3e755d5168b770bf6f37a7ad47420","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-08T01:59:19.433610Z","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:8caf45207ad2a3a58fed3924e714aa473f019ab0fce3d0f869633249d9eb4df5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:3c981b5432897cee84f2c402b63b338e618a61c4969670ac6426b563abcfe3cd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:50874fdc9f911b0bac1ac01830a3032b78fbed691de6d7d0de42092f7b05b866","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:86ef9caa2cc99b79a49e2c63b576c8f079f18e991b2c68a12e1990a5ba7d7007","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:bd0056ad1e4f6ace3aca957e99325dce919f6009f6ba8b157337895976fcd3ee","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-08T01:59:19.433610Z","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:eabbc2f2a9280fe18c8c03cf4cd4b7c5dc8752b027af7628486b9c524a3f2e98","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:8dec969b6f34b140708b95777bb95310bea9bab2329f0cb2fe21413436a177b9","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-08T01:59:19.433610Z","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:b861c7a58ceffdfdd2e71a3abed7f24b110fddb7f0324c3c0b6b736b2366f4b6","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-08T01:59:19.433610Z","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:500ddaf7abf71b3af33252b1715ab4da7fc3847afa205a76d5b3f1b516f847fd","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-08T01:59:19.433610Z","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:d02c368173f7ace34bf1792cc57c83e49f8b5ddf2cff913ebe8b050d6ca419e8","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-08T01:59:19.433610Z","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:63a78302352b3b305e301c6d7380dcf7bd936f7c5a971333d5833e3bc4547692","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-08T01:59:19.433610Z","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:c58f2230a3f574638e3c24badd11e606d9c60f807767ec13a8f2fe4b90a86dc5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:c99aa791c1aae59bd29a671f4e5f72885836d61908729341477659b6a565a532","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:5a5759dc242a7db0139ffdeb17839873c54b5b52355072015907ab136540e4d5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:b2d25c45a45a4e4e3acd3fe7221c9edd3c8f80801b1dad743240c1d946c252ba","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-08T01:59:19.433610Z","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:3e15a75b776924f99af1d567d286ee060499cb5a5776b3661067fb565df88a33","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:c04bcbfaaba79acba43f32ec5361ee7d1de321823694bc374e44ac348b5b51b8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:2fb79ca1f669988934fb83361cce15a1af04de88319745828a245d000673a3ea","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-08T01:59:19.433610Z","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:43ddb5195314863b9b73121587f758ebd9a447279bd760ac075486b6c024e63f","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-08T01:59:19.433610Z","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:7deb34fbebb662cea08b11938528fbfb72c75c80e36d0fdeead6083f0eed6b0d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:c5eaba8ae675315b4448f60503da08e0fe443085836745f6d43182fa86d03401","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-08T01:59:19.433610Z","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:bf0bc165e051450c5d92b2f35924b512205957b73ea1c53e37d04ee6ebab2b5c","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-08T01:59:19.433610Z","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:b98741bc54901b5739e53f2476d6c1541459de8b0ca8028c1bd16ccb6181e321","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:dee5d435d5d814553a36b44517381d0a7f8568f56ffe844e9c46cde50a43cca7","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-08T01:59:19.433610Z","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:3de95579326c1aa5b76a709734dea816d94e7f0026b7556fa7dda81dc51dd9c3","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-08T01:59:19.433610Z","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:dfb86b74572072143a85c68c0df8a2da2a20701349fa26dbc9f21b359e5329be","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-08T01:59:19.433610Z","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:781b8ec12e8482c84d6563a007160ac39662034cf8de860511ff7a356ef31dbb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:3dd890348810bd74916fa72409ce7f7de14686e90cf521aa04e361c2e985c73e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:df8edb7e3684b757a6a17383e75fd9a539320a065e5d5bfc5f4d73ad7c53ec18","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:38e87658dd2140007bdaf9fb6cf878014f98ab61f50b268f9095f809edb7b0d4","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-08T01:59:19.433610Z","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:35038a30c079c468192f1a4fcfda1b8830627aab1aafe6cdf2e86a72ae18f367","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-08T01:59:19.433610Z","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:5f5f8449a5474194be1664ef02b344d2b199c5976cf47a32c2cc516eace13218","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:c2f0e7cdee461ab49c0b21bd06e3992f26374b395d69c06be36628d4d746038f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:598e1d941655facf7168db91612b1bee1fb09eebb33d7d419996f66f6bf92cf5","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-08T01:59:19.433610Z","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:34d9a1ee5d669bccd0a8a8d557a3c8f700b607aafb36a38497c19ba8ddd866dc","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-08T01:59:19.433610Z","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:9ccba45f02a2af38c35ee6d2d1cd4a19035cc06c96e2daf412a9cd540fec73cf","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-07T08:57:03.224136Z","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-08T01:59:19.433610Z","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:263e33e21db7eb27e9db7c4e54d933aaee039afe2b6ff9152f26c271ccff3279","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:2ec44f32e30bb0cbb25f0da11160090cd52153d16ae0d6d4d4e8c9f92076b7b8","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-08T01:59:19.433610Z","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:6853f1d615f14cb75d2ee2a9e05538a98c514e0a14b502826b180963f4826557","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-08T01:59:19.433610Z","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:64df541c5b4d9187b1a73d7a3e013b94008eb922652953b25c31aa829b34e5df","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-08T01:59:19.433610Z","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:6225a7c1df1d079a433f61781f417445f0a27f2a4e250a3063a2ac4db40c0e30","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:c4b0e6314cd8732d14981bbd9dd63adbda19ca83aa0f28e77cffe2f23a067d79","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:c946bc2132614804510c48ee1b3055a21eabbb6d1374025b247ec96499013695","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-08T01:59:19.433610Z","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:2cffd3308beb8674c6628d2d95a597c44d13ac075973c5ac146eb473e47c3933","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:3d9ebf36e637ec695ecccb12c540be62e3b0ecf6d2104346947322578af267de","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:6b96dd43fa18252411b5e1bd18fc8fecd5073ef22f10830563da58f9f80ca326","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-08T01:59:19.433610Z","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:bb5c1862decb695fdc17e1f9d5f74657c8fc89f4c6f3d1f89c2467a54b79aa07","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-08T01:59:19.433610Z","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:722e03c0f8018631df54375bb025fc45a82c9c76d3849ba027650d78ab11193e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:1577f2b4d9eba2c31fb55cfd38eaf7883983c9e1027fa328ddc68d516c25b625","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:467cf08d09333c7839d6742ff75774bd5a64fde5928de7496e2eec83b4238bb4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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:bb1dfd304b8ef0225afd631ac980f9280a648293b7a770d40e426f763e5171f7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+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-09T06:30:57.326959+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-08T01:59:19.433610Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 100 of 205 outbound references and 0 inbound Pith citation observations for arXiv:2607.28551."}