Provable security is an essential tool used to analyze security of modern cryptographic primitives for achieving high assurance of trusted 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. Though not formally analyzed, cryptographic schemes and protocols were once considered secured, but security flaws in these schemes and protocols implementation were 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 purpose, and it may be difficult to verify the correctness of the proofs.

We will continue to promote "Practical Security" as the theme for ProvSec 2023. 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.

Submission Guidelines

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

Committees

Program Committee

• Mingwu Zhang, Hubei University of Technology, China
• Man Ho Au, University of Hong Kong, HK

Organizing committee

• Ou Yuan, Hubei University of Technology, China
• Bingbing Li, Hubei University of Technology, China
• Yuzhu Wang, GUET, China

Contact

All questions about submissions should be emailed to provsec2023@gmail.com