Paper Citation Record · LEDGER

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection

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.

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

pith.paper-citation-record.v1
2411.13627 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T16:36:45.506420Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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

34 of 34 outbound references displayed

verified exact3
verified fuzzy16
unresolved13
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 098d5a38-09ee-46d0-aba0-1fa5e8a16dc0 · outbound

This paper cites URL https: //app.grayswan.ai/arena/leaderboard.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection URL https: //app.grayswan.ai/arena/leaderboard

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.941464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 60a1158a-d15f-4a30-8514-246b4b4a1b01 · outbound

This paper cites K., Näslund, M., O’Hanlon, P., Papay, J., Suomalainen, J., Surridge, M., Wary, J.-P., and Zahariev, A.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection K., Näslund, M., O’Hanlon, P., Papay, J., Suomalainen, J., Surridge, M., Wary, J.-P., and Zahariev, A

Reference 2

Resolution: malformed identifier; no resolver link, observed 2026-08-12T16:36:45.406807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 403468e4-0e88-4a0f-b256-62fe5eb7dc5e · outbound

This paper cites and Compagna, L.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection and Compagna, L

Reference 3

Resolution: verified exact; doi, observed 2026-08-12T16:36:45.558764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 845ec845-b448-4960-aa3d-f7999ac12d51 · outbound

This paper cites Alice and bob meet equational theories.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Alice and bob meet equational theories

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.933169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f74083a3-8868-4c6b-9211-4051f510423c · outbound

This paper cites Ex- ploring the dark side of ai: Advanced phishing attack design and deployment using chatgpt.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Ex- ploring the dark side of ai: Advanced phishing attack design and deployment using chatgpt

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.924869Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 11304e14-c618-47a7-aec0-998835a37ac1 · outbound

This paper cites an unresolved cited work.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:36:45.916357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1753bbd5-23df-406b-8489-60d6b581c846 · outbound

This paper cites and Yao, A.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection and Yao, A

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.908247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e081416a-6a9c-436e-ac8b-703bf2aa2d71 · outbound

This paper cites h4rm3l: A language for Composable Jailbreak Attack Synthesis.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection h4rm3l: A language for Composable Jailbreak Attack Synthesis

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T16:36:45.429194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c750ed58-7430-4265-bc96-8ec557600599 · outbound

This paper cites Maude-npa: Cryptographic protocol analysis modulo equational proper- ties.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Maude-npa: Cryptographic protocol analysis modulo equational proper- ties

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.899578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 197ea798-ff06-4ea2-9412-72fefc1599d4 · outbound

This paper cites and Goldreich, O.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection and Goldreich, O

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.891028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5b419445-9fe9-4dbf-a2f1-6fda782656d5 · outbound

This paper cites LLM Agents can Autonomously Exploit One-day Vulnerabilities.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection LLM Agents can Autonomously Exploit One-day Vulnerabilities

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T16:36:45.438634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2877a1d2-0e79-46cc-812a-9d581d1d7ca0 · outbound

This paper cites The OAuth 2.0 Authorization Framework.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection The OAuth 2.0 Authorization Framework

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.882789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 3b5a72c7-3892-42c2-bd82-2ac73201cb2c · outbound

This paper cites LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T16:36:45.445440Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6435c02-96d1-40e5-8b00-8532c30185bf · outbound

This paper cites IsarStep: a Benchmark for High-level Mathematical Reasoning.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection IsarStep: a Benchmark for High-level Mathematical Reasoning

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T16:36:45.449107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f444b196-9f51-42c8-b86e-c49f1b6d8780 · outbound

This paper cites an unresolved cited work.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:36:45.873986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ae281288-f761-444c-9fe0-55894fbf53e2 · outbound

This paper cites An attack on the needham- schroeder public- key authentication protocol.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection An attack on the needham- schroeder public- key authentication protocol

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.865563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 19e48f8e-8edd-4c25-b76f-3bd233158216 · outbound

This paper cites The tamarin prover for the symbolic analysis of security pro- tocols.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection The tamarin prover for the symbolic analysis of security pro- tocols

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T16:36:45.458456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ad59f15-cbff-438d-b777-8da5404a077d · outbound

This paper cites an unresolved cited work.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-08-12T16:36:45.543278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 35fc615f-f711-4f12-a5d1-4de8ecee8605 · outbound

This paper cites and Nakabayashi, M.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection and Nakabayashi, M

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.856846Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6fe009a2-be39-4b31-8325-7d64c6385705 · outbound

This paper cites Self-Reflection in LLM Agents: Effects on Problem-Solving Performance.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Self-Reflection in LLM Agents: Effects on Problem-Solving Performance

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T16:36:45.467452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0fe00e9-1bd6-4290-99fd-795d485a2b65 · outbound

This paper cites An in-context learning agent for formal theorem- proving, 2024.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection An in-context learning agent for formal theorem- proving, 2024

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.848356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 623e488c-b740-4c1c-9e79-ea2c282137fe · outbound

This paper cites The cl-atse protocol analyser.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection The cl-atse protocol analyser

Reference 22

Resolution: verified exact; doi, observed 2026-08-12T16:36:45.533903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c459aa75-ee42-4e51-8595-3635ab00c384 · outbound

This paper cites not Ex party mess #t1 #t2 . FreshTerm(party, mess)@#t1 & FreshTerm(party, mess)@#t2 & #t1 < #t2.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection not Ex party mess #t1 #t2 . FreshTerm(party, mess)@#t1 & FreshTerm(party, mess)@#t2 & #t1 < #t2

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.839704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5bbd3aba-a37a-4f2b-b096-e126492a850b · outbound

This paper cites ```shell.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection ```shell

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.830771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b9d0db21-2797-48d3-9019-6eddffb1effb · outbound

This paper cites This would tie the sessions together.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection This would tie the sessions together

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.822051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1ba30f4e-f795-4fc7-98ad-37380df0bbc3 · outbound

This paper cites an unresolved cited work.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:36:45.813318Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 8ecdd6a9-1f47-47c6-be05-1d1cd0d43316 · outbound

This paper cites ``` Next step A similar behaviour can be drawn also from Protocol 2 execution (Claude 3 opus).

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection ``` **Next step** A similar behaviour can be drawn also from Protocol 2 execution (Claude 3 opus)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.804528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5963b499-530f-40e7-86dc-2a0c4128c49e · outbound

This paper cites an unresolved cited work.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:36:45.795395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f456fac9-449c-4b5e-bb0f-3328c8737214 · outbound

This paper cites an unresolved cited work.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:36:45.786336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6cb1ce14-c3ec-4138-9709-0c340ce35327 · outbound

This paper cites an unresolved cited work.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:36:45.777321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 78d11024-08a6-4d98-868a-7fce7b4b99dc · outbound

This paper cites This directly reveals the key.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection This directly reveals the key

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.768547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6c5f6bb8-bfcd-478f-b6c1-0c777232eb44 · outbound

This paper cites an unresolved cited work.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:36:45.759638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4b8cd253-f13a-43eb-82f8-43afd88abe44 · outbound

This paper cites 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.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection 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

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:36:45.750547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f8bbf2e1-86d5-467b-99cc-59b586be7c5f · outbound

This paper cites doi: 10.1145/358722.358740.

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection doi: 10.1145/358722.358740

Reference 1981

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T16:36:45.673060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Pith citing papers

No inbound Pith citation observations are available.