{"as_of":"2026-07-23T10:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:300667525395c8245f048b8c168aa1ff2883e31f42e28a9998d8c4b74fc2cb7d","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T20:19:11.326845Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-07-23T06:31:01.910684+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2605.30985/citation-record","integrity":"/paper/2605.30985/integrity","json":"/paper/2605.30985/citation-record.json","paper":"/paper/2605.30985"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"General Packet Radio Service (GPRS) Enhance- ments for Evolved Universal Terrestrial Radio Access Network (E-UTRAN) Access","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:f45ab3e3018407f456394bd40822534fbc182d88637d17151d3eb4df7fd78afc","observation_id":"a1ac7090-3f41-4d65-bab9-239e3fa4b2ae","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"System Architecture for the 5G System","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:b492335e71d195928516e08d6af06820763e659bd5a10c2ca63c67b490b5a171","observation_id":"0d7d6fa0-3e44-4b4e-96bb-5230ce7cd4f7","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Security Architecture and Procedures for 5G System","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:c860b809250880bfa178d55312d202dcbeed30eafdcd047d8b8da74193e9d343","observation_id":"f736b853-02ef-4f31-8781-37f6a2494aa5","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Procedures for the 5G System (5GS)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:c0f1cc5615255188c6bd1d9d60a34442f3731e4e6f43427c085a1288e1b86bf9","observation_id":"a5da8155-fac6-43b9-87c6-9da79f67e3bb","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Non-Access-Stratum (NAS) Protocol for 5G System (5GS); Stage 3","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:16902d876e75f01e9d404f00ad96b2413c68395d5f159cb102308a0a246d3e7b","observation_id":"a3078d44-a67b-44ac-b539-505eb355d56b","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"5G Security Assurance Specification (SCAS); Access and Mobility management Function (AMF)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:b134c53e11ca041be0862ec506fb174562c38eb5b63061bd659bf39656966378","observation_id":"039e272e-ef25-498e-8538-d101abc7c625","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Open Source 5G Core Network","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:0694c74a52e76b829c338101ed01b499df2bcfa115db0988da861a1091a904bf","observation_id":"851f92d2-a2c1-4d16-861d-a16983d10c4f","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Open Source 5G Core Network","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:08db46a7081804a3b0ec9d235a47375b8da5861cebb57b2c2634920521518390","observation_id":"23f15ba9-7fdb-46fb-bb9f-b7bd3980cfe1","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Open Source RAN and Core Net- work Software","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:dd2ada3393c841367d31c13067ee7a65ff2adaa207f5edfe096ca3dcb28a7b59","observation_id":"5f8f84f1-8019-4838-9e95-9aea383c26c8","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Open Source 5G UE and RAN Simulator","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:ee8173243843a3cf626a2d31cce01ec7300090be5b1111d8815e5f18b530cb38","observation_id":"85a67662-96ea-48f2-9df1-0daaea93a316","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"To- ward a cloud-native telecom infrastructure: Analysis and evaluations of kubernetes networking","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:31bf500920f92604dad74733407a2ed5387d4f434058038170d98ce75260d2ab","observation_id":"d0cf85f5-6432-4f08-8dbb-e5b110370ea1","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Exploring ml methods for dynamic scaling of be- yond 5g cloud-native rans","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:698b854f41dd65eb379d47fc47321d6927febb0c14aec6470433152892f39c59","observation_id":"e98c1f5b-c0a3-4428-82da-e73b9024052e","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Cloud-native orchestration framework for network slice federation across administrative do- mains in 5g/6g mobile networks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:636f8b984cf98fea7ead056a61e875c73bf93178be39a24057c0219d3a1ac41f","observation_id":"6659626d-2598-44ed-94f0-ec66faafbf1c","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"5gc-fuzz: Finding deep stateful vulner- abilities in 5g core network with black-box fuzzing","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:0cf8d078a96903ae39b91d4a1becacefe0f95d8ad868443ef287d5d951c0789c","observation_id":"ab424a4b-bdc3-498c-aee4-b1a438b73127","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Corecrisis:threat-guided and context-aware iter- ative learning and fuzzing of 5g core networks","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:081215beda6de2ea9ce073c0d0e92de1ea5f4192fbd47f7a09daa9dc05f8e483","observation_id":"9f109827-660b-41be-ba20-870cc9b1da47","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Citesting: Systematic testing of context integrity violations in lte core net- works","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:b41b9256faf0f16036a8bc2ad5edc99daf0477357c3776acd833b3d3bba00587","observation_id":"44636571-1069-4303-a602-aa8a9049c68e","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Hermes: Unlocking security analysis of cellular network protocols by synthesizing finite state machines from natural language specifications","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:4786679ebdfa79386632df1d9e7f6704ad302669ff4ea31ab14bd763e7ee6df0","observation_id":"83ef1d73-3fbe-4252-b27e-240ffa15f169","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Cellularlint: A systematic approach to iden- tify inconsistent behavior in cellular network specifica- tions","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:4d5404bf45d0ba237c529770a4e531ef88d247c84f598c47c95c4b7f6a425e25","observation_id":"2aa7f185-ec3c-4e83-a92c-f6af54f96851","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Unleashing the power of llm to infer state machine from the protocol im- plementation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:70ded3018661d7bcfc2def1e5d9603ccceb60850637ce882e9251b8a88a45cab","observation_id":"b52b4511-8a0a-4963-9f82-4ba08fd6c142","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Dissecting privacy-exposing identi- fiers in 5g/4g networks","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:d49a5a0f8c4e03bb6c87038a769d0df00d0e47fceec2dd71119c6dfe60eec726","observation_id":"46fdcf60-aad8-4a87-8c5d-5de5fac47432","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Instructions unclear: undefined behaviour in cellular network specifications","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:96d7fe3cb17f9ed7ccd281ed2f5ac27b6fdb5c68c9bdf511c4a9506628fd64fe","observation_id":"992fdfbd-35f0-49ce-b9f8-33d54b2adab3","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Noncom- pliance as deviant behavior: An automated black-box noncompliance checker for 4g lte cellular devices","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:34e17e61f7738ec2d93f9c470423969b9d747c002d553f058cdf035aa93187fc","observation_id":"54efad30-0801-4717-9bde-13914058e03a","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Touching the untouchables: Dynamic security analysis of the lte control plane","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:a717724f9d8844377490c859da122edd0bba626c57651fb5eee2620aa919e112","observation_id":"df03bfc4-3ff4-49ba-8b13-8cf1694576dc","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Sherlock on specs: Building lte conformance tests through automated reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:bda2a373747aa089d5dd5554dd4f634af7f98c98f8ca18e90a3e34a1ac1a18c9","observation_id":"b6edd48c-a524-4619-b15e-899185cbcd98","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Intelligent fuzzing algorithm for 5g nas protocol based on predefined rules","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:a71ffb9162118fad45cdbe10730951ed3b80ff11bc66b8b7bf5cd1ce135d3e41","observation_id":"c67843bd-675a-4719-add5-8217a3f0ef02","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Nlp-based cross-layer 5g vulnerabilities detection via fuzzing generated run- time profiling","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:6d01a5c680d1ebeb05163a335330fb116e2eedf262a4555cc207d64c2a1b70e9","observation_id":"f60d11d0-2749-468e-a789-a1c74d0df292","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Metastable failures in distributed systems","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:e083f5163964d0118b1de5f60581f8e6ee325391e736999ac0711299c50168c6","observation_id":"fe2b7531-2138-4215-9a21-18865acb6761","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Metastable failures in the wild","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:19e2482d21e323e340495cf5dd09bc4ad04134b3de97cea47ccab96eb89da9cc","observation_id":"f320aa76-3259-4876-a703-cb876ed3c5b7","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Analyzing metastable failures","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:fa1074db089303991c2b73c4629e1b13ce38600c64088c153f693d910bf79323","observation_id":"eee40939-eb39-4b79-9859-8ecd6f35b2c3","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Amfuzz: Black-box fuzzing of 5g core net- works","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:96123e31ded5c1be481a9776e4f987a8b20fdac6a9b4ed17544dc2089e359707","observation_id":"80fc296f-9536-4677-a77f-bbef81a8f63d","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Lteinspector: A systematic ap- proach for adversarial testing of 4g lte","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:dcc1840fb6e133c7d6556c337eb0b87ca74a61013c1ae3b2079b8697e7c08e24","observation_id":"76d99b89-ced6-45cf-bbb2-b74da592aeff","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"A for- mal analysis of 5g authentication","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:07021cdcdfa96de638fc4f94e4bb3599d3fbda14e0d06c1240ca4e393156f45d","observation_id":"bfef7000-e150-4e3f-8b82-d057588cc14f","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"5greasoner: A property-directed security and privacy analysis frame- work for 5g cellular network protocol","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:4c2b1cadcbd5405c65f786f971d1f881b659e0d3c3c13d421bf78866185e0b9d","observation_id":"9f7704ed-029b-4b21-a466-4e555d1576bf","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Component- based formal analysis of 5g-aka: Channel assumptions and session confusion","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:e0af9b57250b34bd4651dcff59596e05668bb99785172557a3150c4684fc717a","observation_id":"eed4c3f1-1420-4ae4-b130-781ddfb1794f","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Privacy-preserving and standard-compatible aka pro- tocol for 5g","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:a5743f71ce8dfe044b28b0273807c5121fa07d5340fba7daf57c1352b2d94146","observation_id":"70629351-f2dd-4a00-b96d-3ab87a225a31","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"A com- prehensive formal analysis of 5g handover","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:057961b18bdaf68bd1ee1ff816a2c0b01e34ee29fd369a330bc3140252863200","observation_id":"6f9131f3-3086-41a3-ad59-72e82f3e348c","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"A formal analysis of 5g eap-tls protocol","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:5cbe4c8688dce4cb530dc3c99fc9b4bba472e4192ccc87fd13d4111e8066c393","observation_id":"5e2c663b-56be-4112-98b0-3dd511fbc7c6","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"Formal analysis of access con- trol mechanism of 5g core network","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:7f6c704ab760445f332ad49656a2e2fffb7ff4ef8e5aeea0ec133bdc09fa84e6","observation_id":"054fee79-97a9-4091-946e-b97bfac6f037","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"From control to chaos: A comprehensive for- mal analysis of 5g’s access control","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:e1dad86f0ec3ff3407a07b4fc5f59c9cde390044a69acf95f53e593573c56d1c","observation_id":"89cdfaca-0ef4-45e3-9245-2136d8722943","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T20:19:11.326845Z","title":"For- malization of a security access control model for the 5g system","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-28T20:19:11.326845Z"},"links":{"citing_paper":"/paper/2605.30985"},"observation_digest":"sha256:0d5e16d130b3b81160e86d9d3a9e2d66bf9f06784be170cb8cbdc57bdd13b43a","observation_id":"fad4d708-adbd-4358-8c18-6e6146773f41","resolution":{"observed_at":"2026-06-28T20:19:11.326845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2605.30985","last_updated":"2026-05-29T08:22:02Z","latest_version":1,"primary_category":"cs.NI","snapshot_observed_at":"2026-07-06T23:40:12.939143Z","submitted_at":"2026-05-29T08:22:02Z","title":"Kairos: Lightweight Testing Framework for Timing-Induced Interaction Failures in LTE and 5G Core Networks"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":39,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":40},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-07-23T06:31:01.910684+00:00","source":"crossref"},{"observed_at":"2026-07-23T06:30:56.940895+00:00","source":"retraction_watch"}],"thesis":"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."}