The 12th International Conference on Provable Security
25-28 October, 2018, Jeju, Rep. of Korea

Welcome to ProvSec 2018

The 12th International Conference on Provable Security (ProvSec 2018) will be held in Jeju Island, Republic of Korea on October, 2018.

Announcements

Welcome Reception will be provided on Spanish Hamdeok. We will gather at the lobby of conferece/workshop hotel at 6.00 pm to walk together.
You also can come to the restaurant directly. Wecome reception will start at 6:30.

Proceeding Download

Please click here to download ProvSec Proceeding for free. This is officially provided by Springer (Limited Time Only).

Program Book Download

Please click here to download the program. Please note that this is a final version.

Transporation to Venue

By Taxi
You can take a taxi from the International Terminal to the Ocean Grand Hotel. The one-way taxi fare would approximately be 17,000 KRW (15 USD).

By Bus
You can take Express Bus #101 at Gate 2 of the Jeju International Airport. You should get off at Hamdeok Seoubong Beach stop. Please refer to the information (Click here ) and a bus map (Click here ) for details.

Important Dates

Paper Submission 17 June 2018 (Extended to 30 June 2018, (UTC 24:00))
Notification of Acceptance 3 August 2018
Camera ready deadline 15 August 2018
Conference 25-28 October 2018