Overview

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.

Full Product Details

Author:   Ranwa Al-Mallah ,  Samiha Ayed ,  Frédéric Cuppens ,  Françoise Sailhan
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
ISBN:  

9783032200259

ISBN 10:   3032200253
Pages:   362
Publication Date:   06 May 2026
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Forthcoming
Availability:   Not yet available  
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

.- 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions