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 prool; searchable encryption; cryptanalysis; distributed system and blockchain security; short papers; and posters.
set programming; functional programming; languages, methods and tools; and declarative solutions.
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 prool; searchable encryption; cryptanalysis; distributed system and blockchain security; short papers; and posters.
set programming; functional programming; languages, methods and tools; and declarative solutions.
Provable and Practical Security: 19th International Conference, ProvSec 2025, Yokohama, Japan, October 10-12, 2025, Proceedings
478
Provable and Practical Security: 19th International Conference, ProvSec 2025, Yokohama, Japan, October 10-12, 2025, Proceedings
478Paperback
Product Details
| ISBN-13: | 9789819529605 |
|---|---|
| Publisher: | Springer Nature Singapore |
| Publication date: | 11/07/2025 |
| Series: | Lecture Notes in Computer Science , #16172 |
| Pages: | 478 |
| Product dimensions: | 6.10(w) x 9.25(h) x (d) |