Provable and Practical Security: 19th International Conference, Provsec 2025, Yokohama, Japan, October 10-12, 2025, Proceedings
暫譯: 可證明且實用的安全性:第十九屆國際會議,Provsec 2025,日本橫濱,2025年10月10日至12日,會議論文集
Yang, Guomin, Liu, Shengli, Su, Chunhua
相關主題
商品描述
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 declarativesolutions.
商品描述(中文翻譯)
本書為第19屆可證明與實用安全國際會議(ProvSec 2025)的會議紀錄,該會議於2025年10月10日至12日在日本橫濱舉行。
本書收錄的22篇完整論文、3篇短文和5篇海報均經過仔細審查和選擇,來自72篇投稿。這些論文依主題分為以下幾個部分:數位簽章;後量子密碼學;機器學習的安全性與隱私;密碼協議;可搜尋加密;密碼分析;分散式系統與區塊鏈安全;短文;以及海報。