LEADER 02999nam  22006735  450 
001 996691680203316
005 20251014130431.0
010   $a981-9529-61-1
024 7 $a10.1007/978-981-95-2961-2
035   $a(MiAaPQ)EBC32345865
035   $a(Au-PeEL)EBL32345865
035   $a(CKB)41640978500041
035   $a(DE-He213)978-981-95-2961-2
035   $a(EXLCZ)9941640978500041
100   $a20251014d2026      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProvable and Practical Security $e19th International Conference, ProvSec 2025, Yokohama, Japan, October 10?12, 2025, Proceedings /$fedited by Guomin Yang, Shengli Liu, Chunhua Su, Akira Otsuka, Zhuotao Lian
205   $a1st ed. 2026.
210  1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2026.
215   $a1 online resource (829 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16172
311 08$a981-9529-60-3 
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v16172
606   $aCryptography
606   $aData encryption (Computer science)
606   $aComputer networks
606   $aComputer networks$xSecurity measures
606   $aApplication software
606   $aCryptology
606   $aComputer Communication Networks
606   $aMobile and Network Security
606   $aComputer and Information Systems Applications
615  0$aCryptography.
615  0$aData encryption (Computer science)
615  0$aComputer networks.
615  0$aComputer networks$xSecurity measures.
615  0$aApplication software.
615 14$aCryptology.
615 24$aComputer Communication Networks.
615 24$aMobile and Network Security.
615 24$aComputer and Information Systems Applications.
676   $a005.824
700   $aYang$b Guomin$01860641
701   $aLiu$b Shengli$01860642
701   $aSu$b Chunhua$01860643
701   $aOtsuka$b Akira$01762567
701   $aLian$b Zhuotao$01860644
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996691680203316
996   $aProvable and Practical Security$94466395
997   $aUNISA