Provable security is an essential tool used to analyse 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 analysed, 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 2022. 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.

This year we are organizing ProvSec 2022 as an online virtual conference.

Important Dates: