Provable and Practical Security: 19th International Conference, ProvSec 2025, Yokohama, Japan, October 10–12, 2025, Proceedings
Guomin Yang · Shengli Liu · Chunhua Su · Akira Otsuka · Zhuotao Lian
Nov 2025 · Springer Nature
Ebook
510
Pages
infoThis book will become available on November 14, 2025. You will not be charged until it is released.
About this ebook
This book constitutes the proceedings of the 19th International Conference on Provable and Practical Security, ProvSec 2025, which took place in Yokohama, Japan, during October 10–12, 2025.
The 22 full papers, 3 short papers and 5 posters included in this book were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows: digital signature; post-quantum cryptography; machine learning security and privacy; cryptographic protocol; searchable encryption; cryptanalysis; distributed system and blockchain security; short papers; and posters.
set programming; functional programming; languages, methods and tools; and declarative
solutions.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
