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

· · · ·
· Springer Nature
E-boek
510
Pagina's

Over dit e-boek

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

Meer ontdekken

Dit e-boek beoordelen

Geef ons je mening.

Informatie over lezen

Smartphones en tablets
Installeer de Google Play Boeken-app voor Android en iPad/iPhone. De app wordt automatisch gesynchroniseerd met je account en met de app kun je online of offline lezen, waar je ook bent.
Laptops en computers
Via de webbrowser van je computer kun je luisteren naar audioboeken die je hebt gekocht op Google Play.
eReaders en andere apparaten
Als je wilt lezen op e-ink-apparaten zoals e-readers van Kobo, moet je een bestand downloaden en overzetten naar je apparaat. Volg de gedetailleerde instructies in het Helpcentrum om de bestanden over te zetten op ondersteunde e-readers.