{"product_id":"guomin-yang-provable-and-practical-security-9789819529605","title":"Provable and Practical Security","description":"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.\n\u003cbr\u003e\nThe 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.\n\u003cbr\u003e\nset programming; functional programming; languages, methods and tools; and declarativesolutions.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53769944957270,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/guomin-yang-provable-and-practical-security-9789819529605","provider":"momoxbooks","version":"1.0","type":"link"}