Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-12T02:43:20.695140Z
Paper Citation Record · LEDGER
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
As of 5 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2607.03406.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
61 of 61 outbound references displayed
- verified exact17
- verified fuzzy0
- unresolved38
- parse uncertain0
- malformed identifier6
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d253cc61-0c0a-4938-9350-a70d3379b25d · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2d1fd29c-4831-474b-aaa6-32c658680016 · outbound
This paper cites 2011-10, 2011.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean 2011-10, 2011
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9b2e492c-7940-49ac-be25-d045ea6ba4aa · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 3
- Resolution
- malformed identifier
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9164a66e-61b8-4d95-9a49-c11138a59b7b · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0434060b-94bb-4f85-bcd7-fac96f3abc1e · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 5
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.255762Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b8996672-0909-4366-9453-470c01ef2def · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e7d8abe-77bc-4371-9b62-23bb8b2131a5 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 358c6f14-d575-4280-ace0-75e30896805e · outbound
This paper cites Gordon, and Sergio Maffeis.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Gordon, and Sergio Maffeis
Reference 8
- Resolution
- verified exact
- arxiv_id, observed 2026-07-12T02:48:25.324702Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6ef42906-d288-4515-b53d-7ec2331df435 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6d3a267d-cb1b-487b-ae3b-1f0892ebe8d1 · outbound
This paper cites In Hybrid Systems III(Berlin, Heidelberg, 1996), Rajeev Alur, Thomas A.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean In Hybrid Systems III(Berlin, Heidelberg, 1996), Rajeev Alur, Thomas A
Reference 10
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.166466Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8102fa83-ef59-45e1-a2ba-2405512d2131 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36784f3d-0da7-4fbd-808f-00e142440210 · outbound
This paper cites Gordon, and Riccardo Pu- cella.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Gordon, and Riccardo Pu- cella
Reference 12
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.264484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d5934b26-3045-4731-a3e8-bb3fd15595c6 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 13
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.277355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 2e5d0204-fcdb-4b0c-84a1-f7ba8128b6a5 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 44a7efd5-d184-4a34-a504-a771188d9a7d · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ad3d1dc1-d999-441d-b3b6-1d8ef273e509 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 16
- Resolution
- malformed identifier
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f8f947d-51e3-45c6-9a70-297ba8289103 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 10876780-d4ab-4471-a20c-dfe156946cca · outbound
This paper cites InBoogie 2011: First International Workshop on Intermediate Verification Languages(Wroclaw, Poland, 2011).
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean InBoogie 2011: First International Workshop on Intermediate Verification Languages(Wroclaw, Poland, 2011)
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8bff5b79-e3eb-4690-85bb-76f671b5998c · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 19
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.298321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4032b6aa-027d-4c45-a687-4b0f0bc8e012 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e5ee6da9-a485-4e91-a1e7-3ae8f66d725f · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4ca154c3-340f-4ef7-a3c8-a44f1ce54d55 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 22
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.199372Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation dcfb0e4b-24e2-4465-8ade-6638ec20bd66 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 23
- Resolution
- malformed identifier
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c20d7d8-b090-4706-8341-4a53f36f2974 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bccd8158-294d-4a01-a77f-d7eabd26b672 · outbound
This paper cites 2025.The Lean Reference Manual: The Grind Tactic.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean 2025.The Lean Reference Manual: The Grind Tactic
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8549b192-412d-438d-8f17-3115543d6661 · outbound
This paper cites Dolev and A.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Dolev and A
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 19ac6116-b654-4ac9-afe1-69e925f5d4cc · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3c9d9725-92f6-4614-9bee-2becf3203bc4 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 28
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.217298Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fd5a7229-921a-4511-b720-2a79c0b7aebd · outbound
This paper cites Javier Thayer Fábrega, Jonathan C.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Javier Thayer Fábrega, Jonathan C
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 23060655-5487-4c45-8e6d-4c849e56b87a · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0ad97c31-8940-4433-a800-d534e41fe2b3 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 31
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.329852Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8e9aefe3-fa92-447b-88d6-15fbe2a038c2 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 32
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.185161Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 18352b14-f0d0-499b-b2fc-53ad3d971f5f · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0f610f9b-a031-4980-81a4-6c05351a9f74 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e2523534-75df-49a8-8d13-82bc0684b1e4 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 35
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.208499Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 213c712a-7dd2-42f9-b080-36b0d91a3241 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b50244a7-edea-46b0-a7b8-b5e1e6c76ec6 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0786c55b-5b45-4227-846b-2d362146ea3f · outbound
This paper cites 2016-01, 2016.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean 2016-01, 2016
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c41a603a-bede-4153-a41e-8e9351dc0b71 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c886fd9d-f95f-4f1a-b7c9-7738fd99a302 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6b81d2fe-768d-4662-afbd-883c438cd504 · outbound
This paper cites 2015-12, 2015.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean 2015-12, 2015
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc8ec239-1761-4c0c-8c70-4dbd3c5e1242 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b056528-4a1c-496a-bfe6-4d616a41f359 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 43
- Resolution
- verified exact
- arxiv_id, observed 2026-07-12T02:48:25.315959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 48bcce8b-01b9-4c68-b618-3ad1922709a6 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cb794b96-fa37-4c00-826d-f60a23d5d466 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 45
- Resolution
- malformed identifier
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bcd0bce9-d8ee-42ca-943b-65d3e4718857 · outbound
This paper cites Paulson, and Markus Wenzel.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Paulson, and Markus Wenzel
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 202c02c4-1bd0-4a6f-8334-5fa64c397361 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b035632-85e3-43ab-9ee8-54a22c0bde5e · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 48
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.222218Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0aa4f76d-a1c2-4cc9-ba8d-413dc73c365e · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0ba76b9b-ceea-4de3-8c0d-33b5a09d45ef · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 50
- Resolution
- malformed identifier
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 44812395-da5c-46b9-8925-f9ac40ae0073 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 09724416-1c50-40e5-8b28-039daa9e6709 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 52
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.203900Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1af28d90-b9e2-4e09-be9e-ff11f2dd87ea · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 53
- Resolution
- verified exact
- doi, observed 2026-07-12T02:48:25.171590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 60228535-1762-47a9-b0df-b5bf20fcc7ac · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 892b7d3d-5f56-4dc1-b0c2-55f56ac9b5a8 · outbound
This paper cites InProceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(St.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean InProceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(St
Reference 55
- Resolution
- malformed identifier
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation da45554a-25cf-4da5-9915-61f5c38340df · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6b5bd595-f701-4e83-a5c5-03d778580188 · outbound
This paper cites 2026.DY* Unchained: Now with Composable Security Proofs and Precise Compromise Scenarios.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean 2026.DY* Unchained: Now with Composable Security Proofs and Precise Compromise Scenarios
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ac3984c2-5932-4af3-abd8-8885d6af59dc · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e6f2523-c114-4a98-a686-b20bb7916b12 · outbound
This paper cites an unresolved cited work.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Unresolved cited work
Reference 59
- Resolution
- verified exact
- arxiv_id, observed 2026-07-12T02:48:25.250563Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 73a40a12-d231-45a2-930b-a78c267aca7d · outbound
This paper cites Woo and S.S.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean Woo and S.S
Reference 60
- Resolution
- verified exact
- arxiv_id, observed 2026-07-12T02:48:25.239103Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 214deb13-68d0-4dc7-9b0d-5a4de8c4edd8 · outbound
This paper cites 2012-02, 2012.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean 2012-02, 2012
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T02:43:20.695140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.