Pith. sign in

Paper Citation Record · LEDGER

Large Language Models for Validating Network Protocol Parsers

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.

pith.paper-citation-record.v1
2504.13515 v1

Coverage vector

measured 57 of 57 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T12:11:29.381621Z

measured 58 of 58 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-10T00:32:47.276773Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-10T00:32:47.388564Z

Reference resolution

57 of 57 outbound references displayed

  • verified exact0
  • verified fuzzy33
  • unresolved24
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 91c8cbcd-c935-4616-bdcb-210f3de4f7b7 · outbound

This paper cites The transport layer security (tls) protocol,.

Large Language Models for Validating Network Protocol Parsers The transport layer security (tls) protocol,

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:30.036084Z

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.

source=pdf_text observed=2026-08-16T12:11:29.190235Z digest=sha256:d42a8966ca84758f0a07129c7bf0b2a2d674b2b14cf86a6fb2b5bb26a765f91b

Observation 3ebac464-7caf-422f-bf2f-d600464f0856 · outbound

This paper cites File transfer protocol (ftp),.

Large Language Models for Validating Network Protocol Parsers File transfer protocol (ftp),

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:30.026229Z

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.

source=pdf_text observed=2026-08-16T12:11:29.194193Z digest=sha256:f56cb8a42d9e46ecf58f8c241edfee5a37a0aca7491f4a36a41c5c5c433dc6c5

Observation 0b605f2d-3fd9-4d61-9366-062b18c1d7e3 · outbound

This paper cites Internet protocol (ip),.

Large Language Models for Validating Network Protocol Parsers Internet protocol (ip),

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:30.016527Z

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.

source=pdf_text observed=2026-08-16T12:11:29.197680Z digest=sha256:9a0c62367b4058067a96973e4cdd5c8fef241c8450591170bc4a2cc3ac323ec0

Observation 087e5cd1-266e-4d9c-83a5-cd325ce5fb09 · outbound

This paper cites The heartbleed bug,.

Large Language Models for Validating Network Protocol Parsers The heartbleed bug,

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:30.006398Z

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.

source=pdf_text observed=2026-08-16T12:11:29.201302Z digest=sha256:ce88a33e4c117ef6eb0facdff6a8f627cfd9adf4793ac6f8e7da00df4d746b37

Observation 1ca9991f-e8e5-4546-8f5b-bf341f3fbd5a · outbound

This paper cites Openssl,.

Large Language Models for Validating Network Protocol Parsers Openssl,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.995889Z

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.

source=pdf_text observed=2026-08-16T12:11:29.204688Z digest=sha256:adf0d815ae023fb09bc6106a191e26e11c01175f3f385677334651a7814adb4e

Observation 003f34c1-cfef-433c-a9cc-b3a73228b5e3 · outbound

This paper cites Cve-2021-41773,.

Large Language Models for Validating Network Protocol Parsers Cve-2021-41773,

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.987026Z

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.

source=pdf_text observed=2026-08-16T12:11:29.208187Z digest=sha256:d353e0d921ed08ccf037e8558d8e99e745005677f008747acfbaf08e27305a95

Observation 0346e8af-a947-4ecc-a9e0-11b8a803c8c1 · outbound

This paper cites Model checking large network protocol implementations,.

Large Language Models for Validating Network Protocol Parsers Model checking large network protocol implementations,

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.978152Z

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.

source=pdf_text observed=2026-08-16T12:11:29.211827Z digest=sha256:eca9398aead0acdde6873485a14cd07923783dca79fd0470db647714ca2fb6c1

Observation 64096e1d-c209-4cb8-9ee8-ca4dd9b56660 · outbound

This paper cites Automatic verification of the TLS handshake protocol,.

Large Language Models for Validating Network Protocol Parsers Automatic verification of the TLS handshake protocol,

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.968928Z

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.

source=pdf_text observed=2026-08-16T12:11:29.215556Z digest=sha256:6788ca184f2adf4ce19d24f08508c21c79166e73b767006632cc7d329d71840d

Observation c9a7df3b-d55d-4ceb-b663-8f5140c152cc · outbound

This paper cites Modular verification of software components in C,.

Large Language Models for Validating Network Protocol Parsers Modular verification of software components in C,

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.960005Z

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.

