Provable security is a critical tool for analyzing the security of modern cryptographic primitives in order to achieve high assurance of trustworthy and secure cyber systems. Provable security methodology contributed greatly to the analysis of cryptographic schemes and protocols, as well as their implementations in trusted and secure systems. However, cryptographic primitives without a rigorous "proof" cannot be regarded as sound. Security flaws in many cryptographic schemes and protocols once considered secure without formal analysis have been discovered using Provable Security methodology. Although Provable Security provides confidence in using cryptographic schemes and protocols for various real-world applications, schemes with Provable Security are sometimes not efficient enough for practical purposes, and it may be difficult to verify the correctness of the proofs.

We will continue to promote "Practical Security" as the theme for ProvSec2025. The event convened researchers and practitioners to provide a confluence of new practical cyber security technologies, including their applications and integration with IT systems in various industrial sectors.

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