Skip to main content
SpringerLink
Log in

Provable Security

11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Tatsuaki Okamoto

    1. NTT Laboratories, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yong Yu

    1. Shaanxi Normal University, Xi’an, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Man Ho Au

    1. Hong Kong Polytechnic University, Hong Kong, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Yannan Li

    1. University of Wollongong, Wollongong, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: ProvSec 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Secure Cloud Storage and Computing

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Provably Secure Self-Extractable Encryption

      • Zhi Liang, Qianhong Wu, Weiran Liu, Jianwei Liu, Fu Xiao
      Pages 3-23

    3. Towards Multi-user Searchable Encryption Supporting Boolean Query and Fast Decryption

      • Yunling Wang, Jianfeng Wang, Shi-Feng Sun, Joseph K. Liu, Willy Susilo, Xiaofeng Chen
      Pages 24-38

    4. An Efficient Key-Policy Attribute-Based Searchable Encryption in Prime-Order Groups

      • Ru Meng, Yanwei Zhou, Jianting Ning, Kaitai Liang, Jinguang Han, Willy Susilo
      Pages 39-56

    5. Secure Multi-label Classification over Encrypted Data in Cloud

      • Yang Liu, Xingxin Li, Youwen Zhu, Jian Wang, Zhe Liu
      Pages 57-73

    6. A Secure Cloud Backup System with Deduplication and Assured Deletion

      • Junzuo Lai, Jie Xiong, Chuansheng Wang, Guangzheng Wu, Yanling Li
      Pages 74-83

  3. Digital Signature and Authentication

    1. Front Matter

      Pages 85-85
      Download chapter PDF

    2. Practical and Robust Secure Logging from Fault-Tolerant Sequential Aggregate Signatures

      • Gunnar Hartung, Björn Kaidel, Alexander Koch, Jessica Koch, Dominik Hartmann
      Pages 87-106

    3. Verifiably Encrypted Group Signatures

      • Zhen Wang, Xiling Luo, Qianhong Wu
      Pages 107-126

    4. Deniable Ring Authentication Based on Projective Hash Functions

      • Shengke Zeng, Yi Mu, Guomin Yang, Mingxing He
      Pages 127-143

  4. Authenticated Encryption and Key Exchange

    1. Front Matter

      Pages 145-145
      Download chapter PDF

    2. INT-RUP Security of Checksum-Based Authenticated Encryption

      • Ping Zhang, Peng Wang, Honggang Hu, Changsong Cheng, Wenke Kuai
      Pages 147-166

    3. Leakage-Resilient Non-interactive Key Exchange in the Continuous-Memory Leakage Setting

      • Suvradip Chakraborty, Janaka Alawatugoda, C. Pandu Rangan
      Pages 167-187

    4. New Framework of Password-Based Authenticated Key Exchange from Only-One Lossy Encryption

      • Haiyang Xue, Bao Li, Jingnan He
      Pages 188-198

  5. Security Models

    1. Front Matter

      Pages 199-199
      Download chapter PDF

    2. Impossibility of the Provable Security of the Schnorr Signature from the One-More DL Assumption in the Non-programmable Random Oracle Model

      • Masayuki Fukumitsu, Shingo Hasegawa
      Pages 201-218

    3. Bit Security of the Hyperelliptic Curves Diffie-Hellman Problem

      • Fangguo Zhang
      Pages 219-235

    4. Natural sd-RCCA Secure Public-Key Encryptions

      • Yuan Chen, Qingkuan Dong, Qiqi Lai
      Pages 236-250

    5. Long-Term Secure Time-Stamping Using Preimage-Aware Hash Functions

      • Ahto Buldas, Matthias Geihs, Johannes Buchmann
      Pages 251-260
Back to top

Other volumes

  1. Provable Security

Keywords

About this book

This book constitutes the refereed proceedings of the 11th International Conference on Provable Security, ProvSec 2017, held in Xi'an, China, in October 2017. The 24 full papers and 5 short papers presented were carefully reviewed and selected from 76 submissions. The papers are grouped in topical sections on secure cloud storage and computing; digital signature and authentication; authenticated encryption and key exchange; security models; lattice and post-quantum cryptography; public key encryption and signcryption; proxy re-encryption and functional encryption; protocols.

 

Editors and Affiliations

  • NTT Laboratories, Tokyo, Japan

    Tatsuaki Okamoto

  • Shaanxi Normal University, Xi’an, China

    Yong Yu

  • Hong Kong Polytechnic University, Hong Kong, China

    Man Ho Au

  • University of Wollongong, Wollongong, Australia

    Yannan Li

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation