{"as_of":"2026-08-13T02:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fd7a4963b8edde78d56c77aa3eda1ee22464dd8735169ff874337ae4dcacb226","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T16:36:45.506420Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2411.13627/citation-record","integrity":"/paper/2411.13627/integrity","json":"/paper/2411.13627/citation-record.json","paper":"/paper/2411.13627"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.938470Z","title":"URL https: //app.grayswan.ai/arena/leaderboard","venue":null,"work_id":"3e0c3dab-433a-4b72-8ed3-ccbf2d9e22cb","year":2024},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.400298Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:4c1f086d4781ee85d6534f93b3583cae0515821930879e69607be6e556721356","observation_id":"098d5a38-09ee-46d0-aba0-1fa5e8a16dc0","resolution":{"observed_at":"2026-08-12T16:36:45.941464Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T16:36:45.406807Z","title":"K., Näslund, M., O’Hanlon, P., Papay, J., Suomalainen, J., Surridge, M., Wary, J.-P., and Zahariev, A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.406807Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:57f441838532e588831b6de88c13f91ce24ca41ed6efe8cf399a4f3e2187cbf2","observation_id":"60a1158a-d15f-4a30-8514-246b4b4a1b01","resolution":{"observed_at":"2026-08-12T16:36:45.406807Z","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.1007/978-3-540-30227-8_68","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.555672Z","title":"and Compagna, L","venue":null,"work_id":"3354c71d-8979-4068-a9bc-c345e43e92a0","year":2004},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.409982Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:2e0c72b776a527a4eea36f12320fde5f2674524becf9f4d899c7aaa85c3da653","observation_id":"403468e4-0e88-4a0f-b256-62fe5eb7dc5e","resolution":{"observed_at":"2026-08-12T16:36:45.558764Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.930010Z","title":"Alice and bob meet equational theories","venue":null,"work_id":"bed81600-dcc8-4ea3-bda0-7ba93f0ad30c","year":2015},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.413288Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:bc93d111d2bf1d6cef7567decb183aa8c52230146ebfe7eae7eda3d9fd3bfebd","observation_id":"845ec845-b448-4960-aa3d-f7999ac12d51","resolution":{"observed_at":"2026-08-12T16:36:45.933169Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.921753Z","title":"Ex- ploring the dark side of ai: Advanced phishing attack design and deployment using chatgpt","venue":null,"work_id":"d8c3ef1b-ac87-4dac-9840-d35cbac9cefb","year":2023},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.416595Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:5a249339c8cb4d11ba2fb621d2234c246fb2737848e1632cc0acbc75115674fc","observation_id":"f74083a3-8868-4c6b-9211-4051f510423c","resolution":{"observed_at":"2026-08-12T16:36:45.924869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.913450Z","title":null,"venue":null,"work_id":"e1780c00-cadc-4e5e-8487-96d0d3ba6f87","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.419842Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:c71d91cc74ac64c87b1cc3a415e270347d36953fc1192859fffb56614d55b6b4","observation_id":"11304e14-c618-47a7-aec0-998835a37ac1","resolution":{"observed_at":"2026-08-12T16:36:45.916357Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.904979Z","title":"and Yao, A","venue":null,"work_id":"6d173245-77d8-40d2-8fc7-57c8ba0f61bb","year":1983},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.425946Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:a1b84c11ed958e027f560e6409fe09bd8b29e78ce44a0e9523f73264ba998a8f","observation_id":"1753bbd5-23df-406b-8489-60d6b581c846","resolution":{"observed_at":"2026-08-12T16:36:45.908247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.04811","last_updated":"2025-03-25T01:51:22Z","snapshot_observed_at":"2026-08-12T23:06:15.900679Z","submitted_at":"2024-08-09T01:45:39Z","title":"h4rm3l: A language for Composable Jailbreak Attack Synthesis","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.04811","snapshot_observed_at":"2026-08-12T16:36:45.429194Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.429194Z"},"links":{"cited_paper":"/paper/2408.04811","citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:79e064ad7523776ade17aa61da84c350d7f195e1ebc1cec4da5c7fc1580023ea","observation_id":"e081416a-6a9c-436e-ac8b-703bf2aa2d71","resolution":{"observed_at":"2026-08-12T16:36:45.429194Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.896214Z","title":"Maude-npa: Cryptographic protocol analysis modulo equational proper- ties","venue":null,"work_id":"c1b8a7c3-c0ef-46ad-97c6-a9887eb758a0","year":2007},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.432559Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:9f8fa3bc1531912099216ebcb04058edbd645ef78a335434aadd161e3155b51c","observation_id":"c750ed58-7430-4265-bc96-8ec557600599","resolution":{"observed_at":"2026-08-12T16:36:45.899578Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.887970Z","title":"and Goldreich, O","venue":null,"work_id":"7851a361-1f9a-414c-af88-6afc3127012e","year":1983},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.435513Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:ec0a2637460fbeb67b0212e182f6215b9918710c189b5aef05b49e821c9c6d41","observation_id":"197ea798-ff06-4ea2-9412-72fefc1599d4","resolution":{"observed_at":"2026-08-12T16:36:45.891028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.08144","last_updated":"2024-04-17T04:34:39Z","snapshot_observed_at":"2026-08-12T18:31:19.542322Z","submitted_at":"2024-04-11T22:07:19Z","title":"LLM Agents can Autonomously Exploit One-day Vulnerabilities","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.08144","snapshot_observed_at":"2026-08-12T16:36:45.438634Z","title":"Llm agents can autonomously exploit one-day vulnerabilities","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.438634Z"},"links":{"cited_paper":"/paper/2404.08144","citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:96ebfcb71be306bde99a41d7ffe5042efe81e7cc427979d5f3284373c1fd4485","observation_id":"5b419445-9fe9-4dbf-a2f1-6fda782656d5","resolution":{"observed_at":"2026-08-12T16:36:45.438634Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.879463Z","title":"The OAuth 2.0 Authorization Framework","venue":null,"work_id":"5dd90628-505a-498a-b751-fa41902f2793","year":2012},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.442103Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:1dfe6dce2433256e33b4fda4d8487615a88966c91f5f482c5cca27bff44943e1","observation_id":"2877a1d2-0e79-46cc-812a-9d581d1d7ca0","resolution":{"observed_at":"2026-08-12T16:36:45.882789Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02514","last_updated":"2024-08-06T06:39:02Z","snapshot_observed_at":"2026-08-12T23:37:00.767793Z","submitted_at":"2024-06-22T12:50:41Z","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.02514","snapshot_observed_at":"2026-08-12T16:36:45.445440Z","title":"Logic-lm++: Multi-step refinement for symbolic formulations, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.445440Z"},"links":{"cited_paper":"/paper/2407.02514","citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:8afbeb3e55733dc3e569c85c67df2ecc1d2e070422a965a5e0362e0cb89fa050","observation_id":"3b5a72c7-3892-42c2-bd82-2ac73201cb2c","resolution":{"observed_at":"2026-08-12T16:36:45.445440Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.09265","last_updated":"2021-03-24T16:45:18Z","snapshot_observed_at":"2026-08-02T03:54:05.073106Z","submitted_at":"2020-06-13T21:09:23Z","title":"IsarStep: a Benchmark for High-level Mathematical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.09265","snapshot_observed_at":"2026-08-12T16:36:45.449107Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.449107Z"},"links":{"cited_paper":"/paper/2006.09265","citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:fa5d21ab9e29d6b424a778fde91cba03aa409ec78d398f9941e06e876fb6a1a5","observation_id":"f6435c02-96d1-40e5-8b00-8532c30185bf","resolution":{"observed_at":"2026-08-12T16:36:45.449107Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.870876Z","title":null,"venue":null,"work_id":"38db966b-d154-44e2-9838-fea35b7c0185","year":2006},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.452253Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:f84518efd9ce295b699f60ab3e1b85b05c74929de2e56817ddd13098b860d70e","observation_id":"f444b196-9f51-42c8-b86e-c49f1b6d8780","resolution":{"observed_at":"2026-08-12T16:36:45.873986Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.862146Z","title":"An attack on the needham- schroeder public- key authentication protocol","venue":null,"work_id":"88e6366d-38f1-4a29-a077-64bd19acfb38","year":1995},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.455548Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:216162d67b4a855770854d1f1a65a1c5e29a4fa4d1008a38e396dfcc4f46d491","observation_id":"ae281288-f761-444c-9fe0-55894fbf53e2","resolution":{"observed_at":"2026-08-12T16:36:45.865563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T16:36:45.458456Z","title":"The tamarin prover for the symbolic analysis of security pro- tocols","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.458456Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:064f5a841726c088b96c87cd5a245e049f063e6ef7d14857ff06adb8ec0b0fde","observation_id":"19e48f8e-8edd-4c25-b76f-3bd233158216","resolution":{"observed_at":"2026-08-12T16:36:45.458456Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/359657","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.540154Z","title":null,"venue":null,"work_id":"0dcc56b6-5a05-463d-9064-7826826637e4","year":1978},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.461458Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:a79c8c380125e29d4e0a409d85a705472c4499d05ea68461c3d064f5dcb167c4","observation_id":"6ad59f15-cbff-438d-b777-8da5404a077d","resolution":{"observed_at":"2026-08-12T16:36:45.543278Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.853659Z","title":"and Nakabayashi, M","venue":null,"work_id":"6172ab3b-8522-4e08-aaf3-d7a1d2223a95","year":2023},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.464460Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:a569bb53eefd3e54765a4514bb7a3a6e675c3230bb3a02e686a18f5a6cdb6aca","observation_id":"35fc615f-f711-4f12-a5d1-4de8ecee8605","resolution":{"observed_at":"2026-08-12T16:36:45.856846Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06682","last_updated":"2024-10-16T23:19:46Z","snapshot_observed_at":"2026-08-13T00:14:28.486590Z","submitted_at":"2024-05-05T18:56:46Z","title":"Self-Reflection in LLM Agents: Effects on Problem-Solving Performance","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06682","snapshot_observed_at":"2026-08-12T16:36:45.467452Z","title":"and Guven, E","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.467452Z"},"links":{"cited_paper":"/paper/2405.06682","citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:f237058ce677f916324ecc616299de8515e9004cc4d06223a04564aa9ededde7","observation_id":"6fe009a2-be39-4b31-8325-7d64c6385705","resolution":{"observed_at":"2026-08-12T16:36:45.467452Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.844982Z","title":"An in-context learning agent for formal theorem- proving, 2024","venue":null,"work_id":"5ddb86d2-c201-45c4-ad7d-29c3ee841209","year":2024},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.470620Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:e9fa081aef56106dbddbe2af2d78de5b4743ef2a421c38e1483b33ea8b87cf9a","observation_id":"c0fe00e9-1bd6-4290-99fd-795d485a2b65","resolution":{"observed_at":"2026-08-12T16:36:45.848356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11805618_21","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.529782Z","title":"The cl-atse protocol analyser","venue":null,"work_id":"e55fc382-9520-4bd5-bc50-28204b2ba49e","year":2006},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.473450Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:c0846e1f4924596117f52dd93a934c5be194f044e6fdde2e030269141a2ddcd5","observation_id":"623e488c-b740-4c1c-9e79-ea2c282137fe","resolution":{"observed_at":"2026-08-12T16:36:45.533903Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.836340Z","title":"not Ex party mess #t1 #t2 . FreshTerm(party, mess)@#t1 & FreshTerm(party, mess)@#t2 & #t1 < #t2","venue":null,"work_id":"7365cd16-6d77-4d68-b75a-9b6eb04b1041","year":2022},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.476393Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:e899202a4b9566d7a2c493b2f5204ae75590e4b044b68aef3ee850447098d64f","observation_id":"c459aa75-ee42-4e51-8595-3635ab00c384","resolution":{"observed_at":"2026-08-12T16:36:45.839704Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.827584Z","title":"```shell","venue":null,"work_id":"d40949cc-6194-4bee-8e3e-127196d80afc","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.479585Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:03175a4145941dacc9acbc821dbac210c0729299044f58149c464e1dd7af95be","observation_id":"5bbd3aba-a37a-4f2b-b096-e126492a850b","resolution":{"observed_at":"2026-08-12T16:36:45.830771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.818878Z","title":"This would tie the sessions together","venue":null,"work_id":"49224953-f94a-4d3e-8190-4c40bca28b6a","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.482603Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:3127a4fc79f7cd8d1bd564fa45052db7b7de1cd9927302c675eed909984c8186","observation_id":"b9d0db21-2797-48d3-9019-6eddffb1effb","resolution":{"observed_at":"2026-08-12T16:36:45.822051Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.810320Z","title":null,"venue":null,"work_id":"f33ca22f-682a-46f4-ab05-03f0048f99e7","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.485562Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:f6c31956272b1002b947a761591a4bee71a61af4921092c21b96c728ec0b6bab","observation_id":"1ba30f4e-f795-4fc7-98ad-37380df0bbc3","resolution":{"observed_at":"2026-08-12T16:36:45.813318Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.801193Z","title":"``` **Next step** A similar behaviour can be drawn also from Protocol 2 execution (Claude 3 opus)","venue":null,"work_id":"cafab322-f689-4c64-adeb-28d6fb4fa8fa","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.488524Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:79d9afde8ab56e8ff179284fe496b32b8b45f479d4b3d2e0c2ed7261cf81f6a4","observation_id":"8ecdd6a9-1f47-47c6-be05-1d1cd0d43316","resolution":{"observed_at":"2026-08-12T16:36:45.804528Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.792189Z","title":null,"venue":null,"work_id":"dad833ac-3d41-483b-a61e-13955046dbad","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.491798Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:3bc2ee8406eb7ad093d686e51510263385fd8dcbe08a256fa671bd334c999150","observation_id":"5963b499-530f-40e7-86dc-2a0c4128c49e","resolution":{"observed_at":"2026-08-12T16:36:45.795395Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.783273Z","title":null,"venue":null,"work_id":"28026f49-68e3-42a0-9464-f45113df26fb","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.494774Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:fe6de6efbb7fd248ecd8655ebe0b62b6fca67810779acc3afb417aeeefe04dd4","observation_id":"f456fac9-449c-4b5e-bb0f-3328c8737214","resolution":{"observed_at":"2026-08-12T16:36:45.786336Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.774179Z","title":null,"venue":null,"work_id":"fc5d671a-cd57-4e4e-bd17-111ca2fbe151","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.497554Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:91b403c951a41270cb8e4c887c8ad5980ab83f5839118b984c3c508dd6ad1195","observation_id":"6cb1ce14-c3ec-4138-9709-0c340ce35327","resolution":{"observed_at":"2026-08-12T16:36:45.777321Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.765422Z","title":"This directly reveals the key","venue":null,"work_id":"8c7e3e64-b5d0-48bc-a5f8-98eb58cbb60c","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.500394Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:28f9a3c8fae8578cccf23dc98c65328299238df47bd48f3724d81f37242b32c2","observation_id":"78d11024-08a6-4d98-868a-7fce7b4b99dc","resolution":{"observed_at":"2026-08-12T16:36:45.768547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.756378Z","title":null,"venue":null,"work_id":"a8203525-e959-4940-890f-8438fbbd29c0","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.503500Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:353b643c48d4e2c0c0a759845c64c7fe751cf4aded4c7e2b81f180f850cbf727","observation_id":"6c5f6bb8-bfcd-478f-b6c1-0c777232eb44","resolution":{"observed_at":"2026-08-12T16:36:45.759638Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.746305Z","title":"Here are the changes made to the theory file to implement these fixes: ```shell execute: cat << 'EOF' > Agent_execution/final_protocol_and_property.spthy theory Protocol2 [...] 16","venue":null,"work_id":"990c413f-eeb5-44b0-a0d4-99aab4026bfb","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.506420Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:5e042391ed0eafbc41a127da66f0b936c831de46d672c524d28dc8bfe1919928","observation_id":"4b8cd253-f13a-43eb-82f8-43afd88abe44","resolution":{"observed_at":"2026-08-12T16:36:45.750547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8722.35874","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:36:45.668489Z","title":"doi: 10.1145/358722.358740","venue":null,"work_id":"ed567b94-73e9-4687-9452-5d9ee090ef88","year":null},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":1981,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.422972Z"},"links":{"citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:b4454470bafb7944bbbb45045139988e5a91b6b9969d70e876f4acca81618c2e","observation_id":"f8bbf2e1-86d5-467b-99cc-59b586be7c5f","resolution":{"observed_at":"2026-08-12T16:36:45.673060Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-12T21:45:59.831929Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":13,"verified_exact":3,"verified_fuzzy":16},"total_outbound_references":34},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2411.13627."}