Pith. sign in

Paper Citation Record · LEDGER

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks

As of 23 July 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2605.30985.

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

pith.paper-citation-record.v1
2605.30985 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-28T20:19:11.326845Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-07-23T06:31:01.910684+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

40 of 40 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved39
  • parse uncertain0
  • malformed identifier1
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a1ac7090-3f41-4d65-bab9-239e3fa4b2ae · outbound

This paper cites General Packet Radio Service (GPRS) Enhance- ments for Evolved Universal Terrestrial Radio Access Network (E-UTRAN) Access.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks General Packet Radio Service (GPRS) Enhance- ments for Evolved Universal Terrestrial Radio Access Network (E-UTRAN) Access

Reference 1

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:f45ab3e3018407f456394bd40822534fbc182d88637d17151d3eb4df7fd78afc

Observation 0d7d6fa0-3e44-4b4e-96bb-5230ce7cd4f7 · outbound

This paper cites System Architecture for the 5G System.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks System Architecture for the 5G System

Reference 2

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:b492335e71d195928516e08d6af06820763e659bd5a10c2ca63c67b490b5a171

Observation f736b853-02ef-4f31-8781-37f6a2494aa5 · outbound

This paper cites Security Architecture and Procedures for 5G System.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Security Architecture and Procedures for 5G System

Reference 3

Resolution
malformed identifier
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:c860b809250880bfa178d55312d202dcbeed30eafdcd047d8b8da74193e9d343

Observation a5da8155-fac6-43b9-87c6-9da79f67e3bb · outbound

This paper cites Procedures for the 5G System (5GS).

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Procedures for the 5G System (5GS)

Reference 4

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:c0f1cc5615255188c6bd1d9d60a34442f3731e4e6f43427c085a1288e1b86bf9

Observation a3078d44-a67b-44ac-b539-505eb355d56b · outbound

This paper cites Non-Access-Stratum (NAS) Protocol for 5G System (5GS); Stage 3.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Non-Access-Stratum (NAS) Protocol for 5G System (5GS); Stage 3

Reference 5

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:16902d876e75f01e9d404f00ad96b2413c68395d5f159cb102308a0a246d3e7b

Observation 039e272e-ef25-498e-8538-d101abc7c625 · outbound

This paper cites 5G Security Assurance Specification (SCAS); Access and Mobility management Function (AMF).

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks 5G Security Assurance Specification (SCAS); Access and Mobility management Function (AMF)

Reference 6

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:b134c53e11ca041be0862ec506fb174562c38eb5b63061bd659bf39656966378

Observation 851f92d2-a2c1-4d16-861d-a16983d10c4f · outbound

This paper cites Open Source 5G Core Network.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Open Source 5G Core Network

Reference 7

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:0694c74a52e76b829c338101ed01b499df2bcfa115db0988da861a1091a904bf

Observation 23f15ba9-7fdb-46fb-bb9f-b7bd3980cfe1 · outbound

This paper cites Open Source 5G Core Network.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Open Source 5G Core Network

Reference 8

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:08db46a7081804a3b0ec9d235a47375b8da5861cebb57b2c2634920521518390

Observation 5f8f84f1-8019-4838-9e95-9aea383c26c8 · outbound

This paper cites Open Source RAN and Core Net- work Software.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Open Source RAN and Core Net- work Software

Reference 9

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:dd2ada3393c841367d31c13067ee7a65ff2adaa207f5edfe096ca3dcb28a7b59

Observation 85a67662-96ea-48f2-9df1-0daaea93a316 · outbound

This paper cites Open Source 5G UE and RAN Simulator.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Open Source 5G UE and RAN Simulator

Reference 10

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:ee8173243843a3cf626a2d31cce01ec7300090be5b1111d8815e5f18b530cb38

Observation d0cf85f5-6432-4f08-8dbb-e5b110370ea1 · outbound

This paper cites To- ward a cloud-native telecom infrastructure: Analysis and evaluations of kubernetes networking.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks To- ward a cloud-native telecom infrastructure: Analysis and evaluations of kubernetes networking

Reference 11

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:31bf500920f92604dad74733407a2ed5387d4f434058038170d98ce75260d2ab

Observation e98c1f5b-c0a3-4428-82da-e73b9024052e · outbound

This paper cites Exploring ml methods for dynamic scaling of be- yond 5g cloud-native rans.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Exploring ml methods for dynamic scaling of be- yond 5g cloud-native rans

Reference 12

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:698b854f41dd65eb379d47fc47321d6927febb0c14aec6470433152892f39c59

Observation 6659626d-2598-44ed-94f0-ec66faafbf1c · outbound

This paper cites Cloud-native orchestration framework for network slice federation across administrative do- mains in 5g/6g mobile networks.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Cloud-native orchestration framework for network slice federation across administrative do- mains in 5g/6g mobile networks

Reference 13

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:636f8b984cf98fea7ead056a61e875c73bf93178be39a24057c0219d3a1ac41f

Observation ab424a4b-bdc3-498c-aee4-b1a438b73127 · outbound

