Foundations and Practice of Security
Description
This two volume constitutes the refereed proceedings of the 18th International Symposium on Foundations and Practice of Security, FPS 2025, held in Brest, France during November 25-27, 2025.
The 38 full and 8 short papers presented in this book were carefully reviewed and selected from 91 submissions. The papers were organized in the following topical sections:
Part I: Security, Privacy, and Trust in Emerging Distributed Systems; Cyber Resilience and Risk Management in Enterprise Architectures; Formal Methods and Automated Analysis for Secure Software Systems; Machine Learning and Intelligent Systems for Attack Detection and Trust Evaluation; Applications to Industry and Critical Infrastructure. Part II: Advances in Privacy-Preserving Cryptography and Secure Computation; Secure and Intelligent Network Architectures for Next-Generation Communications; Secure, Explainable, and Efficient Machine Learning in Cybersecurity; Short Papers.More details
Other editions
Additional editions
Content
.- Advances in Privacy-Preserving Cryptography and Secure Computation.
.- Sender-Efficient Identity-Based Encryption with Reduced Server Trust in the Key Curator Model.
.- Counterfeit Coin Problem Can Be Extended to Secure Multiparty Computation.
.- StrawHat : Private Non-Interactive Gradient Boosting Decision Tree Evaluation Based on Homomorphic Encryption.
.- Scalable privacy-preserving database queries with FHE and PEKS.
.- Secure and Intelligent Network Architectures for Next-Generation Communications.
.- A Fairness-Aware Strategy for B5G Physical-layer Security Leveraging Reconfigurable Intelligent Surfaces.
.- APADV- Anonymous Proactive Distance Vector Routing in Connectivity-Restricted Environments.
.- A secure lightweight system based on device-to-device communication for objects sharing in local communities.
.- Consumer Zero Trust: Towards a Principled Adaptation of Zero Trust for Consumer Networks.
.- Revisiting Network Traffic Analysis: Compatible network flows for ML models.
.- Causal Graph Modeling of Network Traffic for Early Cyberattack Prediction.
.- Secure, Explainable, and Efficient Machine Learning in Cybersecurity.
.- VOLTRON: Detecting Unknown Malware Using Graph-Based Zero-Shot Learning.
.- Deep Learning-Driven Energy Auditing for Smart Grid Cyberattack Detection.
.- Interdependent Privacy in Smart Homes: Hunting for Bystanders in Privacy Policies.
.- QUOKKA: Faster Secure Neural Network Inference with Early-Exit Technology.
.- Short Papers.
.- Scaling Blockchains with zk-Rollups: State of the Art and Implementation.
.- COBRA-Z: Collaborative Blockchain Risk Assessment for Zero Trust Architecture.
.- Dynamic Multilayer Information System Cartography for Cybersecurity,Compliance and Industrial Governance: The CARTOGRAPHIT.
.- Energy Consumption of TLS, Searchable Encryption and Fully Homomorphic Encryption.
.- An Embarrassingly Parallel Cryptanalysis of EC(H)MQV.
.- Defending Model Inversion Attack Using an Improved Filter-Based Approach.
.- Verifiability of Unlearning Schemes Through Local Explanation.
.- Anomaly-Aware Aggregation for Robust Peer-to-Peer Machine Learning.