# ProvSec — International Conference on Provable and Practical Security

- **Submission deadline**: 2026-06-15
- **Notification date**: 2026-07-15
- **Conference date**: 2026-09-24
- **Location**: Queenstown, New Zealand
- **Rankings**: CORE C
- **Conference Partner Index**: 54.5/100 (ranked #832, confidence 0.80, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 3
- **Attendees**: 0
- **Canonical page**: https://www.myhuiban.com/conference/2671

## Call for papers

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

## Related conferences

- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408
- CVPR — IEEE Conference on Computer Vision and Pattern Recognition — https://www.myhuiban.com/conference/407
- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421
- IJCAI — International Joint Conference on Artificial Intelligence — https://www.myhuiban.com/conference/405

## Related journals

- IEEE Transactions on Multimedia — https://www.myhuiban.com/journal/152
- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Software & Systems Modeling — https://www.myhuiban.com/journal/99
- IEEE Transactions on Computers — https://www.myhuiban.com/journal/3
- Future Generation Computer Systems — https://www.myhuiban.com/journal/36

---
Source: Conference Partner — https://www.myhuiban.com/conference/2671 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)