This paper cites 5gc-fuzz: Finding deep stateful vulner- abilities in 5g core network with black-box fuzzing.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks 5gc-fuzz: Finding deep stateful vulner- abilities in 5g core network with black-box fuzzing

Reference 14

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:0cf8d078a96903ae39b91d4a1becacefe0f95d8ad868443ef287d5d951c0789c

Observation 9f109827-660b-41be-ba20-870cc9b1da47 · outbound

This paper cites Corecrisis:threat-guided and context-aware iter- ative learning and fuzzing of 5g core networks.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Corecrisis:threat-guided and context-aware iter- ative learning and fuzzing of 5g core networks

Reference 15

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:081215beda6de2ea9ce073c0d0e92de1ea5f4192fbd47f7a09daa9dc05f8e483

Observation 44636571-1069-4303-a602-aa8a9049c68e · outbound

This paper cites Citesting: Systematic testing of context integrity violations in lte core net- works.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Citesting: Systematic testing of context integrity violations in lte core net- works

Reference 16

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:b41b9256faf0f16036a8bc2ad5edc99daf0477357c3776acd833b3d3bba00587

Observation 83ef1d73-3fbe-4252-b27e-240ffa15f169 · outbound

This paper cites Hermes: Unlocking security analysis of cellular network protocols by synthesizing finite state machines from natural language specifications.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Hermes: Unlocking security analysis of cellular network protocols by synthesizing finite state machines from natural language specifications

Reference 17

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:4786679ebdfa79386632df1d9e7f6704ad302669ff4ea31ab14bd763e7ee6df0

Observation 2aa7f185-ec3c-4e83-a92c-f6af54f96851 · outbound

This paper cites Cellularlint: A systematic approach to iden- tify inconsistent behavior in cellular network specifica- tions.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Cellularlint: A systematic approach to iden- tify inconsistent behavior in cellular network specifica- tions

Reference 18

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:4d5404bf45d0ba237c529770a4e531ef88d247c84f598c47c95c4b7f6a425e25

Observation b52b4511-8a0a-4963-9f82-4ba08fd6c142 · outbound

This paper cites Unleashing the power of llm to infer state machine from the protocol im- plementation.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Unleashing the power of llm to infer state machine from the protocol im- plementation

Reference 19

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:70ded3018661d7bcfc2def1e5d9603ccceb60850637ce882e9251b8a88a45cab

Observation 46fdcf60-aad8-4a87-8c5d-5de5fac47432 · outbound

This paper cites Dissecting privacy-exposing identi- fiers in 5g/4g networks.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Dissecting privacy-exposing identi- fiers in 5g/4g networks

Reference 20

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:d49a5a0f8c4e03bb6c87038a769d0df00d0e47fceec2dd71119c6dfe60eec726

Observation 992fdfbd-35f0-49ce-b9f8-33d54b2adab3 · outbound

This paper cites Instructions unclear: undefined behaviour in cellular network specifications.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Instructions unclear: undefined behaviour in cellular network specifications

Reference 21

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:96d7fe3cb17f9ed7ccd281ed2f5ac27b6fdb5c68c9bdf511c4a9506628fd64fe

Observation 54efad30-0801-4717-9bde-13914058e03a · outbound

This paper cites Noncom- pliance as deviant behavior: An automated black-box noncompliance checker for 4g lte cellular devices.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Noncom- pliance as deviant behavior: An automated black-box noncompliance checker for 4g lte cellular devices

Reference 22

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:34e17e61f7738ec2d93f9c470423969b9d747c002d553f058cdf035aa93187fc

Observation df03bfc4-3ff4-49ba-8b13-8cf1694576dc · outbound

This paper cites Touching the untouchables: Dynamic security analysis of the lte control plane.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Touching the untouchables: Dynamic security analysis of the lte control plane

Reference 23

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:a717724f9d8844377490c859da122edd0bba626c57651fb5eee2620aa919e112

Observation b6edd48c-a524-4619-b15e-899185cbcd98 · outbound

This paper cites Sherlock on specs: Building lte conformance tests through automated reasoning.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Sherlock on specs: Building lte conformance tests through automated reasoning

Reference 24

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:bda2a373747aa089d5dd5554dd4f634af7f98c98f8ca18e90a3e34a1ac1a18c9

Observation c67843bd-675a-4719-add5-8217a3f0ef02 · outbound

This paper cites Intelligent fuzzing algorithm for 5g nas protocol based on predefined rules.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Intelligent fuzzing algorithm for 5g nas protocol based on predefined rules

Reference 25

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:a71ffb9162118fad45cdbe10730951ed3b80ff11bc66b8b7bf5cd1ce135d3e41

Observation f60d11d0-2749-468e-a789-a1c74d0df292 · outbound

This paper cites Nlp-based cross-layer 5g vulnerabilities detection via fuzzing generated run- time profiling.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Nlp-based cross-layer 5g vulnerabilities detection via fuzzing generated run- time profiling

Reference 26

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:6d01a5c680d1ebeb05163a335330fb116e2eedf262a4555cc207d64c2a1b70e9

