Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T12:11:29.381621Z
Paper Citation Record · LEDGER
As of 21 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 1 inbound Pith citation observation for arXiv:2504.13515.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T12:11:29.381621Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-10T00:32:47.276773Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-10T00:32:47.388564Z
57 of 57 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 91c8cbcd-c935-4616-bdcb-210f3de4f7b7 · outbound
Large Language Models for Validating Network Protocol Parsers The transport layer security (tls) protocol,
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3ebac464-7caf-422f-bf2f-d600464f0856 · outbound
Large Language Models for Validating Network Protocol Parsers File transfer protocol (ftp),
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0b605f2d-3fd9-4d61-9366-062b18c1d7e3 · outbound
Large Language Models for Validating Network Protocol Parsers Internet protocol (ip),
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 087e5cd1-266e-4d9c-83a5-cd325ce5fb09 · outbound
Large Language Models for Validating Network Protocol Parsers The heartbleed bug,
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 1ca9991f-e8e5-4546-8f5b-bf341f3fbd5a · outbound
Large Language Models for Validating Network Protocol Parsers Openssl,
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 003f34c1-cfef-433c-a9cc-b3a73228b5e3 · outbound
Large Language Models for Validating Network Protocol Parsers Cve-2021-41773,
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0346e8af-a947-4ecc-a9e0-11b8a803c8c1 · outbound
Large Language Models for Validating Network Protocol Parsers Model checking large network protocol implementations,
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 64096e1d-c209-4cb8-9ee8-ca4dd9b56660 · outbound
Large Language Models for Validating Network Protocol Parsers Automatic verification of the TLS handshake protocol,
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation c9a7df3b-d55d-4ceb-b663-8f5140c152cc · outbound
Large Language Models for Validating Network Protocol Parsers Modular verification of software components in C,
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 2a3d6116-b6b8-4557-8252-7ee3036b0083 · outbound
Large Language Models for Validating Network Protocol Parsers Aflnet: a greybox fuzzer for network protocols,
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 383a9fc3-ee3c-4759-8399-662a77113de8 · outbound
Large Language Models for Validating Network Protocol Parsers Lifting network protocol implementation to precise format specification with security applications,
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 034be61d-8b58-4ca2-b81e-e7c92190f8ee · outbound
Large Language Models for Validating Network Protocol Parsers Pardiff: Practical static differential analysis of network protocol parsers,
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 80e2189f-0fda-4202-b17e-ceaf97df768d · outbound
Large Language Models for Validating Network Protocol Parsers Kit: Testing os-level virtualization for functional interference bugs,
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 56643fe8-e137-43d8-88fc-56c1028363de · outbound
Large Language Models for Validating Network Protocol Parsers Why do de- velopers remove lambda expressions in java?
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f9aa21fa-1fff-4d4c-adb8-8c11bb1d0054 · outbound
Large Language Models for Validating Network Protocol Parsers Validating network protocol parsers with traceable rfc document interpretation,
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3c8316d4-b887-4ca6-9c3a-681f2c1317c1 · outbound
Large Language Models for Validating Network Protocol Parsers Dpifuzz: a differential fuzzing framework to detect dpi elusion strategies for quic,
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 146254b8-54ad-4953-bf52-0b267846c89d · outbound
Large Language Models for Validating Network Protocol Parsers 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3694cc6a-df1e-4675-96bc-a57a7cbbfdb2 · outbound
Large Language Models for Validating Network Protocol Parsers Tree-sitter,
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d0a88d54-389a-4cc6-a81a-afc35c616ea7 · outbound
Large Language Models for Validating Network Protocol Parsers Autogen: Enabling next-gen LLM applications via multi-agent conversation,
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a2b76371-805e-4a87-ad6c-c8e1181b0cf3 · outbound
Large Language Models for Validating Network Protocol Parsers Claude 3.5 sonnet,
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation fb417231-8e72-4f86-9b68-9e6a1a3ccfc4 · outbound
Large Language Models for Validating Network Protocol Parsers 3d: Dependent data descriptions for verified validation,
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation c14891b2-fc24-4a34-8ad7-d22288651447 · outbound
Large Language Models for Validating Network Protocol Parsers Everparse,
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 2541ea5b-a395-4411-beb8-973daa54229e · outbound
Large Language Models for Validating Network Protocol Parsers The frrouting protocol suite,
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3cf67354-e2ac-4706-9aa9-cd0a6e8a12e2 · outbound
Large Language Models for Validating Network Protocol Parsers Bidirectional forwarding detection (bfd),
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 934db52b-42d2-4ef9-b36a-b94a0b14cef8 · outbound
Large Language Models for Validating Network Protocol Parsers Boofuzz,
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3ddd41a7-a66d-44ca-bd96-6deb7db69b77 · outbound
Large Language Models for Validating Network Protocol Parsers Prognosis: closed- box analysis of network protocol implementations,
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8b1360fc-ef34-4687-8928-e7da8ac23ff8 · outbound
Large Language Models for Validating Network Protocol Parsers Large language model guided protocol fuzzing,
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a12b0d58-2c5d-4af4-9ae4-d98f95b0a3b5 · outbound
Large Language Models for Validating Network Protocol Parsers StarCoder: may the source be with you!
Reference 28
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 19d8dbbf-05bf-4f97-a701-86600eb0ad8f · outbound
Large Language Models for Validating Network Protocol Parsers Cycle: Learning to self- refine the code generation,
Reference 29
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ef33c84-0f14-4ed0-999f-47b661980bc6 · outbound
Large Language Models for Validating Network Protocol Parsers Evaluating language models for efficient code generation,
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 36fb272e-dad0-4163-ae06-4886e646252f · outbound
Large Language Models for Validating Network Protocol Parsers DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence
Reference 31
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d725014-9114-4a43-a01c-c11af3d9251d · outbound
Large Language Models for Validating Network Protocol Parsers Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models,
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation cf7175bc-7cf9-40b9-a5f7-b7f83b38964e · outbound
Large Language Models for Validating Network Protocol Parsers Large language models are few- shot testers: Exploring llm-based general bug reproduction,
Reference 33
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3ba93948-62fa-4478-a84d-453260372194 · outbound
Large Language Models for Validating Network Protocol Parsers WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fdbeea85-ce4a-4744-a52a-229c8d2cc1d3 · outbound
Large Language Models for Validating Network Protocol Parsers Code-aware prompting: A study of coverage-guided test generation in regression setting using llm,
Reference 35
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2ea1f649-9134-48bd-bc06-458de7acac67 · outbound
Large Language Models for Validating Network Protocol Parsers An empirical study of deep learning models for vulnerability detection,
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 03b7b2b9-990f-4781-a088-eaeeeb57476d · outbound
Large Language Models for Validating Network Protocol Parsers Enhancing static analysis for practical bug detection: An llm-integrated approach,
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a7620c75-16cd-4ee3-a2db-2f77a8a49601 · outbound
Large Language Models for Validating Network Protocol Parsers Sanitizing large language models in bug detection with data-flow,
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 33203d66-8435-4ed8-8df7-632a4cce2043 · outbound
Large Language Models for Validating Network Protocol Parsers LLMDFA: analyzing dataflow in code with large language models,
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3d78deec-42de-41b9-be06-813150c619cd · outbound
Large Language Models for Validating Network Protocol Parsers RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ffb255b1-948c-4735-b1ec-372ef30fb956 · outbound
Large Language Models for Validating Network Protocol Parsers IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1ba15d87-23c9-48e4-84cc-21af7b436911 · outbound
Large Language Models for Validating Network Protocol Parsers Resym: Harnessing llms to recover variable and data structure symbols from stripped binaries,
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation eba7e8d9-8f83-4435-954c-fb269f95d7fb · outbound
Large Language Models for Validating Network Protocol Parsers Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary
Reference 43
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6bd3524f-0530-478c-af5a-714402db8db8 · outbound
Large Language Models for Validating Network Protocol Parsers LLM4Decompile: Decompiling Binary Code with Large Language Models
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 70b56488-6294-407d-92c2-bc2e53404842 · outbound
Large Language Models for Validating Network Protocol Parsers Impact of code language models on automated program repair,
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4aabf3d9-4737-4f6e-98f7-2930994aa842 · outbound
Large Language Models for Validating Network Protocol Parsers Autocoderover: Autonomous program improvement,
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 55ab3d94-d3cf-48ce-b234-7fb971a4c351 · outbound
Large Language Models for Validating Network Protocol Parsers How effective are neural networks for fixing security vulnerabilities,
Reference 47
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2dd1184c-4892-4627-927a-cc39c7a9da4f · outbound
Large Language Models for Validating Network Protocol Parsers The Llama 3 Herd of Models
Reference 48
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f4252a68-a87e-4e35-88a5-e6845e281686 · outbound
Large Language Models for Validating Network Protocol Parsers DeepSeek-V3 Technical Report
Reference 49
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 368272ff-d338-47f2-b5f6-691529d5767e · outbound
Large Language Models for Validating Network Protocol Parsers Language mod- els are few-shot learners,
Reference 50
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c0f72a3-f7aa-4e78-80b6-18759cf4ff68 · outbound
Large Language Models for Validating Network Protocol Parsers How Effective are Large Language Models in Generating Software Specifications?
Reference 51
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7857328b-460f-451d-b590-b7055fc44501 · outbound
Large Language Models for Validating Network Protocol Parsers ReCode: Robustness Evaluation of Code Generation Models
Reference 52
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 79d41220-0508-47c6-9575-8bbcab2e2aa0 · outbound
Large Language Models for Validating Network Protocol Parsers Exploring and evaluating hallucinations in llm-powered code generation,
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 836c8ef8-0d64-4947-bf9b-9f06c91e59d6 · outbound
Large Language Models for Validating Network Protocol Parsers Reasoning Runtime Behavior of a Program with LLM: How Far Are We?
Reference 54
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d6970d8d-07f7-4fcf-824f-73a024b47c50 · outbound
Large Language Models for Validating Network Protocol Parsers CodeMind: Evaluating Large Language Models for Code Reasoning
Reference 55
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ee921ae5-875c-4474-b5e3-0d6b3b7b795c · outbound
Large Language Models for Validating Network Protocol Parsers Chain-of-thought prompting elicits reasoning in large language models,
Reference 56
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bfee54bb-b515-4294-9daa-171a5221e570 · outbound
Large Language Models for Validating Network Protocol Parsers Retrieval augmented generation with llms for explaining business process models,
Reference 57
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation c23763c0-6073-47af-a093-fdae4331e803 · inbound
RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing Large Language Models for Validating Network Protocol Parsers
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.