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

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.

Riassunto

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.

Dettagli sul prodotto

• Con la collaborazione di: Zhuotao Lian (Editore), Shengli Liu (Editore), Akira Otsuka (Editore), Chunhua Su (Editore), Chunhua Su et al (Editore), Guomin Yang (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 05.11.2025
• EAN: 9789819529605
• ISBN: 978-981-9529-60-5
• Pagine: 510
• Dimensioni: 155 mm x 27 mm x 235 mm
• Peso: 786 g
• Illustrazioni: XIV, 510 p. 117 illus., 57 illus. in color.
• Serie: Lecture Notes in Computer Science
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; Netzwerksicherheit, angewandte informatik, Netzwerk-Hardware, Kryptografie, Verschlüsselungstechnologie, cryptography, Computer and Information Systems Applications, Computer Communication Networks, Network Security, Cryptology, Mobile and Network Security, Security Services, systems security, Software and application security, Database and storage security, Security in hardware, Formal methods and theory of security, human and societal aspects of security and privacy, AI Security, ntrusion/anomaly detection and malware mitigation