Provable and Practical Security

Explore the cutting-edge advancements in cybersecurity with Provable and Practical Security, authored by Joseph K. Liu and published by Springer Nature Switzerland AG in 2025. This essential volume compiles the proceedings of the 18th International Conference on Provable and Practical Security (ProvSec 2024), held in Gold Coast, QLD, Australia, from September 25-27, 2024. Inside, you'll find 26 meticulously reviewed full papers and 8 concise papers, all selected from a competitive pool of 79 submissions. With a total of 312 pages, this book is an invaluable resource for researchers, practitioners, and anyone interested in the latest developments in security protocols. Enhance your understanding of practical applications and theoretical foundations in the realm of cybersecurity. Don't miss out on this comprehensive guide that bridges the gap between theory and practice.