Skip to main content
  • Conference proceedings
  • © 2008

Provable Security

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

Editors:

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

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

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

Conference proceedings info: ProvSec 2008.

Buy it now

Buying options

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

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

Table of contents (25 papers)

  1. Front Matter

  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. Timed-Release Encryption Revisited

      • Sherman S. M. Chow, S. M. Yiu
      Pages 38-51
    3. Efficient and Provably Secure Certificateless Multi-receiver Signcryption

      • S. Sharmila Deva Selvi, S. Sree Vivek, Deepanshu Shukla, Pandu Rangan Chandrasekaran
      Pages 52-67
    4. 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. Round-Optimal Blind Signatures from Waters Signatures

      • Kristian Gjøsteen, Lillian KrÃ¥kmo
      Pages 112-126
    3. Secure Proxy Multi-signature Scheme in the Standard Model

      • Zhenhua Liu, Yupu Hu, Hua Ma
      Pages 127-140
    4. 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. On the Equivalence of Generic Group Models

      • Tibor Jager, Jörg Schwenk
      Pages 200-209
  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
  6. Universal Composability

    1. Relationship of Three Cryptographic Channels in the UC Framework

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

Other Volumes

  1. Provable Security

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

Buy it now

Buying options

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