Paper Citation Record · LEDGER

Evaluating Large Language Models for Symbolic Security Protocol Analysis

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.20712 v1

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T09:38:48.960744Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

52 of 52 outbound references displayed

verified exact12
verified fuzzy0
unresolved34
parse uncertain0
malformed identifier6
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 568d0c84-caea-41e7-a4f8-acef4363d352 · outbound

This paper cites Lowe, Breaking and fixing the needham-schroeder public-key protocol using fdr, in: T.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Lowe, Breaking and fixing the needham-schroeder public-key protocol using fdr, in: T

Reference 1

Resolution: verified exact; doi, observed 2026-08-01T09:43:40.033317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 680d1979-d033-4d73-99ea-7fe37e83ca00 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-08-01T09:43:39.711219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6cc72981-72e9-46ab-950c-140f454baa4e · outbound

This paper cites Mödersheim, L.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Mödersheim, L

Reference 3

Resolution: malformed identifier; no resolver link, observed 2026-08-01T09:38:42.585316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a017748-312d-4f35-9e73-a182bbe687e0 · outbound

This paper cites Dolev, A.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Dolev, A

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-01T09:38:42.702192Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1aef4929-ad1b-40db-b50f-5494237d16f5 · outbound

This paper cites Wang, T.-S.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Wang, T.-S

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-01T09:38:42.825970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6661265c-08ba-4799-bfe1-95981aa549af · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-01T09:43:39.394402Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 51a31afa-3681-4c84-b9c1-82984c204658 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:43.085687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c9bc01c-0317-494a-9536-3d7254edcacd · outbound

This paper cites Curaba, D.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Curaba, D

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:43.205329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed740945-0a77-4b18-8eb1-9cb69df08dd7 · outbound

This paper cites Blanchet, Composition theorems for cryptoverif and application to tls 1.3, in: 2018IEEE31stComputerSecurityFoundationsSymposium(CSF), IEEE, 2018, pp.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Blanchet, Composition theorems for cryptoverif and application to tls 1.3, in: 2018IEEE31stComputerSecurityFoundationsSymposium(CSF), IEEE, 2018, pp

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:43.317966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dba07542-7fe4-41df-9f8c-deccbf85bea1 · outbound

This paper cites Cheval, V.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Cheval, V

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:43.410971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 204d2291-f89a-49f1-8083-6d7630461b6f · outbound

This paper cites Basin, S.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Basin, S

Reference 11

Resolution: verified exact; doi, observed 2026-08-01T09:43:38.327923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fe3390f9-73e0-44d6-b528-eff58e594d80 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-01T09:43:37.970381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c7dca133-9c61-4500-889d-97037333f418 · outbound

This paper cites Lowe, A hierarchy of authentication specifications, in: CSFW’97, IEEE Computer Society Press, 1997, pp.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Lowe, A hierarchy of authentication specifications, in: CSFW’97, IEEE Computer Society Press, 1997, pp

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:43.791774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5038cb54-98b1-4e90-989c-8bc88c44f00e · outbound

This paper cites Bugliesi, S.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Bugliesi, S

Reference 14

Resolution: verified exact; doi, observed 2026-08-01T09:43:37.686148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 369edadb-39ae-4dff-a2ef-8cf19a558756 · outbound

This paper cites Modesti, AnBx: Automatic generation and verification of security pro- tocols implementations, in: J.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Modesti, AnBx: Automatic generation and verification of security pro- tocols implementations, in: J

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-08-01T09:38:44.087293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6c277e5-b33c-4a8d-a3c3-c43ade969886 · outbound

This paper cites Blanchet, B.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Blanchet, B

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:44.220687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a18e4f49-7d63-44b8-8321-5227b4f46890 · outbound

This paper cites GPT-4 Technical Report.

Evaluating Large Language Models for Symbolic Security Protocol Analysis GPT-4 Technical Report

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:44.343847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d3c7c92-cf05-4775-919d-c062f5592333 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:44.534778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f4400ca-8dd4-475e-bfde-c7b30455cd71 · outbound

This paper cites URLhttps://openai.com/index/introducing-o3-and-o4-mini/.

Evaluating Large Language Models for Symbolic Security Protocol Analysis URLhttps://openai.com/index/introducing-o3-and-o4-mini/

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:44.658220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0be5a670-350f-433f-ace4-0e66fa323f17 · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

Evaluating Large Language Models for Symbolic Security Protocol Analysis DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:44.803365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 827337bf-226d-4b23-ab7e-5f0b8f0cd6c6 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:44.964120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba42254a-c1a2-432c-a765-3544811bd062 · outbound

This paper cites Schmidt, S.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Schmidt, S

Reference 22

Resolution: verified exact; doi, observed 2026-08-01T09:43:36.987503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d8552e60-20fa-4773-9386-c88bc9718333 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:45.306701Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98a4052d-5bed-4244-a33d-b4437a23e24b · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:45.428025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3aa171a5-b8c7-4ed7-b3cb-2010b6c90ade · outbound