source=pdf_text observed=2026-08-16T12:11:29.218864Z digest=sha256:ec6b404e0b3632274e78b845f2c7881d379c29e05f3f673ecc201dfbbb087954

Observation 2a3d6116-b6b8-4557-8252-7ee3036b0083 · outbound

This paper cites Aflnet: a greybox fuzzer for network protocols,.

Large Language Models for Validating Network Protocol Parsers Aflnet: a greybox fuzzer for network protocols,

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.950476Z

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.

source=pdf_text observed=2026-08-16T12:11:29.222113Z digest=sha256:1a3b988155cce7dcd594047ebbcee01413e13eb2c38226bb960e50c39b81cb2d

Observation 383a9fc3-ee3c-4759-8399-662a77113de8 · outbound

This paper cites Lifting network protocol implementation to precise format specification with security applications,.

Large Language Models for Validating Network Protocol Parsers Lifting network protocol implementation to precise format specification with security applications,

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.941199Z

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.

source=pdf_text observed=2026-08-16T12:11:29.226024Z digest=sha256:a5fc6a18b1827a748397c921f1caa8ab48ce54a591f8f6b20f156299f031e7fe

Observation 034be61d-8b58-4ca2-b81e-e7c92190f8ee · outbound

This paper cites Pardiff: Practical static differential analysis of network protocol parsers,.

Large Language Models for Validating Network Protocol Parsers Pardiff: Practical static differential analysis of network protocol parsers,

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.932538Z

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.

source=pdf_text observed=2026-08-16T12:11:29.230541Z digest=sha256:d100cabd8b719e09fe8e9c4b7ab11f8ab666e57c49e9f76bb31fa0973b1f20bc

Observation 80e2189f-0fda-4202-b17e-ceaf97df768d · outbound

This paper cites Kit: Testing os-level virtualization for functional interference bugs,.

Large Language Models for Validating Network Protocol Parsers Kit: Testing os-level virtualization for functional interference bugs,

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.234877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.234877Z digest=sha256:6ffad8a740701ff5afcdfd5cc5f6f81b3476b92d3941c775c62b1147c48af9a4

Observation 56643fe8-e137-43d8-88fc-56c1028363de · outbound

This paper cites Why do de- velopers remove lambda expressions in java?.

Large Language Models for Validating Network Protocol Parsers Why do de- velopers remove lambda expressions in java?

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.923346Z

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.

source=pdf_text observed=2026-08-16T12:11:29.238080Z digest=sha256:c7689037646485b9d98e5b8e53314757eeeb0935b7fe748916582cd2ccba511e

Observation f9aa21fa-1fff-4d4c-adb8-8c11bb1d0054 · outbound

This paper cites Validating network protocol parsers with traceable rfc document interpretation,.

Large Language Models for Validating Network Protocol Parsers Validating network protocol parsers with traceable rfc document interpretation,

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.914461Z

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.

source=pdf_text observed=2026-08-16T12:11:29.241211Z digest=sha256:dad8e66cf467b8af4eca28e713a6b0eae45b20098b6f5ba25af4afca22fef051

Observation 3c8316d4-b887-4ca6-9c3a-681f2c1317c1 · outbound

This paper cites Dpifuzz: a differential fuzzing framework to detect dpi elusion strategies for quic,.

Large Language Models for Validating Network Protocol Parsers Dpifuzz: a differential fuzzing framework to detect dpi elusion strategies for quic,

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.905794Z

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.

source=pdf_text observed=2026-08-16T12:11:29.244423Z digest=sha256:ca84c3bab54d6fc3cd33ff4759dd6882be2aa86172baac9f8cdfb7ee396426fe

Observation 146254b8-54ad-4953-bf52-0b267846c89d · outbound

This paper cites 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers.

Large Language Models for Validating Network Protocol Parsers 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.247769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.247769Z digest=sha256:c679edeb70b43828a39548e783721a88db2b843bb4a3fe4a8908180bcd0dedc3

Observation 3694cc6a-df1e-4675-96bc-a57a7cbbfdb2 · outbound

This paper cites Tree-sitter,.

Large Language Models for Validating Network Protocol Parsers Tree-sitter,

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.895949Z

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.

source=pdf_text observed=2026-08-16T12:11:29.251706Z digest=sha256:0f6b94a2ba0336e792ac54c594e555f10f48c909cd03b11b8b4b17f1c364e0ba

