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 August 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-08-23T06:30:58.430688+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:ec9ce0e55c54e0a142e0e16c6fffb7d0af4d08da93c55bad69ff73d97e5fb729

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:b3b6b68f14969b733aba9ece82e4768f26bf0cac8430b81f7958bc44efdac826

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:c9c0c91be2731c3e70f6c773ee946b04288c964b60f588d3d62f3f0beae9e54e

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:4988a94af0dad8aded3e5fdd31029548ac5304fdc48fabd35031adaf948f4cea

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:c6be53bf41c33cb81f7288f510e82de20157bd3be5a8cce400e855e1efbe8ba5

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:f81923cfe42d9d3efd48df492366ad3121ca3380b032a8dbfe0e2982fc1647bf

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:94dc13bf6634838af4d3bc62f7f55f4c50312bb502491edca9c7289c35be3160

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:8d014c4afabb272d6d9dd0b9c9212399751db3462934c98fa3e0fbe8a758b0d7

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:762ef5c99fcc86ba3eb1594fb8763b2203626c7add72319679a677989da1a09c

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:541cfff1f9bc88293c335548cbf5554419d8ec8bcbb2b73af11f98139e588698

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:9819a8b0eaf16d0ae99f70d353cf02674b0036910662c5dfe182086c84fe50c4

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:56ff00ccd441c604538d53c3e7b3f3e398ef1e5d572db2ace073c0080d562495

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:2c3a645e530996dc67fae63b0836ef6721c6c55f33de3f7b544b943be45e1027

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:b94f606605c9be25d0bdd91a09b7a3d0d603d22aa6a30178c3ade3b26cc3f72e

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:e7e1dff0d7eb980c93e75f162a00a9700a2ded34364898fd42b45a698fb7b8bd

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:1b3b918b2edcaa255eb1ce2a6b20ee1f34569027aa785cddb68566029cbd510b

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:51364d1b5928aac25540fbac65d95e06ef0a06ca6beb923482c208e80179d70d

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:fc9b1bc921165785b1884389274afc70b00cef8c104bffb249cc33b738f10fd0

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:bde922f173cfb62aeee7befaaf30bc075acdbed47e1e37e3c4513eb950620f09

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:257153f24e2733d46ef7fc2466f451748f29ae8d9ce0943b12493e680ea52e8f

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:d65b9ac84495660ffab535b5b8f2a362c3d23e96f2bb86f25afe4cbda16d4bdd

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:46d9323e053db80384b6e6c7b486ffaa4babf1c9e20be97dadab4d2db3cb6731

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:57871ff645947fc21adcf6b00a509592c973b29c9d9846c47f6bf3878c614373

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:d2bba2d6c21bce8a96bcac72f04bb8de5a2036d494eee68da385e53ceca2d596

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:9a993dfc319a779fbef4cd45c2801a614d7806085d04796ea4f7f27f227ec992

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:b45fa3e6518f51cc738d421e8da434a4260a88a40862671da3c750fb4ace7cf8

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:cb3b163396abf5e7fa6c24e0f9b478c4680d55c3578db9ed6d4d3c6198ab9ab9

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:225a6f9eea928b2dd0f51e6c90f5667bee1c00262a162377070e21adf8babdf5

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:8f3fd6fd35a3254f116a317e9a55731f48062b534f134c8c965eeb3b6c896e4f

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:a41f6eeefa8310bbaeac61d9c8c6dc9a22e4a76551274c8cb93cb1ad152612c8

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:bc6bb59d9af6aa1aa6f2601fd6e0486e624d5e43844f6749df4cbf427cefc20b

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:4deb0061908b4684680b24752ea8da05efb8fce3f2b99d4fe593424124b20771

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:c40bcf1a705b9d21588e1e85442abe4985f72a87e89a4f41f6943ce070610cfa

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:e4320ffa1c3bfbe54d106ffea56a0286da4e5d7f8947a24a638681cfe703a483

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:65fb9ba9a7adeb2dcd7eedc3316933fb99a06183037f62edf0f642fa57fb0c58

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:f45e154d23f6078bd36b900454bdf256f09f76c36de7a14e011ac3b8e84379c5

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:f256a4f78bc06db0e0ef77a1c31c521d46dd75971bcdcb94d4bbd7e72b99db88

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:790e8ab2bd9210a7ff5a000d81fab7fdb2202a62e8f0919f22acaf0790d2f125

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:a5df835768fcaccfe04e28a305c54fbd21a8557f53aacf40ee8d84b48961c94a

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:8cd52475474899ebc25ece3716c8d5a3d320d1722b51edc8cd97d23978311c87

Pith citing papers

No inbound Pith citation observations are available.