This book constitutes the revised selected papers of the 13th International Symposium on Foundations and Practice of Security, FPS 2020, held in Montréal, QC, Canada, in December 2020.The 11full papers and 1 short paper presented in this book were carefully reviewed and selected from 23 submissions.

New Wrapper Feature Selection Algorithm for Anomaly-based Intrusion Detection Systems.- Network Security for Home IoT Devices Must Involve the User: a Position Paper.- A quantitative security risk analysis framework for modelling and analyzing advanced persistent threats.- An analysis of the use of CVEs by IoT malware.- A Priority-based Domain Type Enforcement for Exception Management.- Developer-Proof Prevention of SQL Injections.- A Survey of Advanced Encryption for Database Security: Primitives, Schemes, and Attacks.- Fast Short and Fast Linear Cramer-Shoup.- Anonymous proof-of-asset transactions using designated blind signatures.- Modeling Attacks and Efficient Countermeasures on Interpose PUF.- Error-Free Lattice-Based Key Encapsulation Mechanism Based on Ring-LWE.- Pisces: A New Zero-Knowledge Protocol for Blockchain Privacy.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com