Observation d0a88d54-389a-4cc6-a81a-afc35c616ea7 · outbound

This paper cites Autogen: Enabling next-gen LLM applications via multi-agent conversation,.

Large Language Models for Validating Network Protocol Parsers Autogen: Enabling next-gen LLM applications via multi-agent conversation,

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.886492Z

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.

source=pdf_text observed=2026-08-16T12:11:29.255396Z digest=sha256:82e9d7325d2202418da5e8bb569c1081c6c2487c5bfa03db1e4bdbde31ed1779

Observation a2b76371-805e-4a87-ad6c-c8e1181b0cf3 · outbound

This paper cites Claude 3.5 sonnet,.

Large Language Models for Validating Network Protocol Parsers Claude 3.5 sonnet,

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.877089Z

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.

source=pdf_text observed=2026-08-16T12:11:29.258810Z digest=sha256:ab2833229d7132e79616595ff09f276bb99a0e2afa86e21b778f3a1ac9829bd8

Observation fb417231-8e72-4f86-9b68-9e6a1a3ccfc4 · outbound

This paper cites 3d: Dependent data descriptions for verified validation,.

Large Language Models for Validating Network Protocol Parsers 3d: Dependent data descriptions for verified validation,

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.867520Z

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.

source=pdf_text observed=2026-08-16T12:11:29.262186Z digest=sha256:1d2e62eaeedf4a22152987936ad5fe68962b15effd6d7c0fc5ef7efa25343225

Observation c14891b2-fc24-4a34-8ad7-d22288651447 · outbound

This paper cites Everparse,.

Large Language Models for Validating Network Protocol Parsers Everparse,

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.858071Z

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.

source=pdf_text observed=2026-08-16T12:11:29.265649Z digest=sha256:8ba8e5eae927c24f919a467911f6faa3a14d2064d2f8c7e2c182e3ee16b7eed8

Observation 2541ea5b-a395-4411-beb8-973daa54229e · outbound

This paper cites The frrouting protocol suite,.

Large Language Models for Validating Network Protocol Parsers The frrouting protocol suite,

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.848360Z

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.

source=pdf_text observed=2026-08-16T12:11:29.269286Z digest=sha256:7ca1f911ae9f37a6f59fd8981d13f3e332c4da3e4da7677c256152e496b7cb05

Observation 3cf67354-e2ac-4706-9aa9-cd0a6e8a12e2 · outbound

This paper cites Bidirectional forwarding detection (bfd),.

Large Language Models for Validating Network Protocol Parsers Bidirectional forwarding detection (bfd),

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.838558Z

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.

source=pdf_text observed=2026-08-16T12:11:29.272383Z digest=sha256:8e35e372d8243b2e5a389d376cccb59449e0d8ac499531e6afe1ea5f8f96a999

Observation 934db52b-42d2-4ef9-b36a-b94a0b14cef8 · outbound

This paper cites Boofuzz,.

Large Language Models for Validating Network Protocol Parsers Boofuzz,

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.828535Z

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.

source=pdf_text observed=2026-08-16T12:11:29.275555Z digest=sha256:d5b19bb2ad98de09ef306a8c90c483cb9eec3bbeec1778ae21fd1e52c9e17937

Observation 3ddd41a7-a66d-44ca-bd96-6deb7db69b77 · outbound

This paper cites Prognosis: closed- box analysis of network protocol implementations,.

Large Language Models for Validating Network Protocol Parsers Prognosis: closed- box analysis of network protocol implementations,

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.817866Z

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.

source=pdf_text observed=2026-08-16T12:11:29.279239Z digest=sha256:f102e33c581b18441ced0e679b3739cf15a4e0d056f4fdbcbebf17839e56f33f

Observation 8b1360fc-ef34-4687-8928-e7da8ac23ff8 · outbound

This paper cites Large language model guided protocol fuzzing,.

Large Language Models for Validating Network Protocol Parsers Large language model guided protocol fuzzing,

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.808190Z

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.

source=pdf_text observed=2026-08-16T12:11:29.282403Z digest=sha256:3491942ed4486aa66cfaf9d995253dc7f37a9fa568c721b2b00febcdd556942e

Observation a12b0d58-2c5d-4af4-9ae4-d98f95b0a3b5 · outbound

