14th International Conference on Provable and Practical Security (ProvSec)
Event submitted on Friday, July 3rd 2020, approved by Charles Villanueva ✓
This event has been tagged as follows:
This event is mostly suited I believe to those working in cryptology so if this is a niche you’re interested in and you live in APAC then likely you’d be keen to attend this conference.
The following description was either submitted by the Conference Organizer on Friday, July 3rd 2020, or created by us.
The 14th International Conference on the theme of ‘Provable and Practical Security’, ProvSec 2020, will be held in Singapore, in November 2020.
Recent meetings have been held in Xi’an (China), Jeju (Korea), Cairns (Australia). ProvSec 2020 will be the first time this event is held in Singapore.
Provable security is an essential tool for analyzing the security of modern cryptographic primitives in order to achieve high assurance of trusted and secure cyber systems. The research community has witnessed the great contributions that the provable security methodology made to the analysis of cryptographic schemes and protocols, as well as their implementations in the trusted and secure systems. Nowadays cryptographic primitives without a rigorous “proof” cannot be regarded as sound. Also, the methodology has been used to discover security flaws in the implementation of cryptographic schemes and protocols, which were considered seemingly secure without formal analysis. On the one hand, provable security provides confidence in using cryptographic schemes and protocols for various real-world applications, but on the other hand, schemes with provable security are sometimes not efficient enough to be used in practice, and correctness of the proofs may be difficult to verify.
This year we will continue our efforts to promote “Practical Security” into the theme.
The event will bring together researchers and practitioners to provide a confluence of new practical cybersecurity technologies, including their applications and their integration with IT systems in various industrial sectors. In addition, the program will include a panel discussion on “Building Trusted Cyber System on Provable Security Mechanisms”, with opinion leaders from the industry, academia, and cybersecurity regulators to be invited to be panelists.