Observation fe2b7531-2138-4215-9a21-18865acb6761 · outbound

This paper cites Metastable failures in distributed systems.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Metastable failures in distributed systems

Reference 27

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:e083f5163964d0118b1de5f60581f8e6ee325391e736999ac0711299c50168c6

Observation f320aa76-3259-4876-a703-cb876ed3c5b7 · outbound

This paper cites Metastable failures in the wild.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Metastable failures in the wild

Reference 28

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:19e2482d21e323e340495cf5dd09bc4ad04134b3de97cea47ccab96eb89da9cc

Observation eee40939-eb39-4b79-9859-8ecd6f35b2c3 · outbound

This paper cites Analyzing metastable failures.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Analyzing metastable failures

Reference 29

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:fa1074db089303991c2b73c4629e1b13ce38600c64088c153f693d910bf79323

Observation 80fc296f-9536-4677-a77f-bbef81a8f63d · outbound

This paper cites Amfuzz: Black-box fuzzing of 5g core net- works.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Amfuzz: Black-box fuzzing of 5g core net- works

Reference 30

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:96123e31ded5c1be481a9776e4f987a8b20fdac6a9b4ed17544dc2089e359707

Observation 76d99b89-ced6-45cf-bbb2-b74da592aeff · outbound

This paper cites Lteinspector: A systematic ap- proach for adversarial testing of 4g lte.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Lteinspector: A systematic ap- proach for adversarial testing of 4g lte

Reference 31

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:dcc1840fb6e133c7d6556c337eb0b87ca74a61013c1ae3b2079b8697e7c08e24

Observation bfef7000-e150-4e3f-8b82-d057588cc14f · outbound

This paper cites A for- mal analysis of 5g authentication.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks A for- mal analysis of 5g authentication

Reference 32

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:07021cdcdfa96de638fc4f94e4bb3599d3fbda14e0d06c1240ca4e393156f45d

Observation 9f7704ed-029b-4b21-a466-4e555d1576bf · outbound

This paper cites 5greasoner: A property-directed security and privacy analysis frame- work for 5g cellular network protocol.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks 5greasoner: A property-directed security and privacy analysis frame- work for 5g cellular network protocol

Reference 33

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:4c2b1cadcbd5405c65f786f971d1f881b659e0d3c3c13d421bf78866185e0b9d

Observation eed4c3f1-1420-4ae4-b130-781ddfb1794f · outbound

This paper cites Component- based formal analysis of 5g-aka: Channel assumptions and session confusion.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Component- based formal analysis of 5g-aka: Channel assumptions and session confusion

Reference 34

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:e0af9b57250b34bd4651dcff59596e05668bb99785172557a3150c4684fc717a

Observation 70629351-f2dd-4a00-b96d-3ab87a225a31 · outbound

This paper cites Privacy-preserving and standard-compatible aka pro- tocol for 5g.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Privacy-preserving and standard-compatible aka pro- tocol for 5g

Reference 35

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:a5743f71ce8dfe044b28b0273807c5121fa07d5340fba7daf57c1352b2d94146

Observation 6f9131f3-3086-41a3-ad59-72e82f3e348c · outbound

This paper cites A com- prehensive formal analysis of 5g handover.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks A com- prehensive formal analysis of 5g handover

Reference 36

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:057961b18bdaf68bd1ee1ff816a2c0b01e34ee29fd369a330bc3140252863200

Observation 5e2c663b-56be-4112-98b0-3dd511fbc7c6 · outbound

This paper cites A formal analysis of 5g eap-tls protocol.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks A formal analysis of 5g eap-tls protocol

Reference 37

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:5cbe4c8688dce4cb530dc3c99fc9b4bba472e4192ccc87fd13d4111e8066c393

Observation 054fee79-97a9-4091-946e-b97bfac6f037 · outbound

This paper cites Formal analysis of access con- trol mechanism of 5g core network.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks Formal analysis of access con- trol mechanism of 5g core network

Reference 38

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:7f6c704ab760445f332ad49656a2e2fffb7ff4ef8e5aeea0ec133bdc09fa84e6

Observation 89cdfaca-0ef4-45e3-9245-2136d8722943 · outbound

This paper cites From control to chaos: A comprehensive for- mal analysis of 5g’s access control.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks From control to chaos: A comprehensive for- mal analysis of 5g’s access control

Reference 39

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:e1dad86f0ec3ff3407a07b4fc5f59c9cde390044a69acf95f53e593573c56d1c

Observation fad4d708-adbd-4358-8c18-6e6146773f41 · outbound

This paper cites For- malization of a security access control model for the 5g system.

Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks For- malization of a security access control model for the 5g system

Reference 40

Resolution
unresolved
no resolver link, observed 2026-06-28T20:19:11.326845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-28T20:19:11.326845Z digest=sha256:0d5e16d130b3b81160e86d9d3a9e2d66bf9f06784be170cb8cbdc57bdd13b43a

Pith citing papers

No inbound Pith citation observations are available.