ProvSec: Provable Security

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2027 or later

 
 

All CFPs on WikiCFP

Event When Where Deadline
ProvSec 2026 The 20th International Conference on Provable and Practical Security
Sep 24, 2026 - Sep 26, 2026 Queenstown, New Zealand Jun 15, 2026
ProvSec 2020 The 14th International Conference on Provable and Practical Security
Nov 28, 2020 - Dec 1, 2020 Singapore Jul 15, 2020
ProvSec 2017 The 11th International Conference on Provable Security
Oct 23, 2017 - Oct 25, 2017 Xi'an Jun 17, 2017
ProvSec 2015 The 9th International Conference on Provable Security
Nov 24, 2014 - Nov 26, 2014 Kanazawa, Japan Jul 4, 2014
ProvSec 2014 The Eighth International Conference on Provable Security
Oct 9, 2014 - Oct 10, 2014 Hong Kong Jun 20, 2014
ProvSec 2013 The Seventh International Conference on Provable Security (ProvSec 2013)
Oct 23, 2013 - Oct 25, 2013 Melaka, Malaysia May 23, 2013
ProvSec 2011 Conference on Provable Security
Aug 16, 2011 - Aug 18, 2011 Xi'an, China May 1, 2011
 
 

Present CFP : 2026

Last Updated: 7 Mar. 2026

【IMPORTANT INFORMATION】:
ProvSec 2026: The 20th International Conference on Provable and Practical Security
Website: https://provsec-2026.github.io/Provsec2026-base/
Venue: Queenstown, New Zealand
Conference Date: 24–26 September 2026

【CALL FOR PAPERS】:
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 2026 continues to promote "Practical Security" as its core theme, convening researchers and practitioners to provide a confluence of new practical cyber security technologies.

★Proceedings including all accepted papers will be published in Springer LNCS.

【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

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

【SUBMISSION GUIDELINES】:
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. All submissions should use the Springer 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. For detailed submission instructions, please visit the official conference website: https://provsec-2026.github.io/Provsec2026-base/cfp.html
 

Related Resources

ICCSIE 2026   11th International Conference on Cyber Security and Information Engineering
AMLIP 2026   2026 2nd International Conference on Algorithms, Machine Learning and Image Processing-EI/Scopus
MIBIO 2026   5th International Conference of Multidisciplinary & Interdisciplinary Bioscience
ICIIT--ESCI 2027   2027 12th International Conference on Intelligent Information Technology (ICIIT 2027)--ESCI
WIFS 2026   Workshop on Information Forensics and Security
SECURWARE 2026   The Twentieth International Conference on Emerging Security Information, Systems and Technologies
IJMPICT 2026   International Journal of Managing Public Sector Information and Communication Technologies
THz Communications, Sensing & Security 2026   The IEEE 3rd International Workshop on Terahertz Communications, Sensing, and Security (in conjunction with IEEE MILCOM 2026)
CEBS 2026   2026 2nd International Conference on Chemical Engineering and Biological Science
NCS 2026   18th International Conference on Network and Communications Security