View source for ProvSec 2018

{{Event
|Acronym=ProvSec 2018
|Title=12th International Conference on Provable Security
|Series=ProvSec
|Type=Conference
|Start date=2018/10/25
|End date=2018/10/28
|Submission deadline=2018/06/30
|Homepage=https://ssl.informatics.uow.edu.au/provsec2018/index.html
|City=Jeju Island
|Country=South Korea
|Paper deadline=2018/06/30
|Notification=2018/08/30
|Camera ready=2018/08/15
|Has coordinator=Namje Park
|has general chair=Ilsun You, Kyung Hyune Rhee
|has program chair=Willy Susilo, Joonsang Baek
|Attendance fee currency=700 $
|Registration link=https://ssl.informatics.uow.edu.au/provsec2018/reg.html
|Submitted papers=48
|Accepted papers=21
|Accepted short papers=4
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-01446-9
|has Proceedings DOI=https://doi.org/10.1007/978-3-030-01446-9
}}

<big>General information</big>

Provable security is an essential tool for analyzing security of modern cryptographic primitives. The research community has witnessed the great contributions that the provable security methodology made to the analysis of cryptographic schemes and protocols. Nowadays cryptographic primitives without a rigorous "proof" cannot be regarded as sound. Also, the methodology has been used to discover security flaws in the 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. Therefore, ProvSec conference is to provide a platform for researchers, scholars and practitioners to exchange new ideas on diverse problems in provable security. 


<big>Conference topics</big>

All aspects of provable security in constructing and analyzing cryptographic primitives, including but are not limited to:

    - Provably secure asymmetric primitives
    - Provably secure symmetric primitives
    - Tightness of security reductions
    - Provable security in post-quantum cryptography
    - Privacy and anonymity technologies
    - Cryptographic protocol verifier
    - Theory and practice of game-hopping proof techniques
    - Secure hash functions
    - Provable security in the real-world security systems
    - Secure key management
    - Refinement of proof techniques
    - Provably Secure cryptographic protocols and applications
    - Security notions, approaches and paradigms
    - Steganography
    - Lightweight cryptography
    - Lattice-based cryptography


<big>Publication of proceedings and papers</big>

The conference proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series (see www.springer.com/lncs). The best paper(s) and best student paper(s) will be selected and awarded a prize. 


<big>Special issues for this conference</big>

Selected papers from ProvSec2018 will be published by IEICE Transactions on Information and Systems - Special Section on Security, Privacy, Anonymity and Trust in Cyberspace Computing and Communications (pending acceptance of the proposal) and Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA).
Acceptance rate	43.8 +
Accepted papers	21 +
Accepted short papers	4 +
Acronym	ProvSec 2018 +
Camera ready due	August 15, 2018 +
End date	October 28, 2018 +
Event in series	ProvSec +
Event type	Conference +
Has coordinates	33° 22' 49", 126° 32' 54"Latitude: 33.380347222222 Longitude: 126.54825555556 +
Has coordinator	Namje Park +
Has general chair	Ilsun You + and Kyung Hyune Rhee +
Has location city	Jeju Island +
Has location country	Category:South Korea +
Has program chair	Willy Susilo + and Joonsang Baek +
Homepage	https://ssl.informatics.uow.edu.au/provsec2018/index.html +
IsA	Event +
Notification	August 30, 2018 +
Paper deadline	June 30, 2018 +
Registration link	https://ssl.informatics.uow.edu.au/provsec2018/reg.html +
Start date	October 25, 2018 +
Submission deadline	June 30, 2018 +
Submitted papers	48 +
Title	12th International Conference on Provable Security +