This paper cites StarCoder: may the source be with you!.

Large Language Models for Validating Network Protocol Parsers StarCoder: may the source be with you!

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.285677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.285677Z digest=sha256:aad80884571e455275b3373eb770bb665c0cae25f07a528c25aa7ab77130bc17

Observation 19d8dbbf-05bf-4f97-a701-86600eb0ad8f · outbound

This paper cites Cycle: Learning to self- refine the code generation,.

Large Language Models for Validating Network Protocol Parsers Cycle: Learning to self- refine the code generation,

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.289146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.289146Z digest=sha256:2c9572d5904a574ab39c90695eb9ee3a358b4c3f009202b6e480187952f48659

Observation 9ef33c84-0f14-4ed0-999f-47b661980bc6 · outbound

This paper cites Evaluating language models for efficient code generation,.

Large Language Models for Validating Network Protocol Parsers Evaluating language models for efficient code generation,

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.791793Z

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.

source=pdf_text observed=2026-08-16T12:11:29.292724Z digest=sha256:44ed422b536950960428add358e54ba8a59155661c7c06cb3203e44d8ad54b61

Observation 36fb272e-dad0-4163-ae06-4886e646252f · outbound

This paper cites DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence.

Large Language Models for Validating Network Protocol Parsers DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.295779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.295779Z digest=sha256:b46e77418d5739f80dcc9f8d9878110be1bd7b398c41aa21c261c9c2a38b302e

Observation 8d725014-9114-4a43-a01c-c11af3d9251d · outbound

This paper cites Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models,.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.782008Z

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.

source=pdf_text observed=2026-08-16T12:11:29.299307Z digest=sha256:e8da56fe6ad811052d6e260bbd137a49ffcb9660334608620d44e371207638c7

Observation cf7175bc-7cf9-40b9-a5f7-b7f83b38964e · outbound

This paper cites Large language models are few- shot testers: Exploring llm-based general bug reproduction,.

Large Language Models for Validating Network Protocol Parsers Large language models are few- shot testers: Exploring llm-based general bug reproduction,

Reference 33

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.302236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.302236Z digest=sha256:b548f326608d93c2b0bd3bfe0668bb01cd0455044ba2e7d75553ecf3a0570c07

Observation 3ba93948-62fa-4478-a84d-453260372194 · outbound

This paper cites WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models.

Large Language Models for Validating Network Protocol Parsers WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.305719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.305719Z digest=sha256:fb70996914f906732e8ed6be6019e02c8b1ab16044249d13472ec7437043ab6d

Observation fdbeea85-ce4a-4744-a52a-229c8d2cc1d3 · outbound

This paper cites Code-aware prompting: A study of coverage-guided test generation in regression setting using llm,.

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

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.308986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.308986Z digest=sha256:8f29bf639562bfc1be4b1542b7f6c724aaa9535dae8f9d3d1362177e9af8674d

Observation 2ea1f649-9134-48bd-bc06-458de7acac67 · outbound

This paper cites An empirical study of deep learning models for vulnerability detection,.

Large Language Models for Validating Network Protocol Parsers An empirical study of deep learning models for vulnerability detection,

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.765043Z

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.

source=pdf_text observed=2026-08-16T12:11:29.313066Z digest=sha256:34922d05d44f4edd1c475c9c645891b1601eed4e0c6d5839026416a8d3657619

Observation 03b7b2b9-990f-4781-a088-eaeeeb57476d · outbound

This paper cites Enhancing static analysis for practical bug detection: An llm-integrated approach,.

Large Language Models for Validating Network Protocol Parsers Enhancing static analysis for practical bug detection: An llm-integrated approach,

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.754155Z

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.

source=pdf_text observed=2026-08-16T12:11:29.316198Z digest=sha256:ae340e21b7574c3d20a4fb8d812f3c0e7b7cbc89c2424e33029fb480dfaf6a50

Observation a7620c75-16cd-4ee3-a2db-2f77a8a49601 · outbound

This paper cites Sanitizing large language models in bug detection with data-flow,.

Large Language Models for Validating Network Protocol Parsers Sanitizing large language models in bug detection with data-flow,

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.743512Z

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.

source=pdf_text observed=2026-08-16T12:11:29.319402Z digest=sha256:4e8f7943630c3ecee30046b1ca91001ac23dc5b35c2fecfdb96f7fb793e8d0b8

