{"as_of":"2026-08-07T10:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ca37f9c237c4998895ba366caacbe2c6bb0f1d070d8f19790b221ae0b95bcff7","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T09:38:48.960744Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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.20712/citation-record","integrity":"/paper/2607.20712/integrity","json":"/paper/2607.20712/citation-record.json","paper":"/paper/2607.20712"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-61042-1_43","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lowe, Breaking and fixing the needham-schroeder public-key protocol using fdr, in: T","venue":"Lecture notes in computer science","work_id":"6c73b858-c432-4581-8a9b-bb1120565edf","year":1996},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:42.392228Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:d08955305eed28e2921f02bb45270d32d4647c7acdd7e6b9cb371b3a2f0c749d","observation_id":"568d0c84-caea-41e7-a4f8-acef4363d352","resolution":{"observed_at":"2026-08-01T09:43:40.033317Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1561/9781680832075","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"now publishers, Inc. eBooks","work_id":"2212f099-45a1-410e-b18e-58d51878f2b1","year":2016},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:42.482208Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:b44743d2ea07d02db9f581daf313e4054419449f8794b86cd82f848818afaef5","observation_id":"680d1979-d033-4d73-99ea-7fe37e83ca00","resolution":{"observed_at":"2026-08-01T09:43:39.711219Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:42.585316Z","title":"Mödersheim, L","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:42.585316Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:d71853bb54928c15195f7c3f81f6c378359501fb47839b7acb0e2796d623ce82","observation_id":"6cc72981-72e9-46ab-950c-140f454baa4e","resolution":{"observed_at":"2026-08-01T09:38:42.585316Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:42.702192Z","title":"Dolev, A","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:42.702192Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:2236204c29ac69a300b1ef8629cec71f7f97d3204509c22100d01ce5b15bacb9","observation_id":"0a017748-312d-4f35-9e73-a182bbe687e0","resolution":{"observed_at":"2026-08-01T09:38:42.702192Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:42.825970Z","title":"Wang, T.-S","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:42.825970Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:adff8426ba3c7c7e1dd57413d6733fb4af13051123ff1fdda66ec3c0fa7262e4","observation_id":"1aef4929-ad1b-40db-b50f-5494237d16f5","resolution":{"observed_at":"2026-08-01T09:38:42.825970Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1038/s41598-025-93373-y","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Scientific Reports","work_id":"77d463f8-82f6-48cf-998b-e27ba666a902","year":2025},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:42.947802Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:6d327cd945c913f2738f28806b1cbf747e078a59de18c77a4144f73f92ebfe96","observation_id":"6661265c-08ba-4799-bfe1-95981aa549af","resolution":{"observed_at":"2026-08-01T09:43:39.394402Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:43.085687Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:43.085687Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:12788299101bab1b338427b3fc758ec87101061e31c1bd56bbe55991bde8853f","observation_id":"51a31afa-3681-4c84-b9c1-82984c204658","resolution":{"observed_at":"2026-08-01T09:38:43.085687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:43.205329Z","title":"Curaba, D","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:43.205329Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:dae32360d695acd6bd52f9e8cca6d320c54afbf04bef84cbc8c375309ed0345d","observation_id":"1c9bc01c-0317-494a-9536-3d7254edcacd","resolution":{"observed_at":"2026-08-01T09:38:43.205329Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:43.317966Z","title":"Blanchet, Composition theorems for cryptoverif and application to tls 1.3, in: 2018IEEE31stComputerSecurityFoundationsSymposium(CSF), IEEE, 2018, pp","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:43.317966Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:5d45d2e13823180e2392f09850aa928bde0e3287776c434871991e8b438cc77d","observation_id":"ed740945-0a77-4b18-8eb1-9cb69df08dd7","resolution":{"observed_at":"2026-08-01T09:38:43.317966Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:43.410971Z","title":"Cheval, V","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:43.410971Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:5dcf6ef01237667f4991ae453bca807f829607a6455764e470151eee9ef89ab5","observation_id":"dba07542-7fe4-41df-9f8c-deccbf85bea1","resolution":{"observed_at":"2026-08-01T09:38:43.410971Z","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-39650-5_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Basin, S","venue":"Lecture notes in computer science","work_id":"46621f9e-909f-49d7-9ad8-66efeb0e1f86","year":2003},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:43.531535Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:c4bf180c1fea21fb8604a02e51469c5bbebd8e54381f5a973224c3d1cd49a2c7","observation_id":"204d2291-f89a-49f1-8083-6d7630461b6f","resolution":{"observed_at":"2026-08-01T09:43:38.327923Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ares.2009.95","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"ced9d819-9723-4495-b3ed-0064aeccc49c","year":2009},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:43.683478Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:d75f70b430f5d1680357fd80edbba2c03114215a98d9faefd53b18cb5c011442","observation_id":"fe3390f9-73e0-44d6-b528-eff58e594d80","resolution":{"observed_at":"2026-08-01T09:43:37.970381Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:43.791774Z","title":"Lowe, A hierarchy of authentication specifications, in: CSFW’97, IEEE Computer Society Press, 1997, pp","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:43.791774Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:0f1c8383a7bc30fb508b38d67db954abd2422d7fe4f1ca4e1b23dbb7e8dfcbb6","observation_id":"c7dca133-9c61-4500-889d-97037333f418","resolution":{"observed_at":"2026-08-01T09:38:43.791774Z","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.jisa.2016.05.004","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Bugliesi, S","venue":"Journal of Information Security and Applications","work_id":"d2de6628-7e81-45d6-b74b-b9bc6e3d9990","year":2016},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:43.951426Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:b2b4a6afdcfed69e09cc78d9ae2ff644ee7718945766fe0214314ae03cd61e13","observation_id":"5038cb54-98b1-4e90-989c-8bc88c44f00e","resolution":{"observed_at":"2026-08-01T09:43:37.686148Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:44.087293Z","title":"Modesti, AnBx: Automatic generation and verification of security pro- tocols implementations, in: J","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:44.087293Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:30ca1b066786d9cd82d297481b4779fc9831d2ae7c88f814a5f504e206d2a13d","observation_id":"369edadb-39ae-4dff-a2ef-8cf19a558756","resolution":{"observed_at":"2026-08-01T09:38:44.087293Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:44.220687Z","title":"Blanchet, B","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:44.220687Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:c4f2fc6c6b3ec520913e57dd1d016e57c92b79dfda0f59a84c21235998bb32ea","observation_id":"a6c277e5-b33c-4a8d-a3c3-c43ade969886","resolution":{"observed_at":"2026-08-01T09:38:44.220687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-01T09:38:44.343847Z","title":"URLhttps://arxiv.org/abs/2303.08774","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:44.343847Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:e16a4dc23f0bd8abfb92161053ed219530d3d28943b1317cdcbb335fdfd7e6c6","observation_id":"a18e4f49-7d63-44b8-8321-5227b4f46890","resolution":{"observed_at":"2026-08-01T09:38:44.343847Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:44.534778Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:44.534778Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:434612bc2651ba246a87b4c83eeaa3b17a857716b0da33ca62c4ab701fc8a293","observation_id":"0d3c7c92-cf05-4775-919d-c062f5592333","resolution":{"observed_at":"2026-08-01T09:38:44.534778Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:44.658220Z","title":"URLhttps://openai.com/index/introducing-o3-and-o4-mini/","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:44.658220Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:0ab391d32170654089bf97d7fc90d725662d6c9e77199eff5eca742a088fd334","observation_id":"9f4400ca-8dd4-475e-bfde-c7b30455cd71","resolution":{"observed_at":"2026-08-01T09:38:44.658220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-01T09:38:44.803365Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:44.803365Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:28770e80d29cf1a8c66e17ab1863a6bbf4e81e3461a3b4e11eb81f8c6f3173e5","observation_id":"0be5a670-350f-433f-ace4-0e66fa323f17","resolution":{"observed_at":"2026-08-01T09:38:44.803365Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:44.964120Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:44.964120Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:6b96b05d7ade193e34cdbb0736100d7dce663242ca133f5cf240c491dc4549ac","observation_id":"827337bf-226d-4b23-ab7e-5f0b8f0cd6c6","resolution":{"observed_at":"2026-08-01T09:38:44.964120Z","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.2012.25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Schmidt, S","venue":null,"work_id":"346b9439-16f0-4b38-9733-8c4ab31eabf8","year":2012},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:45.109754Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:5e1c634d06b58ef0db19987b3f59bbf20de1a84f08d0637f8ef468323b3b35d1","observation_id":"ba42254a-c1a2-432c-a765-3544811bd062","resolution":{"observed_at":"2026-08-01T09:43:36.987503Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:45.306701Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:45.306701Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:cbb0a60f7dbeb1e0935c28dcd515f02c688c9b3cdca6e85167366cf3bf796741","observation_id":"d8552e60-20fa-4773-9386-c88bc9718333","resolution":{"observed_at":"2026-08-01T09:38:45.306701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:45.428025Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:45.428025Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:46d3d91122f09d906a874fc7218d5496d377f0a3ea36768c42e6b522671aeecb","observation_id":"98a4052d-5bed-4244-a33d-b4437a23e24b","resolution":{"observed_at":"2026-08-01T09:38:45.428025Z","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-10082-1_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Blanchet, Automatic verification of security protocols in the symbolic model: The verifier proverif, in: A","venue":"Lecture notes in computer science","work_id":"88758989-1329-48e4-a9a8-d4a4e5896f15","year":2012},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:45.589895Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:4676bce07eb1057ebcceea70e339c0d5653339225b86e41693f3db7a773d6914","observation_id":"3aa171a5-b8c7-4ed7-b3cb-2010b6c90ade","resolution":{"observed_at":"2026-08-01T09:43:36.541904Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:45.717448Z","title":"Magar, R","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:45.717448Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:18c9c94c2146999329089a619fec09251b6dbae66d2d1c2704f8b51b4666103e","observation_id":"8e951d0c-0b5b-4e20-a25b-328499a95564","resolution":{"observed_at":"2026-08-01T09:38:45.717448Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:45.839736Z","title":"Sainz, J","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:45.839736Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:1f2e6629a31cf0f22ae9df3c7b955838ca58fa9aa5f87781f3ea06690f3930f2","observation_id":"42674813-7b52-4ec6-8a9e-2cea13dff1f5","resolution":{"observed_at":"2026-08-01T09:38:45.839736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:46.001723Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:46.001723Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:997fe01b9f985c2c70a73ddca935a0b545b9317f9954392f88edae28fdca3f76","observation_id":"3a916152-e7ce-432d-ad03-dda13318b5a5","resolution":{"observed_at":"2026-08-01T09:38:46.001723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:46.186872Z","title":"Sommer, V","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:46.186872Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:d1cbe1bf4b07b9db9753c39dc5dd01e97c1943b0e3a861b416217ff156127d19","observation_id":"0e1cc265-de8a-4082-a309-bb23181f27df","resolution":{"observed_at":"2026-08-01T09:38:46.186872Z","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-031-82150-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Communications in computer and information science","work_id":"8144282f-5216-4836-a95e-8a13582a822b","year":2024},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:46.357924Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:bd2909a3be1b3b432074673de436a4323f58bd912d3685b6502aab0e7c19d76d","observation_id":"e5dd3993-2a3e-4f27-ba68-c5503a4bd88f","resolution":{"observed_at":"2026-08-01T09:43:36.177705Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.01499","last_updated":"2026-05-19T03:44:05Z","snapshot_observed_at":"2026-07-06T22:31:24.978726Z","submitted_at":"2025-10-01T22:21:50Z","title":"Beyond Majority Voting: LLM Aggregation by Leveraging Higher-Order Information","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.01499","snapshot_observed_at":"2026-08-01T09:38:46.461601Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:46.461601Z"},"links":{"cited_paper":"/paper/2510.01499","citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:14b991ff8f4a299d46601018c5e1350f6078094b45056ae7aef38eb9c7c6872f","observation_id":"7fb5582f-1814-4fe9-b0f0-13efb94384aa","resolution":{"observed_at":"2026-08-01T09:38:46.461601Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:46.563937Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:46.563937Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:f7549d26617763c2683e7a594afcd2b2efe0fd279ea43b906efc5b2c27e30c0c","observation_id":"d26a7f7d-35eb-4959-a8d8-c406348dc8c5","resolution":{"observed_at":"2026-08-01T09:38:46.563937Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:46.661124Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:46.661124Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:a179c340d6b112be5de84fc88aa3d7d16eada62a7b34fb5cea842b1ac5a0c057","observation_id":"25b25849-35d3-4be1-a81a-e34ffe88a16b","resolution":{"observed_at":"2026-08-01T09:38:46.661124Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:46.775804Z","title":"deepseek.com/guides/reasoning_model, deepSeek API Docs","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:46.775804Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:9032c971c4d8e879da4557c388ea40b218dfafb934ca17b39bc6d1315d0fd29f","observation_id":"d62bc5ed-70c0-4587-ad7e-e5f2bde2ad8e","resolution":{"observed_at":"2026-08-01T09:38:46.775804Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:46.842903Z","title":"Accessed 14 April 2026 (2026)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:46.842903Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:99e323fac392f718c33a73aacc597c853c01ac5280b131ed0baa384f7890a0bc","observation_id":"3304b720-44f9-4f8e-bbd3-7e1f1f346dbc","resolution":{"observed_at":"2026-08-01T09:38:46.842903Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:46.974285Z","title":"Sheng, Z","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:46.974285Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:df4a36c0054ef16f08ca70c49537a5ac59bf745f2cddc4953a8c48c9b2e21071","observation_id":"caa2d66e-d145-456f-ada4-efcd558cf0e0","resolution":{"observed_at":"2026-08-01T09:38:46.974285Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:47.157964Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:47.157964Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:1d7a4f1b295cb96299bf67cb6f1549a22db72f7feb6131e5d3e300d3bfd5c9bf","observation_id":"546cf968-8389-4523-a452-48d8f9572a60","resolution":{"observed_at":"2026-08-01T09:38:47.157964Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:47.348244Z","title":"Pearce, B","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:47.348244Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:d3242ebe6f45a7c4f86877f47f0d51bb8e30761a6c2b35ad739a6f96c34f8c30","observation_id":"88717a09-054d-4e4d-8908-6384e7845bf6","resolution":{"observed_at":"2026-08-01T09:38:47.348244Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:47.464276Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:47.464276Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:51cb094c21e8b6bd0bd058b1d897f689e44cb9979ed7f7d110116f6bd2ab8825","observation_id":"7daed4a8-a6fa-415a-bd84-74b5a0997636","resolution":{"observed_at":"2026-08-01T09:38:47.464276Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12697","last_updated":"2024-04-12T02:50:56Z","snapshot_observed_at":"2026-08-05T17:32:59.209954Z","submitted_at":"2023-08-24T10:30:33Z","title":"Prompt-Enhanced Software Vulnerability Detection Using ChatGPT","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12697","snapshot_observed_at":"2026-08-01T09:38:47.582514Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:47.582514Z"},"links":{"cited_paper":"/paper/2308.12697","citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:12ce081bacca04027150b935054724f79e956d7d03a98fe2e4eaabea5bb7e0fe","observation_id":"d8421f9b-7629-4edb-9887-6b7f15ff71c4","resolution":{"observed_at":"2026-08-01T09:38:47.582514Z","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/s10207-025-01112-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Conceição, N","venue":"International Journal of Information Security","work_id":"133179ff-03d2-4d00-93cd-0e6fdd79d6d9","year":2025},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:47.728522Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:174f6dc98ee9ece966a05fbe01aa3a8f7f5a098827b32b6bb3481712f8a76ccc","observation_id":"a6730305-9f94-4dd5-a7fe-6482ffe73da0","resolution":{"observed_at":"2026-08-01T09:43:35.287121Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3808184","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:43:34.744855Z","title":null,"venue":null,"work_id":"fd2eb70b-4029-4eea-90c9-478fd5086c68","year":2026},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:47.860786Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:2d1223b2fb706e3248f57627e99222a395877b4a7a3ccb650a7c4b4e4adb5d58","observation_id":"bb6bb314-3e4b-4cf4-a7af-d59bfd384239","resolution":{"observed_at":"2026-08-01T09:43:34.857903Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.11382","last_updated":"2023-02-21T12:42:44Z","snapshot_observed_at":"2026-07-06T14:54:37.559648Z","submitted_at":"2023-02-21T12:42:44Z","title":"A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.11382","snapshot_observed_at":"2026-08-01T09:38:47.940209Z","title":"White, Q","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:47.940209Z"},"links":{"cited_paper":"/paper/2302.11382","citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:5ff811fe86e78c08f9036f756004c1d93d54fdbf5b0b61b0529c2e2855ebe4f9","observation_id":"06acea4b-b1bc-4945-ab34-a7e414fd5ee7","resolution":{"observed_at":"2026-08-01T09:38:47.940209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.17230","last_updated":"2024-02-27T05:48:18Z","snapshot_observed_at":"2026-07-06T17:36:01.939242Z","submitted_at":"2024-02-27T05:48:18Z","title":"Chain-of-Thought Prompting of Large Language Models for Discovering and Fixing Software Vulnerabilities","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.17230","snapshot_observed_at":"2026-08-01T09:38:48.127344Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:48.127344Z"},"links":{"cited_paper":"/paper/2402.17230","citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:bdc0ff28e32253d9a7d831e4bd8d55cb04b7d4add3592015ea3c9d55fa20a591","observation_id":"25beae08-79e0-4853-9103-04aacc3f3b88","resolution":{"observed_at":"2026-08-01T09:38:48.127344Z","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.52202/079017-2123","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"fc384061-754a-4fb9-9608-5c969bb06d66","year":2024},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:48.245733Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:7dadfb02c0475f0a1f6727c0c187584f70ee08f9aafecbdd594bba17ce666fd8","observation_id":"04e34d7e-60f8-4101-b89e-8aad1daa3ba8","resolution":{"observed_at":"2026-08-01T09:43:34.544728Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:48.316123Z","title":"Agarwal, A","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:48.316123Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:945ae0a7c8d2da2796a19755dba44cb8d41263de5e78a5cc32aaaac7d9bf8164","observation_id":"651d332d-e2a4-40df-a35d-a7647af9ac2d","resolution":{"observed_at":"2026-08-01T09:38:48.316123Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2601.07525","last_updated":"2026-05-28T17:54:13Z","snapshot_observed_at":"2026-08-03T11:09:23.650869Z","submitted_at":"2026-01-12T13:25:28Z","title":"Thinking Before Constraining: A Unified Decoding Framework for Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2601.07525","snapshot_observed_at":"2026-08-01T09:38:48.453048Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:48.453048Z"},"links":{"cited_paper":"/paper/2601.07525","citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:db49a0bbb2772117528482b464f53c4db0d8c60277fb6c8a793bc62f2d31d862","observation_id":"2c6fa425-eeb5-4176-8c8c-b2e25368b0d3","resolution":{"observed_at":"2026-08-01T09:38:48.453048Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:48.570576Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:48.570576Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:5e610b17227da88e5153d0aee8a1d021a17a273f06545afd482abb3314d36397","observation_id":"ef1ed707-8046-4972-9b97-eb960e0d3948","resolution":{"observed_at":"2026-08-01T09:38:48.570576Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:48.694553Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:48.694553Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:4a0fd45db0a3f62eb83bcffddbde9030ad601ad15efc5878bae08b9c1fb8cb11","observation_id":"d5422ba6-abba-4f52-b081-08a73fa0a3a1","resolution":{"observed_at":"2026-08-01T09:38:48.694553Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:48.815903Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:48.815903Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:76a9e2e55dd84607164cd30982ef5ebcddd3909ef3fd5ff18dca1e48a13a30ed","observation_id":"b1f7a984-d062-440b-b9ca-c3f70b91fd30","resolution":{"observed_at":"2026-08-01T09:38:48.815903Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:48.883667Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:48.883667Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:203bb650507c0115f34dbdcf693132dc9db7f2d567288aed6dd272b10cf7efea","observation_id":"41f43838-1812-4af0-9d8b-ede3d3642311","resolution":{"observed_at":"2026-08-01T09:38:48.883667Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T09:38:48.960744Z","title":"attack found","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T09:38:48.960744Z"},"links":{"citing_paper":"/paper/2607.20712"},"observation_digest":"sha256:9f8bec118d1faf8e1d90b246eb173405ee8c65930de3b1c4c2442aa9d5d4d7bf","observation_id":"59f30d3a-6b23-4f64-b800-51b95d5da7ce","resolution":{"observed_at":"2026-08-01T09:38:48.960744Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.20712","last_updated":"2026-07-22T20:29:59Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-04T22:41:29.842285Z","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":6,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":34,"verified_exact":12,"verified_fuzzy":0},"total_outbound_references":52},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2607.20712."}