Provable and Practical Security: 19th International Conference, ProvSec 2025, Yokohama, Japan, October 10–12, 2025, Proceedings

· · · ·
· Springer Nature
e-Buku
510
Halaman

Perihal e-buku ini

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.

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

Temukan lagi

Berikan rating untuk e-Buku ini

Beritahu kami pendapat anda.

Maklumat pembacaan

Telefon pintar dan tablet
Pasang apl Google Play Books untuk Android dan iPad/iPhone. Apl ini menyegerak secara automatik dengan akaun anda dan membenarkan anda membaca di dalam atau luar talian, walau di mana jua anda berada.
Komputer riba dan komputer
Anda boleh mendengar buku audio yang dibeli di Google Play menggunakan penyemak imbas web komputer anda.
eReader dan peranti lain
Untuk membaca pada peranti e-dakwat seperti Kobo eReaders, anda perlu memuat turun fail dan memindahkan fail itu ke peranti anda. Sila ikut arahan Pusat Bantuan yang terperinci untuk memindahkan fail ke e-Pembaca yang disokong.