Provable Security

9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings

  • Man-Ho Au
  • Atsuko Miyaji
Conference proceedings ProvSec 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Serge Vaudenay
      Pages 3-20
  3. Fundamental

    1. Front Matter
      Pages 21-21
    2. Nico Döttling, Daniel Kraschewski, Jörn Müller-Quade, Tobias Nilges
      Pages 23-42
  4. Protocol

    1. Front Matter
      Pages 83-83
    2. Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann
      Pages 85-104
    3. Serge Vaudenay
      Pages 105-126
    4. Kazumasa Shinagawa, Takaaki Mizuki, Jacob C. N. Schuldt, Koji Nuida, Naoki Kanayama, Takashi Nishide et al.
      Pages 127-146
  5. Authenticated Encryption and Key Exchange

    1. Front Matter
      Pages 147-147
    2. Mohammad Etemad, Alptekin Küpçü
      Pages 183-197
    3. Donghoon Chang, Sumesh Manjunath R., Somitra Kumar Sanadhya
      Pages 198-211
  6. Encryption and Identification

    1. Front Matter
      Pages 213-213
    2. Xu Yang, Wei Wu, Joseph K. Liu, Xiaofeng Chen
      Pages 215-226
    3. Ji-Jian Chin, Hiroaki Anada, Syh-Yuan Tan
      Pages 227-246
    4. Xavier Boyen, Qinyi Li
      Pages 247-267
    5. Pratish Datta, Ratna Dutta, Sourav Mukhopadhyay
      Pages 268-288
  7. Privacy and Cloud

    1. Front Matter
      Pages 289-289
    2. Per Hallgren, Martín Ochoa, Andrei Sabelfeld
      Pages 291-309
    3. Yong Yu, Yafang Zhang, Yi Mu, Willy Susilo, Hongyu Liu
      Pages 310-325
    4. Karim Dahmani, Mahjoub Langar, Riadh Robbana
      Pages 340-353
    5. Bernardo David, Rafael Dowsley, Raj Katti, Anderson C. A. Nascimento
      Pages 354-367
  8. Leakage-Resilient Cryptography and Lattice Cryptography

    1. Front Matter
      Pages 369-369
    2. Zhiwei Wang, Siu Ming Yiu
      Pages 371-390
  9. Signature and Broadcast Encryption

    1. Front Matter
      Pages 433-433
    2. Zongyang Zhang, Yu Chen, Sherman S. M. Chow, Goichiro Hanaoka, Zhenfu Cao, Yunlei Zhao
      Pages 435-454
    3. Shiuan-Tzuo Shen, Amir Rezapour, Wen-Guey Tzeng
      Pages 475-488
  10. Back Matter
    Pages 503-504

About these proceedings


This book constitutes the refereed proceedings of the 9th International Conference on Provable Security, ProvSec 2015, held in Kanazawa, Japan, in November 2015.

The 19 full papers and 7 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The papers are grouped in topical sections on fundamental, protocol, authenticated encryption and key exchange, encryption and identification, privacy and cloud, leakage-resilient cryptography and lattice cryptography, signature and broadcast encryption.


Access control Administrative data processing Authentication Applied computing Block and stream ciphers Cloud computing Computers and society Cryptographic primitives Cryptographic protocols Data encryption Digital signatures Hash functions Lattice-based cryptography Mathematical foundations of cryptography Privacy Public key encryption RFID Security reductions Symmetric cryptography Systems and data security

Editors and affiliations

  • Man-Ho Au
    • 1
  • Atsuko Miyaji
    • 2
  1. 1.The Hong Kong Polytechnic UniversityHong KongChina
  2. 2.Japan Advanced Inst. of Science and TechIshikawaJapan

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-26058-7
  • Online ISBN 978-3-319-26059-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software