02999nam 22006735 450 99669168020331620251014130431.0981-9529-61-110.1007/978-981-95-2961-2(MiAaPQ)EBC32345865(Au-PeEL)EBL32345865(CKB)41640978500041(DE-He213)978-981-95-2961-2(EXLCZ)994164097850004120251014d2026 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierProvable and Practical Security 19th International Conference, ProvSec 2025, Yokohama, Japan, October 10–12, 2025, Proceedings /edited by Guomin Yang, Shengli Liu, Chunhua Su, Akira Otsuka, Zhuotao Lian1st ed. 2026.Singapore :Springer Nature Singapore :Imprint: Springer,2026.1 online resource (829 pages)Lecture Notes in Computer Science,1611-3349 ;16172981-9529-60-3 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.Lecture Notes in Computer Science,1611-3349 ;16172CryptographyData encryption (Computer science)Computer networksComputer networksSecurity measuresApplication softwareCryptologyComputer Communication NetworksMobile and Network SecurityComputer and Information Systems ApplicationsCryptography.Data encryption (Computer science)Computer networks.Computer networksSecurity measures.Application software.Cryptology.Computer Communication Networks.Mobile and Network Security.Computer and Information Systems Applications.005.824Yang Guomin1860641Liu Shengli1860642Su Chunhua1860643Otsuka Akira1762567Lian Zhuotao1860644MiAaPQMiAaPQMiAaPQBOOK996691680203316Provable and Practical Security4466395UNISA