ProvSec 2026
Queenstown, New Zealand
24 - 26 September 2026
https://provsec-2026.github.io/Provsec2026-base/

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
ProvSec 2026. The event will convene 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

Instructions for Authors

All submissions should use the Springer LNCS format. Details on the
Springer LNCS format can be obtained
here. https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

Authors should not change the font or the margins of the LNCS
format. The main body for the submission should not exceed 16 pages
but there is no page limit on the references, appendices and
supplementary material. Note that reviewers are not required to read
the appendices or any supplementary material. It is strongly
encouraged that submissions are processed in LaTeX. All submissions
must be anonymous and must have page numbers. All submissions will be
blind-refereed and thus must be anonymous, with no author names,
affiliations, acknowledgements, or obvious references. Submissions
must be submitted electronically in PDF format. Submissions must not
substantially duplicate work that any of the authors has published
elsewhere or has submitted in parallel to a journal or any other
conference/workshop that has proceedings. Accepted submissions may not
appear in any other conference or workshop that has
proceedings. Submissions not meeting these guidelines risk rejection
without consideration of their merits.

https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

Authors should not change the font or the margins of the LNCS
format. The main body for the submission should not exceed 16 pages
but there is no page limit on the references, appendices and
supplementary material. Note that reviewers are not required to read
the appendices or any supplementary material. It is strongly
encouraged that submissions are processed in LaTeX. All submissions
must be anonymous and must have page numbers. All submissions will be
blind-refereed and thus must be anonymous, with no author names,
affiliations, acknowledgements, or obvious references. Submissions
must be submitted electronically in PDF format. Submissions must not
substantially duplicate work that any of the authors has published
elsewhere or has submitted in parallel to a journal or any other
conference/workshop that has proceedings. Accepted submissions may not
appear in any other conference or workshop that has
proceedings. Submissions not meeting these guidelines risk rejection
without consideration of their merits.

Authors should submit their paper using this link: https://easychair.org/conferences/?conf=provsec2026

Important Dates

    Paper Submission: 31 May, 2026 (AoE) 15 June, 2026 (AoE) (Firm Deadline)
    Notification: 15 July, 2026
    Camera Ready: 31 July, 2026
    Conference: 24-26 September, 2026

Proceedings including all accepted papers will be published in
Springer LNCS and will be available at the conference.

Journal Publication Opportunity

Welcome to submit the extended versions of ProvSec 2026 papers to the
journal Cryptography. Extended versions should cite the original
conference paper and contain at least 50% new content (e.g., technical
extensions, more in-depth evaluations, or additional use
cases). Furthermore, the overlap with the original conference paper
should not exceed 30% (copy/paste).