Skip to main content
SpringerLink
Log in
Book cover

Provable Security

Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Joonsang Baek

    1. Cryptography and Security Department Institute for Infocomm Research, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Feng Bao

    1. Institute for Infocomm Research, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Kefei Chen

    1. Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Xuejia Lai

    1. Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China

    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 5324)

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

Included in the following conference series:

Conference proceedings info: ProvSec 2008.

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 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 (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Encryption

    1. Generalized ElGamal Public Key Cryptosystem Based on a New Diffie-Hellman Problem

      • Huawei Huang, Bo Yang, Shenglin Zhu, Guozhen Xiao
      Pages 1-21

    2. Tweakable Pseudorandom Permutation from Generalized Feistel Structure

      • Atsushi Mitsuda, Tetsu Iwata
      Pages 22-37

    3. Timed-Release Encryption Revisited

      • Sherman S. M. Chow, S. M. Yiu
      Pages 38-51

    4. Efficient and Provably Secure Certificateless Multi-receiver Signcryption

      • S. Sharmila Deva Selvi, S. Sree Vivek, Deepanshu Shukla, Pandu Rangan Chandrasekaran
      Pages 52-67

    5. A CCA Secure Hybrid Damgård’s ElGamal Encryption

      • Yvo Desmedt, Duong Hieu Phan
      Pages 68-82

  3. Signature

    1. Construction of Yet Another Forward Secure Signature Scheme Using Bilinear Maps

      • Jia Yu, Fanyu Kong, Xiangguo Cheng, Rong Hao, Guowen Li
      Pages 83-97

    2. Optimal Online/Offline Signature: How to Sign a Message without Online Computation

      • Fuchun Guo, Yi Mu
      Pages 98-111

    3. Round-Optimal Blind Signatures from Waters Signatures

      • Kristian Gjøsteen, Lillian KrÃ¥kmo
      Pages 112-126

    4. Secure Proxy Multi-signature Scheme in the Standard Model

      • Zhenhua Liu, Yupu Hu, Hua Ma
      Pages 127-140

    5. Server-Aided Verification Signatures: Definitions and New Constructions

      • Wei Wu, Yi Mu, Willy Susilo, Xinyi Huang
      Pages 141-155

  4. Analysis

    1. On Proofs of Security for DAA Schemes

      • Liqun Chen, Paul Morrissey, Nigel P. Smart
      Pages 156-175

    2. Cryptanalysis of Vo-Kim Forward Secure Signature in ICISC 2005

      • Jia Yu, Fanyu Kong, Xiangguo Cheng, Rong Hao, Guowen Li
      Pages 176-184

    3. Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups

      • Zhengqin Luo
      Pages 185-199

    4. On the Equivalence of Generic Group Models

      • Tibor Jager, Jörg Schwenk
      Pages 200-209

    5. The Analysis of an Efficient and Provably Secure ID-Based Threshold Signcryption Scheme and Its Secure Version

      • ZhenChao Zhu, Yuqing Zhang, Fengjiao Wang
      Pages 210-225

  5. Application of Hash Functions

    1. Leaky Random Oracle (Extended Abstract)

      • Kazuki Yoneyama, Satoshi Miyagawa, Kazuo Ohta
      Pages 226-240

    2. How to Use Merkle-Damgård — On the Security Relations between Signature Schemes and Their Inner Hash Functions

      • Emmanuel Bresson, Benoît Chevallier-Mames, Christophe Clavier, Aline Gouget, Pascal Paillier, Thomas Peyrin
      Pages 241-253

    3. Can We Construct Unbounded Time-Stamping Schemes from Collision-Free Hash Functions?

      • Ahto Buldas, Margus Niitsoo
      Pages 254-267

  6. Universal Composability

    1. Relationship of Three Cryptographic Channels in the UC Framework

      • Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto
      Pages 268-282
Back to top

Other volumes

  1. Provable Security

Keywords

About this book

This book constitutes the refereed proceedings of the Second International Conference on Provable Security, ProvSec 2008, held in Shanghai, China, October 30 - November 1, 2008. The 25 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, and Applications.

Editors and Affiliations

  • Cryptography and Security Department Institute for Infocomm Research, Singapore

    Joonsang Baek

  • Institute for Infocomm Research, Singapore

    Feng Bao

  • Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China

    Kefei Chen, Xuejia Lai

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation