{"as_of":"2026-08-09T12:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:73f7a0a062ce1145e0cf3cae127c2f6fdc2852dbc368aa64dbbb8102534ba339","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-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.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-07T20:13:16.974505Z","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:33932c2a4f27ffa95e353687e840d5b5bd0f0f1b94eb56afd1c1cbfd2d31d140","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-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-09T06:30:57.326959+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-07T20:13:16.974505Z","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:ceb0d911cf47b79ccb60efa65f78d4d3393326f5d46562be403068784c9793d2","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-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-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-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-07T20:13:16.974505Z","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:cd3f5c800fb97c60519e4be912b0002a3e3869a6c27d3da7e2f83461ab8aa808","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-07T20:13:16.974505Z","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:8f496dfdb788d3de3299b9fac9f4518785539f44e7d122acf673b2d0e5b4dad1","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-07T20:13:16.974505Z","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:515498d20f056616d459507d827fad275a45c2b18b120d4ade14608393d53ab5","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-07T20:13:16.974505Z","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:c6942503d8d1dfc76d1a38ac2196a2d57e49de20a5c068d2c49558c0f83b5321","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-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-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-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-07T20:13:16.974505Z","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:8dc134afb942eec0a04552ac6fcd3ca56580e62885aea47a62d8711e5035e900","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-07T20:13:16.974505Z","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:f66491e54ef530ea69b7515b1b39a4a8c201e162163ae0c0dd58e0b669b85996","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-07T20:13:16.974505Z","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:36c7a4a5289d60172ae431233c39b635555b11fc53edab4fba9734975aeb8c2b","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-07T20:13:16.974505Z","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:2f4eda184a636012757f5b17ec3aa42f2dee6b67cad827d7fca452ea198d9d6f","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-07T20:13:16.974505Z","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:ba2e2c1d14f030c000cd3bfb871031ffe2b86c0347f4d28c0d75d13449110670","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-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-09T06:30:57.326959+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-07T20:13:16.974505Z","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:71dc68bcd4b12376d7a74e8376840099559fa672c1e20a082d6b77cbc61795b3","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-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-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-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-07T20:13:16.974505Z","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:2c042991b4f5b28fba91de7e7596ca707d1c598b10b386db37831b1f3f8d0b10","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-07T20:13:16.974505Z","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:a2c5950fcc83170266bec3c1f6e60aa8eeeee530eba1f1739198b4632511408b","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-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-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-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-07T20:13:16.974505Z","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:a72c957efe2837ef5f6b7a68c41fe85c4286f64504f72bad753269ca27ae96cc","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-07T20:13:16.974505Z","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:a714a1a92f695a5359e56696060093f89be7437d399c32f28537cfbbbeea12a2","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-07T20:13:16.974505Z","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:cdb87a5376d106d86ed501fa5e6afb2532e2459a117985efb0a409b7df298392","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-07T20:13:16.974505Z","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:cbdd9050ec372da6384706e7f3839c91252dde22b3e58815994f061bf9937e2a","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-07T20:13:16.974505Z","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:18ea8fe085f073f99331e3d9debf3f3b78917f865834f64fbb6743f94db4757d","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-07T20:13:16.974505Z","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:b7403d2ebc8c5c12ca83cb7472f561c49dddd8547533529c47f8b6ace9095a8c","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-07T20:13:16.974505Z","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:acf8532a80f68aa2aabf49177ce829c001dc9b8a87dbad2b7f474ec118365eef","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-07T20:13:16.974505Z","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:31d000713436e277ef2e3717c99a5014006b9ab0a3b999cf24a00d17eb3770e7","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-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-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-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-07T20:13:16.974505Z","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:ad950598d40ad77e8483d4e137d047afb46937a8b82d0733671262c4c5ebc217","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-07T20:13:16.974505Z","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:4238c7cbcbf1f8fb65ccb54a79cf63de64d3b29e157e33adaeab9da6b6d1d7d4","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-07T20:13:16.974505Z","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:c7e0c25debb18bccd39561525c793b1220714570c21fc2d4e923ee338b6358fc","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-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-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-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-07T20:13:16.974505Z","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:78612db8c19e845c3a2d627a3c910ceab7a8a416001e8dbe2c32a9ea0a10238a","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-07T20:13:16.974505Z","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:4dc11d39709c67c6d50374538c0761329047a1ea1e859cbffd2e2e1f9483a708","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-07T20:13:16.974505Z","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:9b2e340cec6331dbf1615458f3d3171a4fcbeaeeaaf29eaa94920d4d3d078a3b","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-07T20:13:16.974505Z","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:8fab734e77c740ccaec3fe187d2f10fe597652781ee7aa224111ab35c06fb792","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-07T20:13:16.974505Z","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:5942f983348cc9f8a150c01f4284af8ac24c735159fb2695ab2b5769fff1fc65","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-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-09T06:30:57.326959+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-07T20:13:16.974505Z","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:3268f800da7709c3c6cf7b21591f09018966fd7a3f2dff448a853c2b30d58af0","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-07T20:13:16.974505Z","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:d5f20190d96e7af9d12dbef7ef09f8191babee40d92d16ef7ccf4d910e8f5c89","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-07T20:13:16.974505Z","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:658f463e0fcd093d25ac9ea2a6de3c58209765fafa15c7e402f2036d8fad4388","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-07T20:13:16.974505Z","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:eafd38b04ea0caa1c09c3b4f8143e3420f4596a097bf3dffd506c9d765aec8f0","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-07T20:13:16.974505Z","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:86e9027d5c7794a1969a757c602c73670a15f3238cf6ca72e48c142004af60a7","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-07T20:13:16.974505Z","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:f4c8ac3bb00496de0e6055671f97732b00d44110794d671a804aa1cc27ce875c","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-07T20:13:16.974505Z","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:b75695f203605d96202b1b33f0b3bcd4ac0b385d92e97fd85817c6563b13ca60","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-07T20:13:16.974505Z","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:996c73adcc0a6a151b900a8bf826107bde7e065cd1061d044c8ee92c5a050a99","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-07T20:13:16.974505Z","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:65e9d6f71949370a2f6e5bf70c77f92832ec50c99bee72d5ee920e6304022cb1","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-07T20:13:16.974505Z","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:eb4423bce0a0e93d6468dd86dc1ed89dbc9448b6cea451b24cc5e5933b47fc0b","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-07T20:13:16.974505Z","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:7db3d5a83a8b2ad00ac2519c680d6f4b4143dc71b96d8450fc2ba842c45c69bc","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-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-09T06:30:57.326959+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-07T20:13:16.974505Z","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:ce12a514d73e0dab24120bd48994caf34fe7fa7b68ac8a60238322be9065dbb9","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-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-09T06:30:57.326959+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-07T20:13:16.974505Z","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:a1776880ac021626057bb3f321f32423152060f21f8956fa03993d9b5c398495","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-08-08T04:55:22.343894Z","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-07T20:13:16.974505Z","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:cba3150785ee4476ea07a27e0c82c3b2249492e5a5fdd8e5ded39bb4eed990a2","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-07T20:13:16.974505Z","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:84a20ee730d010cc0ae070599c7f7e97edf33e9518608ad2cb239b9727fce999","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-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-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-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-07T20:13:16.974505Z","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:6d585b191d91e6228080a8bd40ec7117052cd12a52a94e2cdfc644613f1eb8b3","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-07T20:13:16.974505Z","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:a3e45151bfce2175a6dae55b10abe1e4bb17ee664b7446607571717ce70c6ee0","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-07T20:13:16.974505Z","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:faf94cb8e362fd3c3cea692a47fc57f64b9caec712d71335a60056d037a25ca2","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-07T20:13:16.974505Z","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:f36bb2cd1cbec476e89971176d7eb216edfc02c00a4d0a77f941c566fe0f6e0f","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-07T20:13:16.974505Z","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:a36300ec19cdc5efdb991466bd7712417b492e7b21a8ce2abb4aa96f9734878f","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-07T20:13:16.974505Z","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:149d6d01e6895df9a6ba1cccf87a0774d086052e22f716f35365a16a46ac79ae","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-07T20:13:16.974505Z","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:8d4df56cc184381c616838ba343861840e356b7def1bd8fa7c513c07039763d1","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-07T20:13:16.974505Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2607.20712."}