Observation 33203d66-8435-4ed8-8df7-632a4cce2043 · outbound

This paper cites LLMDFA: analyzing dataflow in code with large language models,.

Large Language Models for Validating Network Protocol Parsers LLMDFA: analyzing dataflow in code with large language models,

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.733710Z

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.

source=pdf_text observed=2026-08-16T12:11:29.322617Z digest=sha256:5908838f34fb761c534b61fe856776debed5dfff1f0d88f770de3ee4d34d2140

Observation 3d78deec-42de-41b9-be06-813150c619cd · outbound

This paper cites RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing.

Large Language Models for Validating Network Protocol Parsers RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.325674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.325674Z digest=sha256:053107bfbdd76ddaf1ebddffcfa9ede0292923c71951f9411cb13bc9a74dd5e7

Observation ffb255b1-948c-4735-b1ec-372ef30fb956 · outbound

This paper cites IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

Large Language Models for Validating Network Protocol Parsers IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.329119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.329119Z digest=sha256:b1d24c7918e1f50abbe4d3af6ed8ecef9b3b3cef12b1ed43725b9c440cf62882

Observation 1ba15d87-23c9-48e4-84cc-21af7b436911 · outbound

This paper cites Resym: Harnessing llms to recover variable and data structure symbols from stripped binaries,.

Large Language Models for Validating Network Protocol Parsers Resym: Harnessing llms to recover variable and data structure symbols from stripped binaries,

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.723253Z

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.

source=pdf_text observed=2026-08-16T12:11:29.332677Z digest=sha256:1ac8f17e8caac3c6812e5c06c279a1bd0d86f00ec7fc2a927466499679b15cae

Observation eba7e8d9-8f83-4435-954c-fb269f95d7fb · outbound

This paper cites Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary.

Large Language Models for Validating Network Protocol Parsers Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.335786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.335786Z digest=sha256:e1e5687b474b176baf235632a5df0c29527f2e7f74bd896620119060327e497a

Observation 6bd3524f-0530-478c-af5a-714402db8db8 · outbound

This paper cites LLM4Decompile: Decompiling Binary Code with Large Language Models.

Large Language Models for Validating Network Protocol Parsers LLM4Decompile: Decompiling Binary Code with Large Language Models

Reference 44

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.339661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.339661Z digest=sha256:b6111ca1696bef5507be425f44a11534c2be7b4ab62d238cfe4ead97ae781be9

Observation 70b56488-6294-407d-92c2-bc2e53404842 · outbound

This paper cites Impact of code language models on automated program repair,.

Large Language Models for Validating Network Protocol Parsers Impact of code language models on automated program repair,

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.342826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.342826Z digest=sha256:bc3f3d31b2886a6294b506ff529e7031c0ef7cd9f3d8446c982d67be33f7c115

Observation 4aabf3d9-4737-4f6e-98f7-2930994aa842 · outbound

This paper cites Autocoderover: Autonomous program improvement,.

Large Language Models for Validating Network Protocol Parsers Autocoderover: Autonomous program improvement,

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.345963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.345963Z digest=sha256:4b8103310516c6b5d5b04d51a2cbc177179d65d335c565feaf58e4a74257d913

Observation 55ab3d94-d3cf-48ce-b234-7fb971a4c351 · outbound

This paper cites How effective are neural networks for fixing security vulnerabilities,.

Large Language Models for Validating Network Protocol Parsers How effective are neural networks for fixing security vulnerabilities,

Reference 47

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.349382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.349382Z digest=sha256:ca11dd7f3ae8478f1e95ebe49ba15ba86aff86502062e7d0eae2b904e8584722

Observation 2dd1184c-4892-4627-927a-cc39c7a9da4f · outbound

This paper cites The Llama 3 Herd of Models.

Large Language Models for Validating Network Protocol Parsers The Llama 3 Herd of Models

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.352259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.352259Z digest=sha256:d6f63abc99215d6df1f38aa9942b98c5d458428019e2534337fc5474d374a86d

Observation f4252a68-a87e-4e35-88a5-e6845e281686 · outbound

This paper cites DeepSeek-V3 Technical Report.

Large Language Models for Validating Network Protocol Parsers DeepSeek-V3 Technical Report

