Pith. sign in

REVIEW 3 cited by

SPEC5G: A Dataset for 5G Cellular Network Protocol Analysis

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2301.09201 v2 pith:PWHRSD77 submitted 2023-01-22 cs.IR cs.CRcs.LG

Imtiaz Karim , Kazi Samin Mubasshir , Mirza Masfiqur Rahman , Elisa Bertino This is my paper · ORCID
classification cs.IRcs.CRcs.LG
keywords protocolanalysisdatasetnetworkcellularsecurity-relatedspec5gsummarization
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

5G is the 5th generation cellular network protocol. It is the state-of-the-art global wireless standard that enables an advanced kind of network designed to connect virtually everyone and everything with increased speed and reduced latency. Therefore, its development, analysis, and security are critical. However, all approaches to the 5G protocol development and security analysis, e.g., property extraction, protocol summarization, and semantic analysis of the protocol specifications and implementations are completely manual. To reduce such manual effort, in this paper, we curate SPEC5G the first-ever public 5G dataset for NLP research. The dataset contains 3,547,586 sentences with 134M words, from 13094 cellular network specifications and 13 online websites. By leveraging large-scale pre-trained language models that have achieved state-of-the-art results on NLP tasks, we use this dataset for security-related text classification and summarization. Security-related text classification can be used to extract relevant security-related properties for protocol testing. On the other hand, summarization can help developers and practitioners understand the high level of the protocol, which is itself a daunting task. Our results show the value of our 5G-centric dataset in 5G protocol analysis automation. We believe that SPEC5G will enable a new research direction into automatic analyses for the 5G cellular network protocol and numerous related downstream tasks. Our data and code are publicly available.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Resilient Decentralized Ergodic Coverage for Scalable Multi-Robot Systems in Unknown Time-Varying Environments

    cs.MA 2026-04 unverdicted novelty 7.0 of 10

    Decentralized agents maintain GP beliefs of a time-varying importance map and follow Markov-chain ergodic policies that allocate time proportional to estimated ROI importance while remaining robust to failures.

  2. NextG-GPT: Leveraging GenAI for Advancing Wireless Networks and Communication Research

    cs.ET 2025-05 conditional novelty 5.0 of 10

    A RAG-enhanced LLM assistant for wireless research testbeds is built and evaluated, with LLaMa3.1-70B scoring best, though the abstract mislabels a faithfulness score as correctness.

  3. Large Language Models for Next-Generation Wireless Network Management: A Survey and Tutorial

    cs.NI 2025-09 conditional novelty 4.0 of 10

    A survey and tutorial that organizes LLM-enabled wireless network optimization into formulation, solution, and verification stages, with case studies drawn from the authors' own prior papers.

Pith tools