Provable and Practical Security
19th International Conference, ProvSec 2025, Yokohama, Japan, October 10–12, 2025, Proceedings
Seiten
2025
Springer Verlag, Singapore
978-981-95-2960-5 (ISBN)
Springer Verlag, Singapore
978-981-95-2960-5 (ISBN)
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.
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.
| Erscheinungsdatum | 17.10.2025 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | 57 Illustrations, color; 60 Illustrations, black and white |
| Verlagsort | Singapore |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
| Informatik ► Theorie / Studium ► Kryptologie | |
| Schlagworte | AI Security • cryptography • database and storage security • formal methods and theory of security • Human and societal aspects of security and privacy • Network Security • ntrusion/anomaly detection and malware mitigation • security in hardware • security services • software and application security • Systems Security |
| ISBN-10 | 981-95-2960-3 / 9819529603 |
| ISBN-13 | 978-981-95-2960-5 / 9789819529605 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Geschichte, Techniken, Anwendungen
Buch | Softcover (2025)
C.H.Beck (Verlag)
CHF 16,80
