Image de couverture de livre

CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xie, Ke, Zhao, Xingyi, Chen, Min-Yue, Chen, Yu-An, Hu, Yiwen, Saifuzzaman, Munshi, Li, Wen, Yuan, Shuhan, Tu, Guan-Hua, Xie, Tian
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

CellularSpecSec-Bench: A Staged Benchmark for Evidence-Grounded Interpretation and Security Reasoning over 3GPP Specifications
par: Xie, Ke, et autres
Publié: (2026)

Introduction to IoT
par: Ananna, Tajkia Nuri, et autres
Publié: (2023)

Towards Smart Healthcare: Challenges and Opportunities in IoT and ML
par: Saifuzzaman, Munshi, et autres
Publié: (2023)

HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation
par: Chen, Qirui, et autres
Publié: (2026)

SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents
par: Huang, Dawei, et autres
Publié: (2026)

SecDTD: Dynamic Token Drop for Secure Transformers Inference
par: Cai, Yifei, et autres
Publié: (2026)

Can Large Language Models Automate the Refinement of Cellular Network Specifications?
par: Dong, Jianshuo, et autres
Publié: (2025)

Meta SecAlign: A Secure Foundation LLM Against Prompt Injection Attacks
par: Chen, Sizhe, et autres
Publié: (2025)

SecPE: Secure Prompt Ensembling for Private and Robust Large Language Models
par: Zhang, Jiawen, et autres
Publié: (2025)

SecIC3: Customizing IC3 for Hardware Security Verification
par: Tan, Qinhan, et autres
Publié: (2026)

CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection
par: Chen, Xiao
Publié: (2024)

BMC4TimeSec: Verification Of Timed Security Protocols
par: Zbrzezny, Agnieszka M.
Publié: (2026)

SecRepoBench: Benchmarking Code Agents for Secure Code Completion in Real-World Repositories
par: Shen, Chihao, et autres
Publié: (2025)

SecMoE: Communication-Efficient Secure MoE Inference via Select-Then-Compute
par: Shen, Bowen, et autres
Publié: (2026)

SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization
par: Wang, Hao, et autres
Publié: (2026)

RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories
par: Wang, Yanlin, et autres
Publié: (2026)

λ-SecAgg: Partial Vector Freezing for Lightweight Secure Aggregation in Federated Learning
par: Zhang, Siqing, et autres
Publié: (2023)

CredSec: A Blockchain-based Secure Credential Management System for University Adoption
par: Habib, Md. Ahsan, et autres
Publié: (2024)

SecCodePRM: A Process Reward Model for Code Security
par: Yu, Weichen, et autres
Publié: (2026)

SecONNds: Secure Outsourced Neural Network Inference on ImageNet
par: Balla, Shashank
Publié: (2025)

SecScale: A Scalable and Secure Trusted Execution Environment for Servers
par: Sunny, Ani, et autres
Publié: (2024)

SecTracer: A Framework for Uncovering the Root Causes of Network Intrusions via Security Provenance
par: Lee, Seunghyeon, et autres
Publié: (2025)

ProSec: Fortifying Code LLMs with Proactive Security Alignment
par: Xu, Xiangzhe, et autres
Publié: (2024)

SecMLOps: A Comprehensive Framework for Integrating Security Throughout the MLOps Lifecycle
par: Zhang, Xinrui, et autres
Publié: (2026)

SecEncoder: Logs are All You Need in Security
par: Bulut, Muhammed Fatih, et autres
Publié: (2024)

Comparative Analysis of AI-Driven Security Approaches in DevSecOps: Challenges, Solutions, and Future Directions
par: Binbeshr, Farid, et autres
Publié: (2025)

SmartX Intelligent Sec: A Security Framework Based on Machine Learning and eBPF/XDP
par: Farasat, Talaya, et autres
Publié: (2024)

SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip
par: Hu, Ziteng, et autres
Publié: (2025)

Secure Tug-of-War (SecTOW): Iterative Defense-Attack Training with Reinforcement Learning for Multimodal Model Security
par: Dai, Muzhi, et autres
Publié: (2025)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
par: Andrici, Cezar-Constantin, et autres
Publié: (2025)

SecDOAR: A Software Reference Architecture for Security Data Orchestration, Analysis and Reporting
par: Chauhan, Muhammad Aufeef, et autres
Publié: (2024)

DaemonSec: Examining the Role of Machine Learning for Daemon Security in Linux Environments
par: Farjad, Sheikh Muhammad
Publié: (2025)

Safeguard: Security Controls at the Software Defined Network Layer
par: Lyu, Yi, et autres
Publié: (2026)

An Automated Analyzer for Financial Security of Ethereum Smart Contracts
par: Wang, Wansen, et autres
Publié: (2022)

SecReEvalBench: A Multi-turned Security Resilience Evaluation Benchmark for Large Language Models
par: Cui, Huining, et autres
Publié: (2025)

Sec5GLoc: Securing 5G Indoor Localization via Adversary-Resilient Deep Learning Architecture
par: Alla, Ildi, et autres
Publié: (2025)

MER-Inspector: Assessing model extraction risks from an attack-agnostic perspective
par: Zhang, Xinwei, et autres
Publié: (2025)

SecPLF: Secure Protocols for Loanable Funds against Oracle Manipulation Attacks
par: Arora, Sanidhay, et autres
Publié: (2024)

On Evaluating the Durability of Safeguards for Open-Weight LLMs
par: Qi, Xiangyu, et autres
Publié: (2024)

SecAlign: Defending Against Prompt Injection with Preference Optimization
par: Chen, Sizhe, et autres
Publié: (2024)