
Mobile Internet Security
Description
This book constitutes revised selected papers of the 9th International Conference on Mobile Internet Security, MobiSec 2025 held in Sapporo, Japan, December 16-18, 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.
More details
Content
.- 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.