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

ProvSec Workshop 2018

Download Workshop Proceeding

Please, download ProvSec Workshop 2018 proceeding, here

General Information

The first ProvSec workshop will be held in conjunction with the main ProvSec 2018 conference. The workshop will provide a great venue for researchers and students to present their project results and work in progress. Accepted short papers from the main conference will also be presented at this workshop.

Workshop Topics

The topics of the workshop will cover the large areas of cybersecurity and cryptography including but are not limited to:

  • - Security issues and protocols in the Internet
  • - Security threats and model in the Internet of Things (IoT)
  • - Security modeling and analysis
  • - Security metrics and assessment
  • - Key management, authentication and access control
  • - Identity management
  • - Anonymity, secrecy privacy and trust
  • - Public key cryptography and digital signatures
  • - Intrusion/virus/malware detection and countermeasure
  • - Content protection
  • - Computer and Network Forensics
  • - Security issues in wireless ad-hoc, mesh, sensor networks
  • - Security issues in vehicular networks (VANETs)
  • - Security issues in smart phone
  • - Security and Privacy in virtualization/cloud computing
  • - Secure issues in context and location-aware computing
  • - Secure urban computing, secure cyber-physical systems
  • - Secure smart grid and secure SCADA
  • - Security standards


The accepted papers will be published by the following journals:

Important Dates

Paper submission deadline 20 July 2018 (Extended to 10 Aug 2018, (UTC 24:00))
Notification of Acceptance 15 August 2018 30 Aug 2018
Camera-ready deadline 10 September 2018
Workshop date 25 - 28 October 2018

Instructions for authors

Submitted papers must be original, unpublished, and not submitted to another conference or journal for consideration for publication. Papers must be written in English; they should be at most 6 pages (excluding bibliography and appendices) in Springer's LNCS format.

At least one author of each accepted paper is required to register for the workshop and present the paper.

A submitted paper should begin with a title, a short abstract and a list of keywords.

Papers must be submitted via email at

Program Co-Chairs

Jongkil Kim University of Wollongong, Austraila
Joonsang Baek University of Wollongong, Austraila

Program Committiee

Taekyong Kwon Yonsei University, South Korea
Jong-Hyouk Lee Sangmyung University, South Korea
Nan Li University of Newcastle, Australia
Deepak Puthal University of Technology Sydney, Australia
Vishal Sharma Soonchunhyang University, South Korea
Pairat Thorncharoensri University of Wollongong, Australia
Ilsun You Soonchunhyang University, South Korea