This book constitutes revised selected papers of the 9th International Conference on Mobile Internet Security, MobiSec 2025 held in Sapporo, Japan, December 1618, 2025.

The 38 full papers presented in this volume were carefully reviewed and selected from 109 submissions. They were grouped into the following topical sections: Advanced Cryptography & Formal Security ; Quantum & Post-Quantum Security; AI-driven Security & Machine Learning; Network Security & Threat Detection; 5G/6G & Next-Generation Network Security; IoT, CPS & Industry Security; System & Cloud Security; Blockchain & Distributed Trust. **
**

Inhalt

.- Advanced Cryptography & Formal Security.
.- Circuit Normalization Bottlenecks in Trivial Zero-Knowledge Decision Tree Evaluation.
.- Multi-Authority Attribute-Based Multi-Keyword Searchable Encryption with Dynamic Membership from Lattices.
.- Toward Formal Analysis of the IVXV Voting Protocol using Computationally Complete Symbolic Attacker.
.- Split Credential Authentication: A Privacy-Preserving Protocol with Decoupled Authority and Issuer Roles.
.- Non-Recoverable Signature: Digital Signatures Tolerant to Partial Disclosures.
.- Efficient ZKP for the sum of Finite Field Column Vectors.
.- An Efficient Revocable Attribute-based Encryption Scheme Supporting Data Integrity.
.- Quantum & Post-Quantum Security.
.- Isogeny-based KEMs for TLS 1.3: A Comparative Study of CSIDH/PEGASIS and POKE.
.- Deniable Kyber: A Post-Quantum Deniable KEM Scheme.
.- Attack Detection in Mobile Networks based on Quantum Machine Learning.
.- AI-driven Security & Machine Learning.
.- An LLM-Based Method for the Analysis of Multiple Network Behaviors.
.- Error-driven Prompting Strategy to enhance Policy as Code Generation for Kubernetes.
.- On the Effectiveness of Instruction-Tuning Local LLMs for Identifying Software Vulnerabilities.
.- VulnRemediate AI: An Integrated Framework for Semantic Vulnerability Detection and Generative Remediation.
.- DD5GO: DDoS Detection System of 5G on O-RAN.
.- Implementing an Image-based Intruder Detection System using YOLOtalk.
.- Network Security & Threat Detection.
.- Classification of Tor Metadata Combinations for Investigation.
.- Friendly-fire: Measurement and Analysis of the Interaction Dynamics Between Anti-Malware and PETs.
.- Drain-Like Log Parsing for Distributed Systems: Efficient Template Mining on HDFS Datasets.
.- The Effect of Increased Dimensionality on Detecting Malicious IoMT Network Traffic.
.- HEPFS: Homomorphic Encryption-based Privacy Forwarding Scheme for Efficient Ciphertext-Domain Routing.
.- 5G/6G & Next-Generation Network Security.
.- NetSMoM: ML Driven Network Slicing framework for Efficient and Secure Service Delivering in 6G Network.
.- TGPOA: Task and Geography Privacy-Preserving Offloading Algorithm in 6G Network.
.- Deriving Security Controls through Verification on Open-Source 5G Testbeds.
.- Intelligent Orchestration Method for Cybersecurity Services in Satellite-Terrestrial Integrated Network.
.- Private 5G Security Assessment Framework: Development and Validation from Testbed to Operational Network.
.- Slicing and Filtering Security Orchestration for Cyberattacks Mitigation in 5G/6G Networks.
.- IoT, CPS & Industry Security.
.- One Passport to Govern Them All: Bringing Order to IoT Security and Compliance.
.- Semantic Backdoor Attacks into Anomaly Detection Models for Industrial Control Systems.
.- A Field Study on the Use of Multiple IoT Sensors for Observing Geographical Phenomena in a Heavy Rainfall Early Warning System.
.- Lightweight Secure Federated Learning for Energy-Constrained IoT: A Case Study in Smart Irrigation.
.- Semantic Relations Analysis of Safety and Security Requirements in Industrial Control Systems using Natural Language Inference.
.- System & Cloud Security.
.- Prioritized Multi-Criteria Optimization for Efficient Cloud-Native Application Resource Allocation.
.- Design and Evaluation of a Management Target Control Mechanism in a Function for Tracing Diffusion of Classified Information on KVM.
.- Spatio-Temporal Adaptive Reinforcement Learning for Task Offloading in Mobile Edge Computing.
.- From Cookie and Passport.js to JWT: Secure and Scalable Web Authentication.
.- Blockchain & Distributed Trust.
.- ZKR-TEE: A Zero-Knowledge Rollup Framework in Trusted Execution Environments.
.- Symbolic Formalization of Proof-of-Work Security in Blockchain and Its Computational Soundness.