Reference 49

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.355273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.355273Z digest=sha256:6c932fa11859c44a3260c6f3b93caf14d86e79744cf4bde6ff5cd29f8a06899d

Observation 368272ff-d338-47f2-b5f6-691529d5767e · outbound

This paper cites Language mod- els are few-shot learners,.

Large Language Models for Validating Network Protocol Parsers Language mod- els are few-shot learners,

Reference 50

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.358576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.358576Z digest=sha256:90fad969a348873a5d8e9e17bc1bdd6db70cb8bb3d07de440f0b0cb612b52577

Observation 9c0f72a3-f7aa-4e78-80b6-18759cf4ff68 · outbound

This paper cites How Effective are Large Language Models in Generating Software Specifications?.

Large Language Models for Validating Network Protocol Parsers How Effective are Large Language Models in Generating Software Specifications?

Reference 51

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.361950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.361950Z digest=sha256:4e628feb67d7543d9ab33531fc63423331c0fab96a5584d0a94bc2b16e214479

Observation 7857328b-460f-451d-b590-b7055fc44501 · outbound

This paper cites ReCode: Robustness Evaluation of Code Generation Models.

Large Language Models for Validating Network Protocol Parsers ReCode: Robustness Evaluation of Code Generation Models

Reference 52

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.365659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.365659Z digest=sha256:4a6d3345568eaa9939e92ab95866c5eee4229b54746638cd2b90f4537e772cbe

Observation 79d41220-0508-47c6-9575-8bbcab2e2aa0 · outbound

This paper cites Exploring and evaluating hallucinations in llm-powered code generation,.

Large Language Models for Validating Network Protocol Parsers Exploring and evaluating hallucinations in llm-powered code generation,

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.368916Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.368916Z digest=sha256:b266716f178b5b402111eef26ab74dc92c0993612b9a29c24462bb33bf174f67

Observation 836c8ef8-0d64-4947-bf9b-9f06c91e59d6 · outbound

This paper cites Reasoning Runtime Behavior of a Program with LLM: How Far Are We?.

Large Language Models for Validating Network Protocol Parsers Reasoning Runtime Behavior of a Program with LLM: How Far Are We?

Reference 54

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.371954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.371954Z digest=sha256:b3c168f1dfa1420533713f2f78d6b15cf26f1cabb5c58c56931fcfbd7a4e5dcd

Observation d6970d8d-07f7-4fcf-824f-73a024b47c50 · outbound

This paper cites CodeMind: Evaluating Large Language Models for Code Reasoning.

Large Language Models for Validating Network Protocol Parsers CodeMind: Evaluating Large Language Models for Code Reasoning

Reference 55

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.375341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.375341Z digest=sha256:ccbaa240f3c011b100220306be852dc455b7e9ae16f91f6bc95828644f699cfc

Observation ee921ae5-875c-4474-b5e3-0d6b3b7b795c · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models,.

Large Language Models for Validating Network Protocol Parsers Chain-of-thought prompting elicits reasoning in large language models,

Reference 56

Resolution
unresolved
no resolver link, observed 2026-08-16T12:11:29.378575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T12:11:29.378575Z digest=sha256:4106f72656f7bd1e4fbbda412125c061c3bc9f893ad66073c55746826e331d76

Observation bfee54bb-b515-4294-9daa-171a5221e570 · outbound

This paper cites Retrieval augmented generation with llms for explaining business process models,.

Large Language Models for Validating Network Protocol Parsers Retrieval augmented generation with llms for explaining business process models,

Reference 57

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T12:11:29.691108Z

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.

source=pdf_text observed=2026-08-16T12:11:29.381621Z digest=sha256:11c9b9bc86a0a08c43413b86d65e2498d7b695626c6bc7dc0e9d4229bd8b607e

Pith citing papers

Observation c23763c0-6073-47af-a093-fdae4331e803 · inbound

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing cites this paper.

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing Large Language Models for Validating Network Protocol Parsers

Reference 7

Resolution
metadata mismatch
local_arxiv, observed 2026-08-10T00:32:47.395661Z

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.

source=pdf_text observed=2026-08-10T00:32:47.276773Z digest=sha256:6e8da6da216b9a2c0643adf455b0fae06eb61cb62139db3c42815c79167c560a