Provable and Practical Security

19th International Conference, ProvSec 2025, Yokohama, Japan, October 10-12, 2025, Proceedings
Erscheinungsjahr 2025
ISBN: 978-981-952960-5
Verlag: Springer

Buch, Englisch, 510 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 791 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Yang, Guomin

Liu, Shengli

Su, Chunhua

Otsuka, Akira

Lian, Zhuotao

Fachgebiete

• Mathematik | Informatik EDV | Informatik Angewandte Informatik
• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Netzwerksicherheit
• Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit Kryptographie, Datenverschlüsselung
• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Informationstheorie, Kodierungstheorie
• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware