Skip to main content
  • Conference proceedings
  • © 2015

Provable Security

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

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

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

Conference series link(s): ProvSec: International Conference on Provable Security

Conference proceedings info: ProvSec 2015.

Buy it now

Buying options

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

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

Table of contents (27 papers)

  1. Front Matter

    Pages I-XIX
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. On Privacy for RFID

      • Serge Vaudenay
      Pages 3-20
  3. Fundamental

    1. Front Matter

      Pages 21-21
    2. From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions

      • Nico Döttling, Daniel Kraschewski, Jörn Müller-Quade, Tobias Nilges
      Pages 23-42
  4. Protocol

    1. Front Matter

      Pages 83-83
    2. Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer

      • Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann
      Pages 85-104
    3. Sound Proof of Proximity of Knowledge

      • Serge Vaudenay
      Pages 105-126
    4. Multi-party Computation with Small Shuffle Complexity Using Regular Polygon Cards

      • 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. Efficient Key Authentication Service for Secure End-to-End Communications

      • Mohammad Etemad, Alptekin Küpçü
      Pages 183-197
    3. PPAE: Practical Parazoa Authenticated Encryption Family

      • Donghoon Chang, Sumesh Manjunath R., Somitra Kumar Sanadhya
      Pages 198-211
  6. Encryption and Identification

    1. Front Matter

      Pages 213-213
    2. Lightweight Anonymous Authentication for Ad Hoc Group: A Ring Signature Approach

      • Xu Yang, Wei Wu, Joseph K. Liu, Xiaofeng Chen
      Pages 215-226
    3. Reset-Secure Identity-Based Identification Schemes Without Pairings

      • Ji-Jian Chin, Hiroaki Anada, Syh-Yuan Tan
      Pages 227-246
    4. Attribute-Based Encryption for Finite Automata from LWE

      • Xavier Boyen, Qinyi Li
      Pages 247-267

Other Volumes

  1. Provable Security

About this book

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.

Editors and Affiliations

  • The Hong Kong Polytechnic University, Hong Kong, China

    Man-Ho Au

  • Japan Advanced Inst. of Science and Tech, Ishikawa, Japan

    Atsuko Miyaji

Bibliographic Information

Buy it now

Buying options

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