Provable Security

12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

  • Joonsang Baek
  • Willy Susilo
  • Jongkil Kim
Conference proceedings ProvSec 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11192)

Also part of the Security and Cryptology book sub series (LNSC, volume 11192)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Foundation

    1. Front Matter
      Pages 1-1
    2. Aurélien Dupin, David Pointcheval, Christophe Bidan
      Pages 3-21
    3. Aurélien Dupin, Jean-Marc Robert, Christophe Bidan
      Pages 22-39
    4. Georgia Tsaloli, Bei Liang, Aikaterini Mitrokotsa
      Pages 40-55
    5. Giuseppe Ateniese, Aggelos Kiayias, Bernardo Magri, Yiannis Tselekounis, Daniele Venturi
      Pages 75-93
    6. Shuoyao Zhao, Yu Yu, Jiang Zhang
      Pages 94-108
  3. Public Key Encryption

    1. Front Matter
      Pages 109-109
    2. Arinjita Paul, Varshika Srinivasavaradhan, S. Sharmila Deva Selvi, C. Pandu Rangan
      Pages 111-128
    3. Nuttapong Attrapadung, Goichiro Hanaoka, Takato Hirano, Yutaka Kawai, Yoshihiro Koseki, Jacob C. N. Schuldt
      Pages 147-164
    4. Edoardo Persichetti
      Pages 165-181
    5. Shengmin Xu, Guomin Yang, Yi Mu, Ximeng Liu
      Pages 182-200
  4. Digital Signature

  5. Symmetric Key Cryptography

    1. Front Matter
      Pages 293-293
    2. Shingo Sato, Shoichi Hirose, Junji Shikata
      Pages 295-312
    3. Xiangyang Zhang, Yaobin Shen, Hailun Yan, Ying Zou, Ming Wan, Zheyi Wu et al.
      Pages 313-326
  6. Applications

    1. Front Matter
      Pages 327-327
    2. Zheng Yang, Kimmo Järvinen
      Pages 329-346
    3. Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
      Pages 347-365
    4. José Becerra, Dimiter Ostrev, Marjan Škrobot
      Pages 366-384
  7. Short Papers

    1. Front Matter
      Pages 385-385
    2. Leon J. Helsloot, Gamze Tillem, Zekeriya Erkin
      Pages 397-405
    3. Shingo Sato, Junji Shikata
      Pages 406-414
    4. Satoshi Yasuda, Yoshihiro Koseki, Yusuke Sakai, Fuyuki Kitagawa, Yutaka Kawai, Goichiro Hanaoka
      Pages 415-422
  8. Back Matter
    Pages 423-424

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Provable Security, ProvSec 2018, held in Jeju, South Korea, in October 2018.  The 21 full and 4 short papers presented were carefully reviewed and selected from 48 submissions. The papers are grouped in topical sections on foundation. Public key encryption, digital signature, symmetric key cryptography, and applications.


authentication authentication protocols block and stream ciphers computer science cryptography data mining data privacy digital signature electronic document identification systems encryption hash functions and authentification codes Human-Computer Interaction (HCI) identity based cryptography network security project management public key cryptography random oracle model ring signatures software engineering

Editors and affiliations

  • Joonsang Baek
    • 1
  • Willy Susilo
    • 2
  • Jongkil Kim
    • 3
  1. 1.University of WollongongWollongongAustralia
  2. 2.University of WollongongWollongongAustralia
  3. 3.University of WollongongWollongongAustralia

Bibliographic information

Industry Sectors
Finance, Business & Banking
IT & Software