Call for Papers: ProvSec 2025

ProvSec 2025, the 19th International Conference on Provable and Practical Security, will be held in Yokohama, Japan, from October 10-12, 2025.

Provable security is a critical tool for analyzing the security of modern cryptographic primitives to achieve high assurance of trustworthy and secure cyber systems. ProvSec 2025 continues to promote "Practical Security" as its theme, convening researchers and practitioners to discuss new practical cyber security technologies, their applications, and integration with IT systems.

Topics of Interest

Authors are invited to submit original research papers on provable and practical security. Areas of interest include, but are not limited to:

• Provable security for asymmetric cryptography
• Provable security for symmetric cryptography
• Provable security for physical attacks
• Privacy and anonymity technologies
• Secure cryptographic protocols and applications
• Security notions, approaches, and paradigms
• Leakage-resilient cryptography
• Lattice-based cryptography and post-quantum cryptography
• Steganography and steganalysis
• Blockchain and cryptocurrency
• IoT security
• Cloud security
• Access control
• Privacy-enhancing technologies
• Database security
• Big data security and privacy
• Biometric security
• Network security
• Formal methods for security
• Embedded systems security
• Lightweight security
• Cyber-physical security

Important Dates

• Paper Submission: 20 June, 2025 (firm deadline)
• Notification: 15 July, 2025
• Camera Ready: 30 July, 2025
• Conference: 10-12 October, 2025

Instructions for Authors

• Format: All submissions should use the Springer LNCS format. Details can be obtained here: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
• Page Limit: The main body for submission should not exceed 16 pages. There is no page limit on references, appendices, and supplementary material (reviewers are not required to read these).
• Anonymity: All submissions must be anonymous and have page numbers. They will be blind-refereed, meaning there should be no author names, affiliations, acknowledgements, or obvious self-references.
• Submission Format: Submissions must be in PDF format.
• Originality: Submissions must not substantially duplicate work published elsewhere or submitted in parallel to other venues.
• Submission Portal: Authors should submit their paper using this link: https://easychair.org/my/conference?conf=provsec2025
• Proceedings: Proceedings including all accepted papers will be published in Springer LNCS and will be available at the conference.

Special Issue Recommendation

Authors of selected papers will be invited to submit extended versions to a Special Issue. For more details, please visit: https://www.mdpi.com/journal/cryptography/special_issues/M550554628