This paper cites Blanchet, Automatic verification of security protocols in the symbolic model: The verifier proverif, in: A.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Blanchet, Automatic verification of security protocols in the symbolic model: The verifier proverif, in: A

Reference 25

Resolution: verified exact; doi, observed 2026-08-01T09:43:36.541904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8e951d0c-0b5b-4e20-a25b-328499a95564 · outbound

This paper cites Magar, R.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Magar, R

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:45.717448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42674813-7b52-4ec6-8a9e-2cea13dff1f5 · outbound

This paper cites Sainz, J.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Sainz, J

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:45.839736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a916152-e7ce-432d-ad03-dda13318b5a5 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:46.001723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e1cc265-de8a-4082-a309-bb23181f27df · outbound

This paper cites Sommer, V.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Sommer, V

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:46.186872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5dd3993-2a3e-4f27-ba68-c5503a4bd88f · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-08-01T09:43:36.177705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7fb5582f-1814-4fe9-b0f0-13efb94384aa · outbound

This paper cites Beyond Majority Voting: LLM Aggregation by Leveraging Higher-Order Information.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Beyond Majority Voting: LLM Aggregation by Leveraging Higher-Order Information

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:46.461601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d26a7f7d-35eb-4959-a8d8-c406348dc8c5 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 32

Resolution: malformed identifier; no resolver link, observed 2026-08-01T09:38:46.563937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25b25849-35d3-4be1-a81a-e34ffe88a16b · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:46.661124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d62bc5ed-70c0-4587-ad7e-e5f2bde2ad8e · outbound

This paper cites deepseek.com/guides/reasoning_model, deepSeek API Docs.

Evaluating Large Language Models for Symbolic Security Protocol Analysis deepseek.com/guides/reasoning_model, deepSeek API Docs

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:46.775804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3304b720-44f9-4f8e-bbd3-7e1f1f346dbc · outbound

This paper cites Accessed 14 April 2026 (2026).

Evaluating Large Language Models for Symbolic Security Protocol Analysis Accessed 14 April 2026 (2026)

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:46.842903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caa2d66e-d145-456f-ada4-efcd558cf0e0 · outbound

This paper cites Sheng, Z.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Sheng, Z

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:46.974285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 546cf968-8389-4523-a452-48d8f9572a60 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:47.157964Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88717a09-054d-4e4d-8908-6384e7845bf6 · outbound

This paper cites Pearce, B.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Pearce, B

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:47.348244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7daed4a8-a6fa-415a-bd84-74b5a0997636 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 39

Resolution: malformed identifier; no resolver link, observed 2026-08-01T09:38:47.464276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8421f9b-7629-4edb-9887-6b7f15ff71c4 · outbound

This paper cites Prompt-Enhanced Software Vulnerability Detection Using ChatGPT.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Prompt-Enhanced Software Vulnerability Detection Using ChatGPT

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:47.582514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6730305-9f94-4dd5-a7fe-6482ffe73da0 · outbound

This paper cites Conceição, N.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Conceição, N

Reference 41

Resolution: verified exact; doi, observed 2026-08-01T09:43:35.287121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bb6bb314-3e4b-4cf4-a7af-d59bfd384239 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 42

Resolution: verified exact; doi, observed 2026-08-01T09:43:34.857903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 06acea4b-b1bc-4945-ab34-a7e414fd5ee7 · outbound

This paper cites A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT.

Evaluating Large Language Models for Symbolic Security Protocol Analysis A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:47.940209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25beae08-79e0-4853-9103-04aacc3f3b88 · outbound

This paper cites Chain-of-Thought Prompting of Large Language Models for Discovering and Fixing Software Vulnerabilities.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Chain-of-Thought Prompting of Large Language Models for Discovering and Fixing Software Vulnerabilities

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:48.127344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04e34d7e-60f8-4101-b89e-8aad1daa3ba8 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 45

Resolution: verified exact; doi, observed 2026-08-01T09:43:34.544728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 651d332d-e2a4-40df-a35d-a7647af9ac2d · outbound

This paper cites Agarwal, A.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Agarwal, A

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:48.316123Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c6fa425-eeb5-4176-8c8c-b2e25368b0d3 · outbound

This paper cites Thinking Before Constraining: A Unified Decoding Framework for Large Language Models.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Thinking Before Constraining: A Unified Decoding Framework for Large Language Models

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:48.453048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef1ed707-8046-4972-9b97-eb960e0d3948 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:48.570576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5422ba6-abba-4f52-b081-08a73fa0a3a1 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:48.694553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1f7a984-d062-440b-b9ca-c3f70b91fd30 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:48.815903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41f43838-1812-4af0-9d8b-ede3d3642311 · outbound

This paper cites an unresolved cited work.

Evaluating Large Language Models for Symbolic Security Protocol Analysis Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:48.883667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59f30d3a-6b23-4f64-b800-51b95d5da7ce · outbound

This paper cites attack found.

Evaluating Large Language Models for Symbolic Security Protocol Analysis attack found

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-01T09:38:48.960744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.